1*67e74705SXin Li // RUN: %clang_cc1 -std=c++11 -verify %s 2*67e74705SXin Li 3*67e74705SXin Li // From core issue 1227. 4*67e74705SXin Li 5*67e74705SXin Li template <class T> struct A { using X = typename T::X; }; // expected-error {{no members}} 6*67e74705SXin Li template <class T> typename T::X f(typename A<T>::X); f(...)7*67e74705SXin Litemplate <class T> void f(...) {} 8*67e74705SXin Li template <class T> auto g(typename A<T>::X) -> typename T::X; // expected-note {{here}} g(...)9*67e74705SXin Litemplate <class T> void g(...) {} 10*67e74705SXin Li h()11*67e74705SXin Livoid h() 12*67e74705SXin Li { 13*67e74705SXin Li f<int>(0); // ok, SFINAE in return type 14*67e74705SXin Li g<int>(0); // not ok, substitution inside A<int> is a hard error // expected-note {{substituting}} 15*67e74705SXin Li } 16