clang/test/SemaTemplate/temp_arg.cpp

   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 {{candidate function template not viable: requires 1 argument, but 0 were provided}}
  10
  11 template<typename> class X;
  12
  13 A<int, 0, X> * a1;
  14
  15 A<float, 1, X, double> *a2; // expected-error{{too many template arguments for class template 'A'}}
  16 A<float, 1> *a3; // expected-error{{too few template arguments for class template 'A'}}
  17 A a4; // precxx17-error{{use of class template 'A' requires template arguments}} \
  18          cxx17-error{{no viable constructor or deduction guide for deduction of template arguments of 'A'}}
  19
  20 namespace test0 {
  21   template <class t> class foo {};
  22   template <class t> class bar {
  23     bar(::test0::foo<tee> *ptr) {} // expected-error {{use of undeclared identifier 'tee'}}
  24   };
  25 }