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 } testA()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 } testB()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> testMember()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 }; testMember2()28 void testMember2() { Derived2().goo<int>(); } // expected-error {{member 'goo' of 'InExpr::Derived2' is not a template; did you mean 'foo'?}} 29 no_correction()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); 40 foo<int(), true>(false); 41 foo<Base{}.n; 42 } 43 } 44