Add a @nonHotParameters annotation

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

@@ -942,6 +942,7 @@ class Definitions {
   @tu lazy val FunctionalInterfaceAnnot: ClassSymbol = requiredClass("java.lang.FunctionalInterface")
   @tu lazy val TargetNameAnnot: ClassSymbol = requiredClass("scala.annotation.targetName")
   @tu lazy val VarargsAnnot: ClassSymbol = requiredClass("scala.annotation.varargs")
+  @tu lazy val NonHotParamsAnnot: ClassSymbol = requiredClass("scala.annotation.nonHotParameters")
 
   @tu lazy val JavaRepeatableAnnot: ClassSymbol = requiredClass("java.lang.annotation.Repeatable")
 

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

@@ -61,6 +61,8 @@ object SymUtils:
 
     def isVolatile(using Context): Boolean = self.hasAnnotation(defn.VolatileAnnot)
 
+    def isNonHotParams(using Context): Boolean = self.hasAnnotation(defn.NonHotParamsAnnot)
+
     def isAnyOverride(using Context): Boolean = self.is(Override) || self.is(AbsOverride)
       // careful: AbsOverride is a term only flag. combining with Override would catch only terms.
 

library/src/scala/annotation/nonHotParams.scala

@@ -0,0 +1,7 @@
+package scala.annotation
+
+/** An annotation that marks a method as taking non-hot parameters.
+ *  The initialization checker will not require all parameters to be hot at call-site,
+ *  opting to run a more expensive analysis.
+ */
+final class nonHotParameters extends StaticAnnotation