clang/test/SemaTemplate/typo-template-name.cpp

   1 // RUN: %clang_cc1 -std=c++1z %s -verify -Wno-unused
   2
   3 namespace InExpr {
   4   namespace A {
   5     void typo_first_a(); // expected-note {{found}}
   6     template<typename T> void typo_first_b(); // expected-note 2{{declared here}}
   7   }
   8   void testA() { A::typo_first_a<int>(); } // expected-error {{'typo_first_a' does not name a template but is followed by template arguments; did you mean 'typo_first_b'?}}
   9
  10   namespace B {
  11     void typo_first_b(); // expected-note {{found}}
  12   }
  13   void testB() { B::typo_first_b<int>(); } // expected-error {{'typo_first_b' does not name a template but is followed by template arguments; did you mean 'A::typo_first_b'?}}
  14
  15   struct Base {
  16     template<typename T> static void foo(); // expected-note 4{{declared here}}
  17     int n;
  18   };
  19   struct Derived : Base {
  20     void foo(); // expected-note {{found}}
  21   };
  22   // We probably don't want to suggest correcting to .Base::foo<int>
  23   void testMember() { Derived().foo<int>(); } // expected-error-re {{does not name a template but is followed by template arguments{{$}}}}
  24
  25   struct Derived2 : Base {
  26     void goo(); // expected-note {{found}}
  27   };
  28   void testMember2() { Derived2().goo<int>(); } // expected-error {{member 'goo' of 'InExpr::Derived2' is not a template; did you mean 'foo'?}}
  29
  30   void no_correction() {
  31     int foo; // expected-note 3{{found}}
  32
  33     foo<int>(); // expected-error {{'foo' does not name a template but is followed by template arguments; did you mean 'Base::foo'?}}
  34     foo<>(); // expected-error {{'foo' does not name a template but is followed by template arguments; did you mean 'Base::foo'?}}
  35     foo<Base *>(); // expected-error {{'foo' does not name a template but is followed by template arguments; did you mean 'Base::foo'?}}
  36
  37     // These are valid expressions.
  38     foo<foo; // expected-warning {{self-comparison}}
  39     foo<int()>(0); // expected-warning {{comparisons like 'X<=Y<=Z' don't have their mathematical meaning}}
  40     foo<int(), true>(false);
  41     foo<Base{}.n;
  42   }
  43 }