DIP: @mustuse as function return value annotation

[user1234]

On Monday, 12 August 2024 at 08:35:19 UTC, Richard (Rikki) Andrew 
Cattermole wrote:
> This has been discussed a lot of times in the past including 
> for the benefit to performance.
>
> Also no, we cannot use a daemon process for this. The multiple 
> compiler invocations may not be on the same machine, or started 
> by the same person.
>
> Unfortunately the only option is to either disallow adding it 
> to classes,

This the obvious solution. So many problems are caused by OOP. 
Conctract inheritance still not fixed, const or safety attributes 
are not either, etc. At some point D has to recognize that. OOP 
has something that **just cannot work with static checks**.