Open
Description
Spurious deprecation warning when the type of a bound value in a pattern is deprecated.
Scala 2.13.14:
scala> @deprecated class K
class K
scala> def k = Option(new K)
^
warning: class K is deprecated
def k: Option[K]
scala> def t = k match { case Some(the_k) => 0; case _ => 1 }
^
warning: class K is deprecated
def t: Intthe case Some(the_k) tree is transformed to case (value: K): Some[K]((the_k @ _)) => 0 where the (value: K): Some[K] tree is a TypeTree with a MethodType. The reference to K in there is reported by RefChecks.