1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 template<template<typename T> class X> struct A; // expected-note 2{{previous template template parameter is here}} 4 5 template<template<typename T, int I> class X> struct B; // expected-note{{previous template template parameter is here}} 6 7 template<template<int I> class X> struct C; // expected-note{{previous non-type template parameter with type 'int' is here}} 8 9 template<class> struct X; // expected-note{{too few template parameters in template template argument}} 10 template<int N> struct Y; // expected-note{{template parameter has a different kind in template argument}} 11 template<long N> struct Ylong; // expected-note{{template non-type parameter has a different type 'long' in template argument}} 12 13 namespace N { 14 template<class> struct Z; 15 } 16 template<class, class> struct TooMany; // expected-note{{too many template parameters in template template argument}} 17 18 19 A<X> *a1; 20 A<N::Z> *a2; 21 A< ::N::Z> *a3; 22 23 A<Y> *a4; // expected-error{{template template argument has different template parameters than its corresponding template template parameter}} 24 A<TooMany> *a5; // expected-error{{template template argument has different template parameters than its corresponding template template parameter}} 25 B<X> *a6; // expected-error{{template template argument has different template parameters than its corresponding template template parameter}} 26 C<Y> *a7; 27 C<Ylong> *a8; // expected-error{{template template argument has different template parameters than its corresponding template template parameter}} 28 29 template<typename T> void f(int); 30 31 A<f> *a9; // expected-error{{must be a class template}} 32 33 // Evil digraph '<:' is parsed as '[', expect error. 34 A<::N::Z> *a10; // expected-error{{found '<::' after a template name which forms the digraph '<:' (aka '[') and a ':', did you mean '< ::'?}} 35 36 // Do not do a digraph correction here. 37 A<: :N::Z> *a11; // expected-error{{expected expression}} \ 38 expected-error{{C++ requires a type specifier for all declarations}} 39 40 // PR7807 41 namespace N { 42 template <typename, typename = int> 43 struct X 44 { }; 45 46 template <typename ,int> 47 struct Y 48 { X<int> const_ref(); }; 49 50 template <template<typename,int> class TT, typename T, int N> 51 int operator<<(int, TT<T, N> a) { // expected-note{{candidate template ignored}} 52 0 << a.const_ref(); // expected-error{{invalid operands to binary expression ('int' and 'X<int>')}} 53 } 54 55 void f0( Y<int,1> y){ 1 << y; } // expected-note{{in instantiation of function template specialization 'N::operator<<<Y, int, 1>' requested here}} 56 } 57 58 // PR12179 59 template <typename Primitive, template <Primitive...> class F> // expected-warning {{variadic templates are a C++11 extension}} 60 struct unbox_args { 61 typedef typename Primitive::template call<F> x; 62 }; 63 64 template <template <typename> class... Templates> // expected-warning {{variadic templates are a C++11 extension}} 65 struct template_tuple {}; 66 template <typename T> 67 struct identity {}; 68 template <template <typename> class... Templates> // expected-warning {{variadic templates are a C++11 extension}} 69 template_tuple<Templates...> f7() {} 70 71 void foo() { 72 f7<identity>(); 73 } 74