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 
test()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 
41