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