It is what bridge methods are for; we don't have enough bridges. The erased signature can only differ between the subclass and the implementing class if the backend will handle the calls and forwarding correctly; it is not a pretty picture when you get too close. (See SI-3452, etc - I would be curious to know if this change has any effect on it.)