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