Open
Description
Consider
def exists(@deprecatedName("f", "2.13.3") p: A => Boolean): Boolean
in http://dotty.epfl.ch/api/scala/collection/ArrayOps.html#exists-fffff66f.
For 99.99% of the users, the fact that p
used to be f
is irrelevant, yet it takes up almost 50% of the visible space. It could be completely suppressed, or represented as a ... that, when clicked reveals the full content, or revealed when one mouses over the suitably higlighted p
. See also #13116