xref: /llvm-project/clang/test/CXX/temp/temp.type/p1-0x.cpp (revision 9ca5c425826329d5b23300bbc8a1a7c10a19c64d)
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