// Origin PR c++/51191
// { dg-do compile { target c++11 } }

template< class T >
class ClassTemplate {};

template< class T >
struct Metafunction {
  typedef T type;
};

template< class T >
using TemplateAlias = ClassTemplate< typename Metafunction<T>::type >;

using Alias = TemplateAlias<int>;

template< class T >
void f( TemplateAlias<T> );

int main()
{
  Alias x;
  f( x ); // { dg-error "no matching function for call to|f" }
}