Merge pull request #12040 from dotty-staging/add-TermParamClause.isErased

Add `TermParamClause.isErased`

Author: nicolasstucki

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

@@ -1512,6 +1512,8 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
           self.nonEmpty && self.head.symbol.is(dotc.core.Flags.Implicit)
         def isGiven: Boolean =
           self.nonEmpty && self.head.symbol.is(dotc.core.Flags.Given)
+        def isErased: Boolean =
+          self.nonEmpty && self.head.symbol.is(dotc.core.Flags.Erased)
     end TermParamClauseMethods
 
     type TypeParamClause = List[tpd.TypeDef]

library/src/scala/quoted/Quotes.scala

@@ -2160,6 +2160,8 @@ trait Quotes { self: runtime.QuoteUnpickler & runtime.QuoteMatching =>
         def isImplicit: Boolean
         /** Is this a given parameter clause `(using X1, ..., Xn)` or `(using x1: X1, ..., xn: Xn)` */
         def isGiven: Boolean
+        /** Is this a erased parameter clause `(erased x1: X1, ..., xn: Xn)` */
+        def isErased: Boolean
     end TermParamClauseMethods
 
     /** A type parameter clause `[X1, ..., Xn]` */

tests/run-macros/i12021.check

@@ -1,2 +1,3 @@
-X1: (i: scala.Int) isImplicit=true, isGiven=false
-X2: (i: scala.Int) isImplicit=false, isGiven=true
+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

tests/run-macros/i12021/Macro_1.scala

@@ -6,10 +6,12 @@ inline def inspect[A]: String =
 def inspect2[A: Type](using Quotes): Expr[String] = {
   import quotes.reflect.*
 
-  val DefDef(_, List(Nil, ps: TermParamClause), _, _) =
-    TypeRepr.of[A].typeSymbol.primaryConstructor.tree
+  val ps =
+    TypeRepr.of[A].typeSymbol.primaryConstructor.tree match
+      case DefDef(_, List(Nil, ps: TermParamClause), _, _) => ps
+      case DefDef(_, List(ps: TermParamClause), _, _) => ps
 
   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}")
+  Expr(s"${Type.show[A]}: $names isImplicit=${ps.isImplicit}, isGiven=${ps.isGiven}, isErased=${ps.isErased}")
 }

tests/run-macros/i12021/Test_2.scala

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