Java classes that inherit Scala classes cannot be compiled (another case)

[XYZboom]

Compiler version

3.6.3-RC2, 3.6.4-RC1-bin-20241231-1f0c576-NIGHTLY

Minimized code

trait I0 {
  def func0(): Unit
}
trait I1[T] extends I0 {
  override def func0(): Unit = {}
}
trait I2 extends I1[I2], I0 {
}
open class A0 extends I2 {
}

// FILE: A1.java
public abstract class A1 extends A0 {}

Output

A1.java:3: error: I1 cannot be inherited with different arguments: <> and <I2>
public abstract class A1 extends A0  {
                ^
1 error

Expectation

compile passed.