1 // PR c++/89212 2 // { dg-do compile { target c++11 } } 3 4 template <int, typename T> using enable_if_t = int; 5 6 template<typename U, typename W, typename Y, class X, W(X::*foo)() = nullptr> 7 struct p 8 { 9 template<U(Y::*fun)() = foo, typename T = enable_if_t<nullptr == fun, int>> pp10 p(T) { } 11 p() = default; 12 }; 13 14 struct A 15 { 16 p<void, void, A, A> i = 1; 17 void bar(); 18 p<void, void, A, A, &A::bar> j; 19 }; 20