Restore test

som-snytt · som-snytt · commit 537caf5c6150 · 2026-04-04T09:38:17.000-07:00
diff --git a/compiler/test/dotc/neg-best-effort-pickling.excludelist b/compiler/test/dotc/neg-best-effort-pickling.excludelist
@@ -13,6 +13,7 @@ curried-dependent-ift.scala
 i17121.scala
 illegal-match-types.scala
 i13780-1.scala
+i8984.scala
 
 i20317a.scala # recursion limit exceeded
 i11226.scala # missing type
diff --git a/tests/disabled/neg/i8984.check b/tests/disabled/neg/i8984.check
diff --git a/tests/neg/i8984.scala b/tests/neg/i8984.scala
@@ -1,8 +1,7 @@
-import scala.annotation.tailrec
 type |@[F[+_], G[+_]] = [a] =>> F[a] | G[a]
 
-object Fix: // error
-  opaque type T[+F[+_]] = ApplyFix.T[F]
+object Fix: // error Cyclic reference involving type T
+  opaque type T[+F[+_]] = ApplyFix.T[F] // error
 
   def apply[F[+_]](f: F[Fix[F]]): T[F] = ApplyFix(f) // error // error
 
