1 // { dg-do compile }
2 
3 // Origin: Alexander Stippler  <stip@mathematik.uni-ulm.de>
4 // PR c++/10079
5 
6 template <bool> struct A {};
7 
8 template <typename> struct B
9 {
10   enum { e };
11 };
12 
foo(T)13 template <typename T> A<(B<T>::e && 0)> foo(T) {}
14 
foo(B<T>)15 template <typename T> void foo(B<T>) {}
16 
bar()17 void bar()
18 {
19   B<int> b;
20   foo(b);
21 }
22