1*67e74705SXin Li // RUN: %clang_cc1 -std=c++11 -verify %s 2*67e74705SXin Li 3*67e74705SXin Li template<typename ...T> struct X { 4*67e74705SXin Li void f(int); 5*67e74705SXin Li void f(...); 6*67e74705SXin Li static int n; 7*67e74705SXin Li }; 8*67e74705SXin Li 9*67e74705SXin Li template<typename T, typename U> using A = T; 10*67e74705SXin Li 11*67e74705SXin Li // These definitions are OK, X<A<T, decltype(...)>...> is equivalent to X<T...> 12*67e74705SXin Li // so this defines the member of the primary template. 13*67e74705SXin Li template<typename ...T> f(int)14*67e74705SXin Livoid X<A<T, decltype(f(T()))>...>::f(int) {} // expected-error {{undeclared}} 15*67e74705SXin Li 16*67e74705SXin Li template<typename ...T> 17*67e74705SXin Li int X<A<T, decltype(f(T()))>...>::n = 0; // expected-error {{undeclared}} 18*67e74705SXin Li 19*67e74705SXin Li struct Y {}; void f(Y); 20*67e74705SXin Li g()21*67e74705SXin Livoid g() { 22*67e74705SXin Li // OK, substitution succeeds. 23*67e74705SXin Li X<Y>().f(0); 24*67e74705SXin Li X<Y>::n = 1; 25*67e74705SXin Li 26*67e74705SXin Li // Error, substitution fails; this should not be treated as a SFINAE-able 27*67e74705SXin Li // condition, so we don't select X<void>::f(...). 28*67e74705SXin Li X<void>().f(0); // expected-note {{instantiation of}} 29*67e74705SXin Li X<void>::n = 1; // expected-note {{instantiation of}} 30*67e74705SXin Li } 31