On Monday, 7 February 2022 at 05:12:39 UTC, forkit wrote:
no amount of replies will change anything ;-)
.. people will still 'think' @nodiscard, but have to 'remember'
it's actually @mustuse, but oops.. no... it's @mustUse..
I do not expect anything from my feedback ;-) .. I'm just
saying..humans are humans..
I've seen similar sentiments expressed many times before, in
other contexts. Every time, there are some who insist that the
new name will never feel natural to them, and they will never let
go of the old name. And every time, history proves them wrong.
The fact is, human brains are quite plastic and adaptable. You'll
get used to @mustUse, just like I did, and so will everyone else.
