Merge pull request #1072 from dotty-staging/change-isVolatile-2

Change is volatile 2

1 files changed, 7 insertions, 6 deletions

diff --git a/tests/neg/cycles.scala b/tests/neg/cycles.scala
index 11efea625..f9e546aca 100644
--- a/tests/neg/cycles.scala
+++ b/tests/neg/cycles.scala
@@ -1,21 +1,22 @@
-class Foo[T <: U, U <: T] // error: cycle
+class Foo[T <: U, U <: T] // error: illegal cyclic reference: upper bound U of type T refers back to the type itself
+
+class Bar[T >: T] // error: illegal cyclic reference: lower bound T of type T refers back to the type itself
 
-class Bar[T >: T] // error: cycle
 
 class A {
   val x: T = ???
-  type T <: x.type // error: cycle
+  type T <: x.type // error: cyclic reference involving value x
 }
 
 class B {
-  type T <: x.type // error: cycle
-  final val x: T = ???
+  type T <: x.type // error: illegal cyclic reference: upper bound B.this.T(B.this.x) of type T refers back to the type itself
+  val x: T = ???
 }
 
 class C {
   final val x: D#T = ???
   class D {
-    type T <: x.type // error: cycle
+    type T <: x.type // error: cyclic reference involving value x
     val z: x.type = ???
   }
 }