Add support for @DeprecatedName

Author: hamzaremmal

compiler/src/dotty/tools/dotc/core/Definitions.scala

@@ -1006,6 +1006,7 @@ class Definitions {
   @tu lazy val ProvisionalSuperClassAnnot: ClassSymbol = requiredClass("scala.annotation.internal.ProvisionalSuperClass")
   @tu lazy val DeprecatedAnnot: ClassSymbol = requiredClass("scala.deprecated")
   @tu lazy val DeprecatedOverridingAnnot: ClassSymbol = requiredClass("scala.deprecatedOverriding")
+  @tu lazy val DeprecatedNameAnnot: ClassSymbol = requiredClass("scala.deprecatedName")
   @tu lazy val ImplicitAmbiguousAnnot: ClassSymbol = requiredClass("scala.annotation.implicitAmbiguous")
   @tu lazy val ImplicitNotFoundAnnot: ClassSymbol = requiredClass("scala.annotation.implicitNotFound")
   @tu lazy val InlineParamAnnot: ClassSymbol = requiredClass("scala.annotation.internal.InlineParam")

compiler/src/dotty/tools/dotc/transform/FirstTransform.scala

@@ -5,6 +5,7 @@ import core.*
 import Names.*
 import dotty.tools.dotc.transform.MegaPhase.*
 import ast.untpd
+import ast.tpd
 import Flags.*
 import Types.*
 import Constants.Constant
@@ -174,6 +175,18 @@ class FirstTransform extends MiniPhase with InfoTransformer { thisPhase =>
   override def transformTypeApply(tree: TypeApply)(using Context): Tree =
     constToLiteral(tree)
 
+  override def prepareForApply(tree: tpd.Apply)(using Context): Context =
+    val namedArgs = tree.args.filterConserve(isNamedArg).asInstanceOf[List[NamedArg]]
+    val paramSymss = tree.symbol.paramSymss.flatten
+    for namedArg <- namedArgs do
+      val name = namedArg.name
+      val sym = paramSymss.filter(_.name == name).head
+      sym.getAnnotation(defn.DeprecatedNameAnnot) match
+        case Some(annot) =>
+          report.warning(em"naming parameter $name is deprecated", namedArg.srcPos)
+        case None =>
+    ctx
+
   override def transformApply(tree: Apply)(using Context): Tree =
     constToLiteral(foldCondition(tree))
 

tests/warn/i19077.check

@@ -0,0 +1,4 @@
+-- Warning: tests/warn/i19077.scala:4:21 -------------------------------------------------------------------------------
+4 |@main def Test = f(x = 2) // warn
+  |                   ^^^^^
+  |                   naming parameter x is deprecated

tests/warn/i19077.scala

@@ -0,0 +1,4 @@
+
+def f(@deprecatedName x: Int) = x * 2
+
+@main def Test = f(x = 2) // warn