1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
// RUN: %clang_cc1 -verify -fsyntax-only %s
// Verify the absence of assertion failures when solving calls to unresolved
// template member functions.
struct A {
template <typename T>
static void bar(int) { } // expected-note {{candidate template ignored: couldn't infer template argument 'T'}}
};
struct B {
template <int i>
static void foo() {
int array[i];
A::template bar(array[0]); // expected-error {{no matching function for call to 'bar'}}
}
};
int main() {
B::foo<4>(); // expected-note {{in instantiation of function template specialization 'B::foo<4>'}}
return 0;
}
|
