We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
@deprecatedOverriding
1 parent 75508bb commit 0106c56Copy full SHA for 0106c56
compiler/src/dotty/tools/dotc/plugins/Plugin.scala
@@ -51,7 +51,8 @@ trait StandardPlugin extends Plugin {
51
* @param options commandline options to the plugin.
52
* @return a list of phases to be added to the phase plan
53
*/
54
- @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")
55
+ @deprecated("Use 'initialize' instead.", since = "Scala 3.5.0")
56
def init(options: List[String]): List[PluginPhase] = Nil
57
58
/** Non-research plugins should override this method to return the phases
0 commit comments