Add test

Author: tanishiking

tests/pos/i24074/JavaPart.java

@@ -0,0 +1,17 @@
+public class JavaPart {
+  public interface A { }
+  public interface B extends A {
+      int onlyInB();
+  }
+
+  public interface Lvl1 {
+    A[] getData();
+  }
+
+  public interface Lvl2 extends Lvl1 {
+    @Override
+    B[] getData();
+  }
+
+  public interface Lvl3 extends Lvl2, Lvl1 { }
+}

tests/pos/i24074/Test.scala

@@ -0,0 +1,6 @@
+// trait Test extends JavaPart.Lvl3
+// object TestImpl extends Test:
+//   def getData(): Array[JavaPart.B] = ???
+object Test:
+  def test(lvl3: JavaPart.Lvl3): Unit =
+    lvl3.getData.head.onlyInB()