Community
Participate
Working Groups
package test1; import test2.IRectangle; public sealed interface IShape permits IRectangle { // [1] } package test2; public interface IRectangle { } Quick fix at [1] results in: package test2; public interface IRectangle extends IShape { } It should also add: import test1.IShape;
New Gerrit change created: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/183016
Gerrit change https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/183016 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=a7a6d6c6a9a3fccea21420e1a7b0b726f8b67ad6
Verified in I20210817-1840.