clang/test/CXX/temp/temp.decls/temp.alias/p2.cpp

   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>
  23     void process(Vec<T>& v) // expected-note {{previous definition is here}}
  24     { /* ... */ }
  25
  26   template<class T>
  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
  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 }