> > Another common example is when you are implementing an interface method or overriding a superclass method > This doesn't seem to be supported and could cau

> > Another common example is when you are implementing an interface method or overriding a superclass method > This doesn't seem to be supported and could cause many issues e.g. if a base interface adds an overloaded method with a similar signature. Suddenly we will have a conflict and compilation issues. I think this is already a risk when modifying interfaces or superclasses. For example, if you add a method to a superclass, a subclass might already have a method with the same name/arguments but different return type, which would break compilation.