1 // RUN: %clang_cc1 -fsyntax-only -verify=expected,precxx17 %std_cxx98-14 %s 2 // RUN: %clang_cc1 -fsyntax-only -verify=expected,cxx17 %std_cxx17- %s 3 template<typename T, 4 int I, 5 template<typename> class TT> 6 class A; // precxx17-note 3 {{template is declared here}} \ 7 cxx17-note 2 {{template is declared here}} \ 8 cxx17-note {{candidate template ignored: couldn't infer template argument 'T'}} \ 9 cxx17-note {{implicit deduction guide declared as 'template <typename T, int I, template <typename> class TT> A(A<T, I, TT>) -> A<T, I, TT>'}} \ 10 cxx17-note {{candidate function template not viable: requires 1 argument, but 0 were provided}} \ 11 cxx17-note {{implicit deduction guide declared as 'template <typename T, int I, template <typename> class TT> A() -> A<T, I, TT>'}} \ 12 13 template<typename> class X; 14 15 A<int, 0, X> * a1; 16 17 A<float, 1, X, double> *a2; // expected-error{{too many template arguments for class template 'A'}} 18 A<float, 1> *a3; // expected-error{{too few template arguments for class template 'A'}} 19 A a4; // precxx17-error{{use of class template 'A' requires template arguments}} \ 20 cxx17-error{{no viable constructor or deduction guide for deduction of template arguments of 'A'}} 21 22 namespace test0 { 23 template <class t> class foo {}; 24 template <class t> class bar { bar(::test0::foo<tee> * ptr)25 bar(::test0::foo<tee> *ptr) {} // expected-error {{use of undeclared identifier 'tee'}} 26 }; 27 } 28