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