Make objects.opEquals a template?

[Yuxuan Shui via Digitalmars-d]

The main reason here is to use '==' in @safe code:

class A {
        override @safe bool opEquals(Object o) {
                return cast(A)o !is null;
        }
}
@safe void main() {
        A a = new A;
        A b = new A;
        a == b;
}
This doesn't compile in current D, because objects.opEquals takes 
two Object, and Object.opEquals is not @safe.

Why can't we have a template objects.opEquals?

auto opEquals(T, S)(T a, S b) { ... }