Considering how much real world code would be classified as type unsafe if this happened, I am giving this a 0% chance of ever being changed. What might happen is that type checkers get better at detecting situations where this is an issue - but there are way to many patterns that use incompatible constructors in base classes for this to ever change.