Merge pull request #6860 from dotty-staging/fix-#6854

Fix #6854: Add regression test

Author: nicolasstucki

tests/neg/i6854.scala

@@ -0,0 +1,12 @@
+object Test {
+  import Lib._
+  val xs: IArray2[Int] = IArray2(1)
+}
+
+object Lib {
+  opaque type IArray2[+T] = Array[_ <: T]
+
+  object IArray2 {
+    inline def apply(x: =>Int): IArray2[Int] = Array(x) // error
+  }
+}