Register nowarn when inlining

Author: som-snytt

compiler/src/dotty/tools/dotc/Run.scala

@@ -17,15 +17,15 @@ import Phases.{unfusedPhases, Phase}
 import sbt.interfaces.ProgressCallback
 
 import util.*
-import reporting.{Suppression, Action, Profile, ActiveProfile, NoProfile}
-import reporting.Diagnostic
-import reporting.Diagnostic.Warning
+import reporting.{Suppression, Action, Profile, ActiveProfile, MessageFilter, NoProfile, WConf}
+import reporting.Diagnostic, Diagnostic.Warning
 import rewrites.Rewrites
 import profile.Profiler
 import printing.XprintMode
 import typer.ImplicitRunInfo
 import config.Feature
 import StdNames.nme
+import Spans.Span
 
 import java.io.{BufferedWriter, OutputStreamWriter}
 import java.nio.charset.StandardCharsets
@@ -37,6 +37,8 @@ import scala.io.Codec
 import Run.Progress
 import scala.compiletime.uninitialized
 import dotty.tools.dotc.transform.MegaPhase
+import dotty.tools.dotc.util.chaining.*
+import java.util.{Timer, TimerTask}
 
 /** A compiler run. Exports various methods to compile source files */
 class Run(comp: Compiler, ictx: Context) extends ImplicitRunInfo with ConstraintRunInfo {
@@ -97,6 +99,26 @@ class Run(comp: Compiler, ictx: Context) extends ImplicitRunInfo with Constraint
           Action.Warning
       }
 
+    def registerNowarn(annotPos: SourcePosition, range: Span)(conf: String, pos: SrcPos)(using Context): Unit =
+      var verbose = false
+      val filters = conf match
+        case "" =>
+          List(MessageFilter.Any)
+        case "none" =>
+          List(MessageFilter.None)
+        case "verbose" | "v" =>
+          verbose = true
+          List(MessageFilter.Any)
+        case conf =>
+          WConf.parseFilters(conf).left.map: parseErrors =>
+            report.warning(s"Invalid message filter\n${parseErrors.mkString("\n")}", pos)
+            List(MessageFilter.None)
+          .merge
+      addSuppression:
+        Suppression(annotPos, filters, range.start, range.end, verbose)
+          .tap: sup =>
+            if filters == List(MessageFilter.None) then sup.markUsed() // invalid suppressions, don't report as unused
+
     def addSuppression(sup: Suppression): Unit =
       val suppressions = mySuppressions.getOrElseUpdate(sup.annotPos.source, ListBuffer.empty)
       if sup.start != sup.end && suppressions.forall(x => x.start != sup.start || x.end != sup.end) then

compiler/src/dotty/tools/dotc/inlines/Inliner.scala

@@ -98,7 +98,8 @@ object Inliner:
 
   // InlinerMap is a TreeTypeMap with special treatment for inlined arguments:
   // They are generally left alone (not mapped further, and if they wrap a type
-  // the type Inlined wrapper gets dropped
+  // the type Inlined wrapper gets dropped.
+  // As a side effect, register @nowarn annotations from annotated expressions.
   private class InlinerMap(
       typeMap: Type => Type,
       treeMap: Tree => Tree,
@@ -115,6 +116,18 @@ object Inliner:
       ConservativeTreeCopier()
     ):
 
+    override def transform(tree: Tree)(using Context): Tree =
+      tree match
+      case Typed(expr, tpt) =>
+        tpt.tpe match
+        case AnnotatedType(_, annot) if annot.hasSymbol(defn.NowarnAnnot) =>
+          val argPos = annot.argument(0).getOrElse(tree).sourcePos
+          val conf = annot.argumentConstantString(0).getOrElse("")
+          ctx.run.nn.suppressions.registerNowarn(tree.sourcePos, expr.span)(conf, argPos)
+        case _ =>
+      case _ =>
+      super.transform(tree)
+
     override def copy(
         typeMap: Type => Type,
         treeMap: Tree => Tree,

compiler/src/dotty/tools/dotc/inlines/Inlines.scala

@@ -23,6 +23,7 @@ import collection.mutable
 import reporting.{NotConstant, trace}
 import util.Spans.Span
 import dotty.tools.dotc.core.Periods.PhaseId
+import dotty.tools.dotc.util.chaining.*
 
 /** Support for querying inlineable methods and for inlining calls to such methods */
 object Inlines:
@@ -44,6 +45,11 @@ object Inlines:
   def bodyToInline(sym: SymDenotation)(using Context): Tree =
     if hasBodyToInline(sym) then
       sym.getAnnotation(defn.BodyAnnot).get.tree
+        .tap: body =>
+          for annot <- sym.getAnnotation(defn.NowarnAnnot) do
+            val argPos = annot.argument(0).getOrElse(annot.tree).sourcePos
+            val conf = annot.argumentConstantString(0).getOrElse("")
+            ctx.run.nn.suppressions.registerNowarn(annot.tree.sourcePos, body.span)(conf, argPos)
     else
       EmptyTree
 

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -2486,31 +2486,15 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
 
   def registerNowarn(tree: Tree, mdef: untpd.Tree)(using Context): Unit =
     val annot = Annotations.Annotation(tree)
-    def argPos = annot.argument(0).getOrElse(tree).sourcePos
-    var verbose = false
-    val filters = annot.argumentConstantString(0) match
-      case None => annot.argument(0) match
-        case Some(t: Select) if t.name.is(DefaultGetterName) =>
-          // default argument used for `@nowarn` and `@nowarn()`
-          List(MessageFilter.Any)
-        case _ =>
-          report.warning(s"filter needs to be a compile-time constant string", argPos)
-          List(MessageFilter.None)
-      case Some("") =>
-        List(MessageFilter.Any)
-      case Some("verbose") | Some("v") =>
-        verbose = true
-        List(MessageFilter.Any)
-      case Some(s) =>
-        WConf.parseFilters(s).left.map(parseErrors =>
-          report.warning (s"Invalid message filter\n${parseErrors.mkString ("\n")}", argPos)
-            List(MessageFilter.None)
-        ).merge
-    val range = mdef.sourcePos
-    val sup = Suppression(tree.sourcePos, filters, range.start, range.end, verbose)
-    // invalid suppressions, don't report as unused
-    if filters == List(MessageFilter.None) then sup.markUsed()
-    ctx.run.nn.suppressions.addSuppression(sup)
+    val argPos = annot.argument(0).getOrElse(tree).sourcePos
+    val conf = annot.argumentConstantString(0).getOrElse:
+      annot.argument(0) match
+      case Some(t: Select) if t.name.is(DefaultGetterName) =>
+        "" // default argument used for `@nowarn` and `@nowarn()`
+      case _ =>
+        report.warning(s"filter needs to be a compile-time constant string", argPos)
+        "none" // not a -Wconf filter, mapped to MessageFilter.None by registerNowarn
+    ctx.run.nn.suppressions.registerNowarn(tree.sourcePos, mdef.span)(conf, argPos)
 
   def typedValDef(vdef: untpd.ValDef, sym: Symbol)(using Context): Tree = ctx.profiler.onTypedDef(sym) {
     val ValDef(name, tpt, _) = vdef

tests/warn/i22672/lib_1.scala

@@ -0,0 +1,15 @@
+
+package p
+
+import annotation.*
+
+@deprecated("old api", since="1.0")
+def g = 42
+
+//@deprecated("new api", since="1.0")
+@nowarn("cat=deprecation")
+inline def f =
+  g
+
+transparent inline def body =
+  g: @nowarn

tests/warn/i22672/usage_2.scala

@@ -0,0 +1,13 @@
+
+//> using options -deprecation
+
+package q
+
+def test = p.f // inline f is nowarn
+
+def bodily = p.body // transparent inline with annotated body
+
+@deprecated("do I even know how it works", since="0.1")
+def huh = "hello"
+
+def failing = huh // warn