Handle paths of length > 1 for realizability checking

1 files changed, 27 insertions, 0 deletions

diff --git a/tests/neg/i1050.scala b/tests/neg/i1050.scala
index 5808011fa..f2c237af2 100644
--- a/tests/neg/i1050.scala
+++ b/tests/neg/i1050.scala
@@ -109,3 +109,30 @@ object Import {
 object V { // error: cannot be instantiated
   type Y >: Any <: Nothing  // error: only classes can have declared but undefined members
 }
+object Tiark5 {
+    trait A { type L <: Nothing }
+    trait B { type L >: Any }
+    def f(x: => A & B)(y: Any):Nothing = (y:x.L) // error: underlying conflicting bounds
+    f(???)("boom!")
+}
+object Tiark5Inherited {
+    trait A { type L <: Nothing }
+    trait B { type L >: Any }
+    trait A2 extends A
+    trait B2 extends B
+    def f(x: => A2 & B2)(y: Any):Nothing = (y:x.L) // error: underlying conflicting bounds
+    f(???)("boom!")
+}
+object Tiark6 {
+    trait B { type L >: Any }
+    trait A { type L <: Nothing }
+    trait U {
+      trait X {
+        val q: A & B = ???
+      }
+      final lazy val p: X = ???
+      def brand(x: Any): p.q.L = x // error: conflicting bounds
+    }
+    val v = new U {}
+    v.brand("boom!"): Nothing
+}