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