gcc-4.3.1/gcc/testsuite/g++.dg/template/operator10.C

// PR c++/30535

struct A {};

template<A, typename T> int operator-(A, T); // { dg-error "not a valid type" }

int i = A() - 0; // { dg-error "no match" }