Lines Matching full:template
4 template<template<typename T> class X> struct A; // #A
5 // expected-note@-1 2{{previous template template parameter is here}}
7 template<template<typename T, int I> class X> struct B; // expected-note{{previous template template parameter is here}}
9 template<template<int I> class X> struct C;
11 // expected-note@-2 {{previous template template parameter is here}}
13 template<class> struct X; // expected-note {{template is declared here}}
14 template<int N> struct Y; // expected-note {{template parameter is declared here}}
15 template<long N> struct Ylong;
16 template<const int &N> struct Yref; // expected-note {{template parameter is declared here}}
19 template<class> struct Z;
21 template<class, class> struct TooMany; // expected-note{{template is declared here}}
28 A<Y> *a4; // expected-error@#A {{template argument for non-type template parameter must be an expression}}
29 // expected-note@-1 {{different template parameters}}
30 A<TooMany> *a5; // expected-error {{too few template arguments for class template 'TooMany'}}
31 // expected-note@-1 {{different template parameters}}
32 B<X> *a6; // expected-error {{too many template arguments for class template 'X'}}
33 // expected-note@-1 {{different template parameters}}
36 C<Yref> *a9; // expected-note {{different template parameters}}
38 template<typename T> void f(int);
40 A<f> *a9; // expected-error{{must be a class template}}
45 // expected-error@-2 {{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}}
55 template <typename, typename = int>
59 template <typename ,int>
63 template <template<typename,int> class TT, typename T, int N>
64 int operator<<(int, TT<T, N> a) { // expected-note{{candidate template ignored}}
68 void f0( Y<int,1> y){ 1 << y; } // expected-note{{in instantiation of function template specialization 'N::operator<<<N::Y, int, 1>' requested here}}
72 template <typename Primitive, template <Primitive...> class F>
78 typedef typename Primitive::template call<F> x;
81 template <template <typename> class... Templates>
91 template <typename T>
93 template <template <typename> class... Templates>
102 static_assert(N == 2, "Number of template arguments incorrect");
111 template<template<typename T, typename U, T v> class X> struct A {
112 // expected-note@-1 {{previous template template parameter is here}}
121 // here. While parsing the template, we form
133 template<typename T, typename U, U v> struct B {
139 A<B> ab; // expected-note {{different template parameters}}
149 template<template<typename T, T> class U> struct A {};
150 template<template<typename T, T> class U> struct B : A<U> {};
154 template<typename T> struct A {};
155 template<typename T = int> struct A;
156 template<template<typename...> class A> void f(A<int>*) { A<> a; } // expected-warning 0-1{{extension}}