https://issues.dlang.org/show_bug.cgi?id=17336
--- Comment #3 from hst...@quickfur.ath.cx --- Oh, except that the latter check actually doesn't work, because the type of `(A a, B b) => a + b` is a delegate, not A. So it'd have to be the nausea-inducing: ------- static if (is(typeof((A a, B b) => a + b) : A delegate(A,B))) { ... } ------- or something along those lines. It quickly becomes completely ridiculous. --