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-error{{declared as a template}} 54 55 namespace M { 56 } 57 58 template<typename T> class M::C3 { }; // expected-error{{out-of-line definition of 'C3' does not match any declaration in namespace 'M'}} 59 60 namespace PR8001 { 61 template<typename T1> 62 struct Foo { 63 template<typename T2> class Bar; 64 typedef Bar<T1> Baz; 65 66 template<typename T2> 67 struct Bar { 68 Bar() {} 69 }; 70 }; 71 72 void pr8001() { 73 Foo<int>::Baz x; 74 Foo<int>::Bar<int> y(x); 75 } 76 } 77 78 namespace rdar9676205 { 79 template <unsigned, class _Tp> class tuple_element; 80 81 template <class _T1, class _T2> class pair; 82 83 template <class _T1, class _T2> 84 class tuple_element<0, pair<_T1, _T2> > 85 { 86 template <class _Tp> 87 struct X 88 { 89 template <class _Up, bool = X<_Up>::value> 90 struct Y 91 : public X<_Up>, 92 public Y<_Up> 93 { }; 94 }; 95 }; 96 } 97 98 namespace redecl { 99 int A; // expected-note {{here}} 100 template<typename T> struct A; // expected-error {{different kind of symbol}} 101 102 int B; // expected-note {{here}} 103 template<typename T> struct B { // expected-error {{different kind of symbol}} 104 }; 105 106 template<typename T> struct F; 107 template<typename T> struct K; 108 109 int G, H; // expected-note {{here}} 110 111 struct S { 112 int C; // expected-note {{here}} 113 template<typename T> struct C; // expected-error {{different kind of symbol}} 114 115 int D; // expected-note {{here}} 116 template<typename T> struct D { // expected-error {{different kind of symbol}} 117 }; 118 119 int E; 120 template<typename T> friend struct E { // expected-error {{cannot define a type in a friend}} 121 }; 122 123 int F; 124 template<typename T> friend struct F; // ok, redecl::F 125 126 template<typename T> struct G; // ok 127 128 template<typename T> friend struct H; // expected-error {{different kind of symbol}} 129 130 int I, J, K; 131 132 struct U { 133 template<typename T> struct I; // ok 134 template<typename T> struct J { // ok 135 }; 136 template<typename T> friend struct K; // ok, redecl::K 137 }; 138 }; 139 } 140