In this example, a and b vars are not of the same type and don't implement the same interface. why assert(a==b) compiles?

interface IOpt(T) {
  bool opEquals(const IOpt!T) const @safe pure;
}

class None(T) : IOpt!T {
  bool opEquals(const IOpt!T other) const @safe pure => true;
}

void main() {
  auto a = new None!int();
  auto b = new None!string();

  assert(a==b);
}

On Sunday, 26 November 2023 at 21:45:21 UTC, Antonio wrote:

They're both subclasses of Object and inherit a generic opEquals from that base.