DIP 1038--"@mustUse" (formerly "@noDiscard")--Accepted

[Paul Backus]

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.