1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 template<typename T> class A; 4 5 extern "C++" { 6 template<typename T> class B; 7 } 8 9 namespace N { 10 template<typename T> class C; 11 } 12 13 extern "C" { 14 template<typename T> class D; // expected-error{{templates must have C++ linkage}} 15 } 16 17 template<class U> class A; // expected-note{{previous template declaration is here}} 18 19 template<int N> class A; // expected-error{{template parameter has a different kind in template redeclaration}} 20 21 template<int N> class NonTypeTemplateParm; 22 23 typedef int INT; 24 25 template<INT M> class NonTypeTemplateParm; // expected-note{{previous non-type template parameter with type 'INT' (aka 'int') is here}} 26 27 template<long> class NonTypeTemplateParm; // expected-error{{template non-type parameter has a different type 'long' in template redeclaration}} 28 29 template<template<typename T> class X> class TemplateTemplateParm; 30 31 template<template<class> class Y> class TemplateTemplateParm; // expected-note{{previous template declaration is here}} \ 32 // expected-note{{previous template template parameter is here}} 33 34 template<typename> class TemplateTemplateParm; // expected-error{{template parameter has a different kind in template redeclaration}} 35 36 template<template<typename T, int> class X> class TemplateTemplateParm; // expected-error{{too many template parameters in template template parameter redeclaration}} 37 38 template<typename T> 39 struct test {}; // expected-note{{previous definition}} 40 41 template<typename T> 42 struct test : T {}; // expected-error{{redefinition}} 43 44 class X { 45 public: 46 template<typename T> class C; 47 }; 48 49 void f() { 50 template<typename T> class X; // expected-error{{expression}} 51 } 52 53 template<typename T> class X1 var; // expected-warning{{variable templates are a C++1y extension}} \ 54 // expected-error {{variable has incomplete type 'class X1'}} \ 55 // expected-note {{forward declaration of 'X1'}} 56 57 namespace M { 58 } 59 60 template<typename T> class M::C3 { }; // expected-error{{out-of-line definition of 'C3' does not match any declaration in namespace 'M'}} 61 62 namespace PR8001 { 63 template<typename T1> 64 struct Foo { 65 template<typename T2> class Bar; 66 typedef Bar<T1> Baz; 67 68 template<typename T2> 69 struct Bar { 70 Bar() {} 71 }; 72 }; 73 74 void pr8001() { 75 Foo<int>::Baz x; 76 Foo<int>::Bar<int> y(x); 77 } 78 } 79 80 namespace rdar9676205 { 81 template <unsigned, class _Tp> class tuple_element; 82 83 template <class _T1, class _T2> class pair; 84 85 template <class _T1, class _T2> 86 class tuple_element<0, pair<_T1, _T2> > 87 { 88 template <class _Tp> 89 struct X 90 { 91 template <class _Up, bool = X<_Up>::value> 92 struct Y 93 : public X<_Up>, 94 public Y<_Up> 95 { }; 96 }; 97 }; 98 } 99 100 namespace redecl { 101 int A; // expected-note {{here}} 102 template<typename T> struct A; // expected-error {{different kind of symbol}} 103 104 int B; // expected-note {{here}} 105 template<typename T> struct B { // expected-error {{different kind of symbol}} 106 }; 107 108 template<typename T> struct F; 109 template<typename T> struct K; 110 111 int G, H; // expected-note {{here}} 112 113 struct S { 114 int C; // expected-note {{here}} 115 template<typename T> struct C; // expected-error {{different kind of symbol}} 116 117 int D; // expected-note {{here}} 118 template<typename T> struct D { // expected-error {{different kind of symbol}} 119 }; 120 121 int E; 122 template<typename T> friend struct E { // expected-error {{cannot define a type in a friend}} 123 }; 124 125 int F; 126 template<typename T> friend struct F; // ok, redecl::F 127 128 template<typename T> struct G; // ok 129 130 template<typename T> friend struct H; // expected-error {{different kind of symbol}} 131 132 int I, J, K; 133 134 struct U { 135 template<typename T> struct I; // ok 136 template<typename T> struct J { // ok 137 }; 138 template<typename T> friend struct K; // ok, redecl::K 139 }; 140 }; 141 } 142