Deprecate use of @deprecated

lrytz · lrytz · commit fac9625c9167 · 2023-12-19T13:54:42.000+01:00
diff --git a/library/src/scala/deprecated.scala b/library/src/scala/deprecated.scala
@@ -40,6 +40,9 @@ import scala.annotation.meta._
  *  // warning: there were three deprecation warnings in total; re-run with -deprecation for details
  *  }}}
  *
+ *  The Scala compiler also warns about using definitions annotated with [[java.lang.Deprecated]]. However it is
+ *  recommended to use the Scala `@deprecated` annotation in Scala code because it allows providing a deprecation message.
+ *
  *  '''`@deprecated` in the Scala language and its standard library'''<br/>
  *
  *  A deprecated element of the Scala language or a definition in the Scala standard library will

Original file line number	Diff line number	Diff line change
`@@ -40,6 +40,9 @@ import scala.annotation.meta._`
`40`	`40`	`* // warning: there were three deprecation warnings in total; re-run with -deprecation for details`
`41`	`41`	`* }}}`
`42`	`42`	`*`
	`43`	`+ * The Scala compiler also warns about using definitions annotated with [[java.lang.Deprecated]]. However it is`
	`44`	+ * recommended to use the Scala `@deprecated` annotation in Scala code because it allows providing a deprecation message.
	`45`	`+ *`
`43`	`46`	* '''`@deprecated` in the Scala language and its standard library'''<br/>
`44`	`47`	`*`
`45`	`48`	`* A deprecated element of the Scala language or a definition in the Scala standard library will`