1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 template<typename T, typename U> // expected-note{{previous template}}
3 class X0 {
4 public:
5   typedef int size_type;
6 
7   X0(int);
8   ~X0();
9 
10   void f0(const T&, const U&);
11 
12   T& operator[](int i) const;
13 
14   void f1(size_type) const;
15   void f2(size_type) const;
16   void f3(size_type) const;
17   void f4() ;
18 
19   operator T*() const;
20 
21   T value;
22 };
23 
24 template<typename T, typename U>
25 void X0<T, U>::f0(const T&, const U&) { // expected-note{{previous definition}}
26 }
27 
28 template<class X, class Y>
29 X& X0<X, Y>::operator[](int i) const {
30   (void)i;
31   return value;
32 }
33 
34 template<class X, class Y>
35 void X0<X, Y>::f1(int) const { }
36 
37 template<class X, class Y>
38 void X0<X, Y>::f2(size_type) const { }
39 
40 template<class X, class Y, class Z> // expected-error{{too many template parameters}}
41 void X0<X, Y>::f3(size_type) const {
42 }
43 
44 template<class X, class Y>
45 void X0<Y, X>::f4() { } // expected-error{{does not refer}}
46 
47 // FIXME: error message should probably say, "redefinition of 'X0<T, U>::f0'"
48 // rather than just "redefinition of 'f0'"
49 template<typename T, typename U>
50 void X0<T, U>::f0(const T&, const U&) { // expected-error{{redefinition}}
51 }
52 
53 // Test out-of-line constructors, destructors
54 template<typename T, typename U>
55 X0<T, U>::X0(int x) : value(x) { }
56 
57 template<typename T, typename U>
58 X0<T, U>::~X0() { }
59 
60 // Test out-of-line conversion functions.
61 template<typename T, typename U>
62 X0<T, U>::operator T*() const {
63   return &value;
64 }
65 
66 namespace N { template <class X> class A {void a();}; }
67 namespace N { template <class X> void A<X>::a() {} }
68 
69 // PR5566
70 template<typename T>
71 struct X1 {
72   template<typename U>
73   struct B { void f(); };
74 };
75 
76 template<typename T>
77 template<typename U>
78 void X1<T>::template B<U>::f() { }
79 
80 // PR5527
81 template <template <class> class T>
82 class X2 {
83   template <class F>
84   class Bar {
85     void Func();
86   };
87 };
88 
89 template <template <class> class T>
90 template <class F>
91 void X2<T>::Bar<F>::Func() {}
92 
93 // PR5528
94 template <template <class> class T>
95 class X3 {
96   void F();
97 };
98 
99 template <template <class> class T>
100 void X3<T>::F() {}
101