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

template < typename > struct A;
template < typename > struct B {};

template < typename T >
using C = typename A < T >::template D < T >;

template < typename T > struct A
{ 
  // should be: template < typename > struct D : B < C < T > > {};
  struct D : B < C < T > > {};	// { dg-error "not a class template" }
};

A < int >::D a;			// { dg-message "required" }