template-specialization.cpp revision 02e221bad95aada3190fa6189e38023cba27bc72 
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
5struct A {
6  template <typename T>
7  static void bar(int) { } // expected-note {{candidate template ignored: couldn't infer template argument 'T'}}
8};
9
10struct B {
11  template <int i>
12  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
18int main() {
19  B::foo<4>(); // expected-note {{in instantiation of function template specialization 'B::foo<4>'}}
20  return 0;
21}
22