gcc/testsuite/g++.dg/other/nontype-1.C

   1 template <class Op>
   2 bool 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 {                               // { dg-error "no type" }
   6    return Op(a, b);
   7 }