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 {{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