1 // RUN: %clang_cc1 -verify -fsyntax-only %s
2 // Verify the absence of assertion failures when solving calls to unresolved
3 // template member functions.
4
5 struct A {
6 template <typename T>
barA7 static void bar(int) { } // expected-note {{candidate template ignored: couldn't infer template argument 'T'}}
8 };
9
10 struct B {
11 template <int i>
fooB12 static void foo() {
13 int array[i];
14 A::template bar(array[0]); // expected-error {{a template argument list is expected after a name prefixed by the template keyword}} expected-error {{no matching function for call to 'bar'}}
15 }
16 };
17
main()18 int main() {
19 B::foo<4>(); // expected-note {{in instantiation of function template specialization 'B::foo<4>'}}
20 return 0;
21 }
22
23 namespace GH70375 {
24
25 template <typename Ty>
26 struct S {
barGH70375::S27 static void bar() {
28 Ty t;
29 t.foo();
30 }
31
takeGH70375::S32 static void take(Ty&) {}
33 };
34
35 template <typename P>
36 struct Outer {
37 template <typename C>
38 struct Inner;
39
40 using U = S<Inner<P>>;
41
42 template <>
43 struct Inner<void> {
fooGH70375::Outer::Inner44 void foo() {
45 U::take(*this);
46 }
47 };
48 };
49
instantiate()50 void instantiate() {
51 Outer<void>::U::bar();
52 }
53
54 }
55
56 namespace GH89374 {
57
58 struct A {};
59
60 template <typename Derived>
61 struct MatrixBase { // #GH89374-MatrixBase
62 template <typename OtherDerived>
63 Derived &operator=(const MatrixBase<OtherDerived> &); // #GH89374-copy-assignment
64 };
65
66 template <typename>
67 struct solve_retval;
68
69 template <typename Rhs>
70 struct solve_retval<int> : MatrixBase<solve_retval<Rhs> > {};
71 // expected-error@-1 {{partial specialization of 'solve_retval' does not use any of its template parameters}}
72
ApproximateChebyshev()73 void ApproximateChebyshev() {
74 MatrixBase<int> c;
75 c = solve_retval<int>();
76 // expected-error@-1 {{no viable overloaded '='}}
77 // expected-note@#GH89374-copy-assignment {{candidate template ignored: could not match 'MatrixBase' against 'solve_retval'}}
78 // expected-note@#GH89374-MatrixBase {{candidate function (the implicit copy assignment operator) not viable: no known conversion from 'solve_retval<int>' to 'const MatrixBase<int>' for 1st argument}}
79 // expected-note@#GH89374-MatrixBase {{candidate function (the implicit move assignment operator) not viable: no known conversion from 'solve_retval<int>' to 'MatrixBase<int>' for 1st argument}}
80 }
81
82 } // namespace GH89374
83