On Sunday, 26 November 2023 at 21:45:21 UTC, Antonio wrote: > 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?** They're both subclasses of Object and inherit a generic opEquals from that base.