|
150
|
1 // RUN: %clang_cc1 -fsyntax-only -verify %s
|
|
|
2
|
|
|
3 struct add_pointer {
|
|
|
4 template<typename T>
|
|
|
5 struct apply {
|
|
|
6 typedef T* type;
|
|
|
7 };
|
|
|
8 };
|
|
|
9
|
|
|
10 struct add_reference {
|
|
|
11 template<typename T>
|
|
|
12 struct apply {
|
|
|
13 typedef T& type; // expected-error{{cannot form a reference to 'void'}}
|
|
|
14 };
|
|
|
15 };
|
|
|
16
|
|
|
17 struct bogus {
|
|
|
18 struct apply { // expected-note{{declared as a non-template here}}
|
|
|
19 typedef int type;
|
|
|
20 };
|
|
|
21 };
|
|
|
22
|
|
|
23 template<typename MetaFun, typename T>
|
|
|
24 struct apply1 {
|
|
|
25 typedef typename MetaFun::template apply<T>::type type; // expected-note{{in instantiation of template class 'add_reference::apply<void>' requested here}} \
|
|
|
26 // expected-error{{'apply' following the 'template' keyword does not refer to a template}}
|
|
|
27 };
|
|
|
28
|
|
|
29 int i;
|
|
|
30 apply1<add_pointer, int>::type ip = &i;
|
|
|
31 apply1<add_reference, int>::type ir = i;
|
|
|
32 apply1<add_reference, float>::type fr = i; // expected-error{{non-const lvalue reference to type 'float' cannot bind to a value of unrelated type 'int'}}
|
|
|
33
|
|
|
34 void test() {
|
|
|
35 apply1<add_reference, void>::type t; // expected-note{{in instantiation of template class 'apply1<add_reference, void>' requested here}}
|
|
|
36
|
|
|
37 apply1<bogus, int>::type t2; // expected-note{{in instantiation of template class 'apply1<bogus, int>' requested here}}
|
|
|
38 }
|
|
|
39
|
|
|
40
|
