Java classes that inherit Scala classes cannot be compiled

[XYZboom]

Compiler version

3.6.3-RC2

Minimized code

trait I0[T0] {
  def func0(arg0: T0): Unit

  def func1(arg0: Object): Unit = {}
}
abstract class A0 extends I1 {
  override def func0(arg0: I1): Unit = {}
}

// Java files
public interface I1 extends I0<I1> {
    public default void func0(I1 arg0) {
        throw new RuntimeException();
    }
}
public final class A1 extends A0 {
    public void func1(Object arg0) {
    }
}

Error

error: A1 is not abstract and does not override abstract method func0(Object) in I0
public final class A1 extends A0  {
             ^
                     1 error

If change class A0 into Java, no error here.
Removing func1 will also make the error disappear

[XYZboom]

tried on 3.6.4-RC1-bin-20241231-1f0c576-NIGHTLY, still not success

[He-Pin]

will it work if you make the following:

abstract class A0 extends I1 {
  final override def func0(arg0: I1): Unit = {}
}

[XYZboom]

will it work if you make the following:

abstract class A0 extends I1 {
  final override def func0(arg0: l1): Unit = {}
}

Thanks! But there maybe some other classes want to override func0 in A0. So maybe it can only solve a part of the problem