1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 // expected-no-diagnostics
3
4 template<typename T>
5 struct A {
6 template<typename U> A<T> operator+(U);
7 };
8
9 template<int Value, typename T> bool operator==(A<T>, A<T>);
10
11 template<> bool operator==<0>(A<int>, A<int>);
12
test_qualified_id(A<int> ai)13 bool test_qualified_id(A<int> ai) {
14 return ::operator==<0, int>(ai, ai);
15 }
16
test_op(A<int> a,int i)17 void test_op(A<int> a, int i) {
18 const A<int> &air = a.operator+<int>(i);
19 }
20
21 template<typename T>
test_op_template(A<T> at,T x)22 void test_op_template(A<T> at, T x) {
23 const A<T> &atr = at.template operator+<T>(x);
24 const A<T> &atr2 = at.A::template operator+<T>(x);
25 // FIXME: unrelated template-name instantiation issue
26 // const A<T> &atr3 = at.template A<T>::template operator+<T>(x);
27 }
28
29 template void test_op_template<float>(A<float>, float);
30