Promoted Properties Compatibility¶
Promoted properties are defined in a constructor signature. They cannot be defined in an abstract method, so they are not allowed in an abstract constructor: this is true in an abstract class and in an interface.
On the other hand, it is allowed to extend promoted properties without the promotion, and vice versa.