1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 template<typename T> 4 struct X { 5 template<typename U> struct Inner { }; 6 7 template<typename U> void f(T, U) { } 8 }; 9 10 template<> template<typename U> 11 struct X<int>::Inner { 12 U member; 13 }; 14 15 template<> template<typename U> 16 void X<int>::f(int x, U y) { 17 x = y; // expected-error{{incompatible type}} 18 } 19 20 void 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); // okay 30 } 31
