Fix some tests using top-level types for erasedValue

Author: natsukagami

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
-  type UnivEq[A]
+  class UnivEq[A]
   object UnivEq:
     erased def force[A]: UnivEq[A] = erasedValue
     extension [A](erased proof: UnivEq[A])

tests/pos/i11743.scala

@@ -1,6 +1,6 @@
 import language.experimental.erasedDefinitions
 import scala.compiletime.erasedValue
-type UnivEq[A]
+class UnivEq[A]
 object UnivEq:
   erased def force[A]: UnivEq[A] = erasedValue
   extension [A](erased proof: UnivEq[A])