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