Cannot inherit java interface that covariantly overrides a method with Array return type

[SrTobi]

reproduction steps

using Scala 2.13.6,

Java:

public interface A {
    A[] getArray();
}

public interface B extends A {
    @Override
    B[] getArray();
}

Scala:

trait Test extends B

problem

When compiling the scala code the compiler gives:

incompatible type in overriding
def getArray(): Array[A] (defined in trait A)
  with def getArray(): Array[B] (defined in trait B);
 found   : (): Array[B]
 required: (): Array[A]
trait Test extends B

This makes it impossible to inherit B.

[joroKr21]

Hmm an interesting philosophical question is whether we should support bug compatibility with Java

[SrTobi]

Well, this basically stops us from upgrading our application to Scala 2.13.6. A type system should help you avoid bugs, and not prevent you from developing your application altogether (because we cannot change those interfaces and we cannot avoid them either).

[joroKr21]

Well, this basically stops us from upgrading our application to Scala 2.13.6

Do you mean that it's a regression (it worked before)?

[lrytz]

I'll take a look, this is quite certainly related to scala/scala#9629

[SrTobi]

Well, this basically stops us from upgrading our application to Scala 2.13.6

Do you mean that it's a regression (it worked before)?

yeah it works in 2.13.5