31 lines · cpp
1// RUN: %clang_cc1 -fsyntax-only -verify %s2 3template<typename T>4struct X {5 template<typename U> struct Inner { };6 7 template<typename U> void f(T, U) { }8};9 10template<> template<typename U>11struct X<int>::Inner {12 U member;13};14 15template<> template<typename U>16void X<int>::f(int x, U y) { 17 x = y; // expected-error{{incompatible pointer to integer conversion}}18}19 20void test(X<int> xi, X<long> xl, float *fp) {21 X<int>::Inner<float*> xii;22 xii.member = fp;23 xi.f(17, 25);24 xi.f(17, 3.14159);25 xi.f(17, fp); // expected-note{{instantiation}}26 X<long>::Inner<float*> xli;27 28 xli.member = fp; // expected-error{{no member}}29 xl.f(17, fp); // okay30}31