> and you need the erasure to match the inherited implementation

Isn't that what bridge methods are for? The erased signature in the superclass can be more specific than the corresponding signature in the superclass.