blob: a9c4bf481ded61fbe910708f7414a6f05b6e31ab [file] [log] [blame]
// RUN: clang-cc -fsyntax-only -verify %s
namespace N1 {
struct X0 { };
int& f0(X0);
}
namespace N2 {
char& f0(char);
template<typename T, typename Result>
struct call_f0 {
void test_f0(T t) {
Result result = f0(t);
}
};
}
template struct N2::call_f0<int, char&>;
template struct N2::call_f0<N1::X0, int&>;
namespace N3 {
template<typename T, typename Result>
struct call_f0 {
void test_f0(T t) {
Result &result = f0(t); // expected-error 2{{no matching}}
}
};
}
template struct N3::call_f0<int, char&>; // expected-note{{instantiation}}
template struct N3::call_f0<N1::X0, int&>;
short& f0(char);
namespace N4 {
template<typename T, typename Result>
struct call_f0 {
void test_f0(T t) {
Result &result = f0(t);
}
};
}
template struct N4::call_f0<int, short&>;
template struct N4::call_f0<N1::X0, int&>;
template struct N3::call_f0<int, short&>; // expected-note{{instantiation}}
// FIXME: test overloaded function call operators, calls to member
// functions, etc.