summaryrefslogtreecommitdiff
path: root/clang/test/SemaTemplate/canonical-expr-type-0x.cpp
blob: d7379eadab1a52871e9d51ad96cea8397876e5fb (about) (plain)
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
// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s

void f();

// Test typeof(expr) canonicalization
template<typename T, T N>
void f0(T x, decltype(f(N, x)) y) { } // expected-note{{previous}}

template<typename T, T N>
void f0(T x, decltype((f)(N, x)) y) { }

template<typename U, U M>
void f0(U u, decltype(f(M, u))) { } // expected-error{{redefinition}}

// PR12438: Test sizeof...() canonicalization
template<int> struct N {};

template<typename...T>
N<sizeof...(T)> f1() {} // expected-note{{previous}}

template<typename, typename...T>
N<sizeof...(T)> f1() {}

template<class...U>
N<sizeof...(U)> f1() {} // expected-error{{redefinition}}