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