Add permitted type cases is not suggested

[rgrunber]

I'm trying to test #1817 .

package test;
public final class BatmanSymbol extends Shape {
}

package test;
public final class Circle extends Shape {
}

package test;
public sealed class Shape permits Circle, BatmanSymbol {
}

package test;

public class Test {
	public static void main(String[] args) {
		Shape someShape;
		switch (someShape) {
		}
	}
}

This is all I see over someShape :

I think the issue is related to https://github.com/eclipse-jdt/eclipse.jdt.ui/pull/1817/files#diff-e0ec3fbd8bcf1f3175bcbf9d5d49e6bd76b56b06ff24f9875c6203196d015344R2495 . If the classes are all in the same package (no import required), then importName will be empty.

[rgrunber]

Yeah, If I move the sealed class and its permitted types into a separate package, it works :

Screencast.from.2024-12-09.15-08-07.mp4