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