DMD 2.062:
struct S{ auto opBinary(S s){ return 3; } }
static assert(!is(typeof(S()+S())));
The static assertion should pass. opBinary is not even a template.
The analogous bug exists for opBinaryRight.
Comment #1 by bugzilla — 2013-04-15T16:27:05Z
The wrong right rewrite? Best bugzilla title evar!