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