I think this is all a compromise to allow the introduction of this gradually in a code base and across the standard library. You want to start marking these int

I think this is all a compromise to allow the introduction of this gradually in a code base and across the standard library. You want to start marking these intentions in interfaces and base classes, but you don't want to immediately invalidate all existing implementations.