Annotate StandardPlugin.init with @deprecatedOverriding

WojciechMazur · May 3, 2024 · 87a1b29 · 87a1b29
1 parent ed811f0
commit 87a1b29
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/plugins/Plugin.scala b/compiler/src/dotty/tools/dotc/plugins/Plugin.scala
@@ -51,7 +51,8 @@ trait StandardPlugin extends Plugin {
    *  @param options commandline options to the plugin.
    *  @return a list of phases to be added to the phase plan
    */
-  @deprecated("`init` does not allow to access `Context`, use `initialize` instead.", since = "3.5.0")
+  @deprecatedOverriding("Method 'init' does not allow to access 'Context', use 'initialize' instead.", since = "Scala 3.5.0")
+  @deprecated("Use 'initialize' instead.", since = "Scala 3.5.0")
   def init(options: List[String]): List[PluginPhase] = Nil
 
   /** Non-research plugins should override this method to return the phases