1 // { dg-options "-std=c++0x" }
3 template<template<class> class TT> struct X { };
4 template<class> struct Y { };
5 template<class T> using Z = Y<T>;
13 // Below x and y don't have the same type, because Y and Z don't
14 // designate the same template ...
18 // ... So these must fail to compile.
19 f(z); // { dg-error "" }
20 g(y); // { dg-error "" }
23 template<class> struct A0 {};
24 template<class T> using AA0 = A0<T>;
25 template<class T> using AAA0 = AA0<T>;