1 // RUN: clang-cc -fsyntax-only -verify %s 2 3 template<typename T, typename U> 4 struct X { 5 T f(T x, U y) { return x + y; } 6 7 unsigned g(T x, U y) { return sizeof(f(x, y)); } 8 }; 9 10 void test(X<int, int> *xii, X<int*, int> *xpi, X<int, int*> *xip) { 11 (void)xii->f(1, 2); 12 (void)xpi->f(0, 2); 13 (void)sizeof(xip->f(2, 0)); // okay: does not instantiate 14 (void)xip->g(2, 0); // okay: does not instantiate 15 } 16 17