From 87a1b29ab4b2401c05a4ade80c3ec0163f081838 Mon Sep 17 00:00:00 2001 From: Wojciech Mazur Date: Fri, 3 May 2024 17:36:02 +0200 Subject: [PATCH] Annotate StandardPlugin.init with `@deprecatedOverriding` --- compiler/src/dotty/tools/dotc/plugins/Plugin.scala | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/compiler/src/dotty/tools/dotc/plugins/Plugin.scala b/compiler/src/dotty/tools/dotc/plugins/Plugin.scala index f33c6d474b54..fdb41fc56689 100644 --- 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