1 // PR c++/71225 2 // { dg-do compile { target c++11 } } 3 4 template <bool, class> struct A; 5 template <class T> struct B; 6 template <typename T> 7 struct C 8 { 9 struct D 10 { 11 template <int N = 42, typename A<N == 43 || B<T>(), int>::type = 0> fooC::D12 void foo () const {} 13 template <int N = 42, typename A<N == 43 || !B<T> (), int>::type = 0> fooC::D14 void foo () const {} barC::D15 void bar () { foo (); } 16 }; 17 }; 18