Acoid CyclicReference errors due to check

Author: odersky

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -1518,8 +1518,8 @@ object Types {
       if (Config.checkTypeRefCycles)
         lastDenotation.info match {
           case TypeBounds(lo, hi) =>
-            assert(lo.stripTypeVar.stripAnnots ne this)
-            assert(hi.stripTypeVar.stripAnnots ne this)
+            assert(lo ne this)
+            assert(hi ne this)
           case _ =>
         }