[sealed types] ECJ complains of cycles in hierarchy where none exists

[rfcom]

Given class files:

Bar.java:

public record Bar() implements TheA.FooOrBar {}

Foo.java:

public record Foo() implements TheA.FooOrBar {}

Base.java:

public sealed interface Base permits TheA, TheB {}

TheA.java:

public record TheA() implements Base {
	public sealed interface FooOrBar permits Foo, Bar {}
}

TheB.java:

public record TheB<T extends TheA.FooOrBar>() implements Base {}

Resulting errors:

Cycle detected: a cycle exists in the type hierarchy between Foo and TheA	Foo.java	/ejccycle/src/main/java/ejccycle	line 4	Java Problem
Permitted type Foo does not declare ejccycle.TheA.FooOrBar as direct super interface 	TheA.java	/ejccycle/src/main/java/ejccycle	line 7	Java Problem
The hierarchy of the type Bar is inconsistent	Bar.java	/ejccycle/src/main/java/ejccycle	line 3	Java Problem
The hierarchy of the type TheA is inconsistent	TheA.java	/ejccycle/src/main/java/ejccycle	line 3	Java Problem

If i compile this project with Maven and javac

mvn clean compile

the build is successful

Full project:

ejccycle.zip

I'm using:
Eclipse Java Development Tools 3.19.300.v20231201-0110

[jukzi]

minimal reproducer, single file:

record Bar() implements TheA.FooOrBar {
}

record Foo() implements TheA.FooOrBar {
}

sealed interface Base permits TheA, TheB {
}

record TheA() implements Base {
	public sealed interface FooOrBar permits Foo, Bar {
	}
}

record TheB<T extends TheA.FooOrBar>() implements Base {
}

[jukzi]

Cycle detected: a cycle exists in the type hierarchy between Foo and TheA
Permitted type Foo does not declare org.eclipse.core.TheA.FooOrBar as direct super interface
The hierarchy of the type Bar is inconsistent
The hierarchy of the type TheA is inconsistentProblem

[jukzi]

@mpalat i guess records are your area

[srikanth-sankaran]

I plan to work on records and sealed types in the 4.32 M2/M3 time frame. If this is still open by then, I will take it up and close it for 4.32

[mpalat]

@mpalat i guess records are your area

@srikanth-sankaran has volunteered - have put 4.32 milestone