1template <class Op> 2bool asfun(Op f, 3 Op::first_argument_type a, // { dg-error "not a type" } 4 Op::second_argument_type b) // { dg-error "not a type" } 5{ 6 return Op(a, b); 7} 8