Revert test changes, vals with top-level types are valid

natsukagami · natsukagami · commit 872ce9c826ac · 2022-10-03T09:47:45.000+02:00
diff --git a/tests/neg-custom-args/erased/top-level-type.scala b/tests/neg-custom-args/erased/top-level-type.scala
diff --git a/tests/neg-custom-args/no-experimental/experimental.scala b/tests/neg-custom-args/no-experimental/experimental.scala
@@ -9,7 +9,7 @@ class Test0 {
 class Test1 {
   import scala.language.experimental.erasedDefinitions
   import scala.compiletime.erasedValue
-  class UnivEq[A]
+  type UnivEq[A]
   object UnivEq:
     erased def force[A]: UnivEq[A] = erasedValue
     extension [A](erased proof: UnivEq[A])
diff --git a/tests/pos-custom-args/erased/i11896.scala b/tests/pos-custom-args/erased/i11896.scala
@@ -1,6 +1,6 @@
 import scala.language.experimental.erasedDefinitions
 
-class X
+type X
 erased def x: X = compiletime.erasedValue
 
 def foo(using erased X): Unit = ()
diff --git a/tests/pos/i11743.scala b/tests/pos/i11743.scala
@@ -1,6 +1,6 @@
 import language.experimental.erasedDefinitions
 import scala.compiletime.erasedValue
-class UnivEq[A]
+type UnivEq[A]
 object UnivEq:
   erased def force[A]: UnivEq[A] = erasedValue
   extension [A](erased proof: UnivEq[A])
