1 // DR 1423, PR c++/52174 2 // { dg-do compile { target c++11 } } 3 4 template<class T> 5 T&& make(); 6 7 template<class T> 8 void sink(T); 9 10 template<class T1, class T2, 11 class = decltype(sink<T2>(make<T1>())) 12 > 13 auto f(int) -> char(&)[1]; 14 15 template<class, class> 16 auto f(...) -> char(&)[2]; 17 18 static_assert(sizeof(f<decltype(nullptr), bool>(0)) != 1, ""); 19