1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
2 
3 template<typename T> using U = T;
4 
5 using I = U<U<U<U<int>>>>;
6 using I = int;
7 
8 template<typename A, typename B> using Fst = A;
9 template<typename A, typename B> using Snd = B;
10 
11 using I = Fst<Snd<char,int>,double>;
12 
13 namespace StdExample {
14   // Prerequisites for example.
15   template<class T, class A> struct vector { /* ... */ };
16 
17 
18   template<class T> struct Alloc {};
19   template<class T> using Vec = vector<T, Alloc<T>>;
20   Vec<int> v;
21 
22   template<class T>
process(Vec<T> & v)23     void process(Vec<T>& v) // expected-note {{previous definition is here}}
24     { /* ... */ }
25 
26   template<class T>
process(vector<T,Alloc<T>> & w)27     void process(vector<T, Alloc<T>>& w) // expected-error {{redefinition of 'process'}}
28     { /* ... */ }
29 
30   template<template<class> class TT>
31     void f(TT<int>); // expected-note {{candidate template ignored}}
32 
33   template<template<class,class> class TT>
34     void g(TT<int, Alloc<int>>);
35 
h()36   int h() {
37     f(v); // expected-error {{no matching function for call to 'f'}}
38     g(v); // OK: TT = vector
39   }
40 
41 
42   // v's type is same as vector<int, Alloc<int>>.
43   using VTest = vector<int, Alloc<int>>;
44   using VTest = decltype(v);
45 }
46