Should we deprecate `scala.annotation.elidable`?

[hamzaremmal]

The @elidable annotation is not supported in Scala 3.
When #22043 is ready. Should we move to deprecate that annotation ?

[som-snytt]

Its main use case is explicitly superseded by inline. However, is there some other use case? Does anyone use elidable on Scala 2? You'd expect more tickets if it were used in the wild.

(Edit: I suspect there are no such other use cases)
(Also Edit: it sounds like an annotation for elidable effects such as static module initialization.)

[hamzaremmal]

Core's decision on September 10th, 2025 was to proceed with the deprecation of this annotation.