1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s 2 3 namespace Old { 4 template<template<class> class TT> struct X { }; 5 template<class> struct Y { }; 6 template<class T> using Z = Y<T>; 7 X<Y> y; 8 X<Z> z; 9 10 using SameType = decltype(y); // expected-note {{here}} 11 using SameType = decltype(z); // expected-error {{different types}} 12 } 13 14 namespace New { 15 template<class T> struct X { }; 16 template<class> struct Y { }; 17 template<class T> using Z = Y<T>; 18 X<Y<int>> y; 19 X<Z<int>> z; 20 21 using SameType = decltype(y); 22 using SameType = decltype(z); // ok 23 } 24
