Fix path error disgnastics

Fix wording so that it works for nested errors as well.
Incorparte Tiark's latest example.

1 files changed, 16 insertions, 0 deletions

diff --git a/tests/neg/i1050.scala b/tests/neg/i1050.scala
index 99d81c317..047d9f776 100644
--- a/tests/neg/i1050.scala
+++ b/tests/neg/i1050.scala
@@ -63,6 +63,22 @@ object Tiark2 {
     val v = new V {}
     v.brand("boom!"): Nothing
 }
+object Tiark3 {
+    trait A { type L <: Nothing }
+    trait B { type L >: Any}
+    trait U {
+      type X <: B
+      def p2: X
+      final lazy val p: X = p2
+      def brand(x: Any): p.L = x
+    }
+    trait V extends U {
+      type X = B with A
+      def p2: X = ???
+    }
+    val v = new V {}
+    v.brand("boom!"): Nothing
+}
 /*
 object Import {
     trait A { type L <: Nothing }