Change tests in accordance to new erased parameter Quotes API

Author: natsukagami

compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala

@@ -1584,9 +1584,9 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
         def isErased: Boolean = false
 
         def erasedArgs: List[Boolean] =
-          self.map(param => param.tpe.hasAnnotation(dotc.core.Symbols.defn.ErasedParamAnnot))
+          self.map(_.symbol.is(dotc.core.Flags.Erased))
         def hasErasedArgs: Boolean =
-          self.exists(param => param.tpe.hasAnnotation(dotc.core.Symbols.defn.ErasedParamAnnot))
+          self.exists(_.symbol.is(dotc.core.Flags.Erased))
     end TermParamClauseMethods
 
     type TypeParamClause = List[tpd.TypeDef]

tests/run-custom-args/tasty-inspector/stdlibExperimentalDefinitions.scala

@@ -81,6 +81,12 @@ val experimentalDefinitionInLibrary = Set(
   "scala.quoted.Quotes.reflectModule.SymbolModule.newModule",
   "scala.quoted.Quotes.reflectModule.SymbolModule.freshName",
   "scala.quoted.Quotes.reflectModule.SymbolMethods.info",
+  // Quotes for functions with erased parameters.
+  "scala.quoted.Quotes.reflectModule.MethodTypeMethods.erasedParams",
+  "scala.quoted.Quotes.reflectModule.MethodTypeMethods.hasErasedParams",
+  "scala.quoted.Quotes.reflectModule.TermParamClauseMethods.erasedArgs",
+  "scala.quoted.Quotes.reflectModule.TermParamClauseMethods.hasErasedArgs",
+  "scala.quoted.Quotes.reflectModule.defnModule.ErasedFunctionClass",
 
   // New feature: functions with erased parameters.
   // Need erasedDefinitions enabled.

tests/run-macros/i12021.check

@@ -1,3 +1,5 @@
-X1: (i: scala.Int) isImplicit=true, isGiven=false, isErased=false
-X2: (i: scala.Int) isImplicit=false, isGiven=true, isErased=false
-X3: (i: scala.Int) isImplicit=false, isGiven=false, isErased=true
+X1: (i: scala.Int) isImplicit=true, isGiven=false, erasedArgs=List(false)
+X2: (i: scala.Int) isImplicit=false, isGiven=true, erasedArgs=List(false)
+X3: (i: scala.Int) isImplicit=false, isGiven=false, erasedArgs=List(true)
+X4: (i: scala.Int, j: scala.Int) isImplicit=false, isGiven=false, erasedArgs=List(false, true)
+X5: (i: EC) isImplicit=false, isGiven=false, erasedArgs=List(true)

tests/run-macros/i12021/Macro_1.scala

@@ -14,5 +14,5 @@ def inspect2[A: Type](using Quotes): Expr[String] = {
 
   val names = ps.params.map(p => s"${p.name}: ${p.tpt.show}").mkString("(", ", ", ")")
 
-  Expr(s"${Type.show[A]}: $names isImplicit=${ps.isImplicit}, isGiven=${ps.isGiven}, isErased=${ps.isErased}")
+  Expr(s"${Type.show[A]}: $names isImplicit=${ps.isImplicit}, isGiven=${ps.isGiven}, erasedArgs=${ps.erasedArgs}")
 }

tests/run-macros/i12021/Test_2.scala

@@ -1,11 +1,17 @@
 import scala.language.experimental.erasedDefinitions
 
+erased class EC
+
 class X1(implicit i: Int)
 class X2(using i: Int)
 class X3(erased i: Int)
+class X4(i: Int, erased j: Int)
+class X5(i: EC)
 
 @main def Test = {
   println(inspect[X1])
   println(inspect[X2])
   println(inspect[X3])
-}
+  println(inspect[X4])
+  println(inspect[X5])
+}