2 template<typename T, typename U, int N>
5 … t->f0<U>(); // expected-error{{use 'template' keyword to treat 'f0' as a dependent template name}}  in f()
6 …t->f0<int>(); // expected-error{{use 'template' keyword to treat 'f0' as a dependent template name…  in f()
8 …tor+<U const, 1>(1); // expected-error{{use 'template' keyword to treat 'operator +' as a dependen…  in f()
9 …t->f1<int const, 2>(1); // expected-error{{use 'template' keyword to treat 'f1' as a dependent tem…  in f()
10 …t->f1<3, int const>(1); // expected-error{{missing 'template' keyword prior to dependent template …  in f()
12 …T::getAs<U>(); // expected-error{{use 'template' keyword to treat 'getAs' as a dependent template …  in f()
13 …t->T::getAs<U>(); // expected-error{{use 'template' keyword to treat 'getAs' as a dependent templa…  in f()
15 …(*t).f2<N>(); // expected-error{{missing 'template' keyword prior to dependent template name 'f2'}}  in f()
16 …(*t).f2<0>(); // expected-error{{missing 'template' keyword prior to dependent template name 'f2'}}  in f()
17 …  T::f2<0>(); // expected-error{{missing 'template' keyword prior to dependent template name 'f2'}}  in f()
18 …T::f2<0, int>(0); // expected-error{{missing 'template' keyword prior to dependent template name '…  in f()
20 …::foo<N < 2 || N >= 4>(); // expected-error{{missing 'template' keyword prior to dependent templat…  in f()
22     // If there are multiple potential template names, pick the one where there  in f()
24 …T::foo<T::bar < 1>(); // expected-error{{missing 'template' keyword prior to dependent template na…  in f()
25 …T::foo < T::bar<1>(); // expected-error{{missing 'template' keyword prior to dependent template na…  in f()
27     // Prefer to diagnose a missing 'template' keyword rather than finding a non-template name.  in f()
28 …xyz < T::foo < 1 > (); // expected-error{{missing 'template' keyword prior to dependent template n…  in f()
29 …T::foo < xyz < 1 > (); // expected-error{{missing 'template' keyword prior to dependent template n…  in f()
31     // ... even if the whitespace suggests the other name is the template name.  in f()
33 …xyz<T::foo < 1>(); // expected-error{{missing 'template' keyword prior to dependent template name …  in f()
34 …T::foo < xyz<1>(); // expected-error{{missing 'template' keyword prior to dependent template name …  in f()
36 …sizeof T::foo < 123 > (); // expected-error{{missing 'template' keyword prior to dependent templat…  in f()
37 …f(t->foo<1, 2>(), // expected-error{{missing 'template' keyword prior to dependent template name '…  in f()
38 …t->bar<3, 4>()); // expected-error{{missing 'template' keyword prior to dependent template name 'b…  in f()
42 …t->foo<1, 2>(), // expected-error{{missing 'template' keyword prior to dependent template name 'fo…  in f()
50 template <typename T> void not_missing_template(T t) {  in not_missing_template()
64   // FIXME: We shouldn't treat 'T::t' as a potential template-name here,  in not_missing_template()
68 …bool k = T::t < 3 ? 1 > () : false; // expected-error {{missing 'template' keyword}} expected-erro…  in not_missing_template()
76 template<int N, typename T> void f(T t) {  in f()
77   t.f<N>(0); // expected-error {{missing 'template' keyword prior to dependent template name 'f'}}  in f()
78 …t.T::f<N>(0); // expected-error {{missing 'template' keyword prior to dependent template name 'f'}}  in f()
79   T::g<N>(0); // expected-error {{missing 'template' keyword prior to dependent template name 'g'}}  in f()
85   // ... but this one must be a template-id.  in f()
86 …T::g<mb, int>(0); // expected-error {{missing 'template' keyword prior to dependent template name …  in f()
90   template <int> void f(int);
91   template <int = 0> static void g(int); // expected-warning 0-1{{extension}}
94 template void f<0>(Y); // expected-note {{in instantiation of}}
98   template <typename S, typename T>
101     template <typename U>
104       template <typename W>
114   template <typename X>
121   template <typename S, typename T>
124     template <typename U>
125     struct B : C<S, T>::template B<U>
127       typedef typename C<S, T>::template B<U> V;
128       static const D<typename V::template E<D<F> > > a;
132   template <typename S, typename T>
133   template <typename U>
134   const D<typename C<S, T>::template B<U>::template E<D<F> > >
135   A<S, T>::B<U>::a = typename C<S, T>::template B<U>::template E<D<F> >(g);