1// { dg-do compile }
2// Origin: Giovanni Bajo <giovannibajo at gcc dot gnu dot org>
3// PR c++/19208: Fold dependent array domains
4
5template <class C> struct if_t { typedef int type; };
6template <class T> struct ffff { static const bool value = true; };
7template <class A>
8struct bound_member_action
9{
10  typedef char f[ffff<A>::value ? 1 : 2];
11  template <class CT>
12    bound_member_action(CT i, typename if_t<f>::type g)  {}
13};
14bound_member_action<int> a(0, 1);
15