temp_arg_template.cpp revision 788cd06cf8e868a67158aafec5de3a1f408d14f3
1// RUN: clang-cc -fsyntax-only -verify %s 2 3template<template<typename T> class X> struct A; // expected-note 2{{previous template template parameter is here}} 4 5template<template<typename T, int I> class X> struct B; // expected-note{{previous template template parameter is here}} 6 7template<template<int I> class X> struct C; // expected-note{{previous non-type template parameter with type 'int' is here}} 8 9template<class> struct X; // expected-note{{too few template parameters in template template argument}} 10template<int N> struct Y; // expected-note{{template parameter has a different kind in template argument}} 11template<long N> struct Ylong; // expected-note{{template non-type parameter has a different type 'long' in template argument}} 12 13namespace N { 14 template<class> struct Z; 15} 16template<class, class> struct TooMany; // expected-note{{too many template parameters in template template argument}} 17 18 19A<X> *a1; 20A<N::Z> *a2; 21A< ::N::Z> *a3; 22 23A<Y> *a4; // expected-error{{template template argument has different template parameters than its corresponding template template parameter}} 24A<TooMany> *a5; // expected-error{{template template argument has different template parameters than its corresponding template template parameter}} 25B<X> *a6; // expected-error{{template template argument has different template parameters than its corresponding template template parameter}} 26C<Y> *a7; 27C<Ylong> *a8; // expected-error{{template template argument has different template parameters than its corresponding template template parameter}} 28 29template<typename T> void f(int); 30 31A<f> *a9; // expected-error{{must be a class template}} 32 33// FIXME: The code below is ill-formed, because of the evil digraph '<:'. 34// We should provide a much better error message than we currently do. 35// A<::N::Z> *a10; 36