Can someone tell me what the compiler thought I was trying to do?

[Mike Parker]

On Wednesday, 19 October 2022 at 01:34:54 UTC, mw wrote:
> On Wednesday, 19 October 2022 at 01:30:23 UTC, H. S. Teoh wrote:
>> On Wed, Oct 19, 2022 at 01:15:37AM +0000, Adam D Ruppe via
>>> 
>>> it only applies to types, not to functions.
>>
>> Wat... so what's the use of it then?  So it's not possible to 
>> mark the return value of an int function @mustUse without 
>> making, in theory, *all* ints @mustUse?
>>
>> I must confess I'm baffled as to the purpose of this strange 
>> design.
>>
>
> Same, can't believe it.
>
> Is there any (design) doc about this?

It's right there in the summary of the Final Review of the DIP 
that I linked above:

https://github.com/dlang/DIPs/blob/master/DIPs/accepted/DIP1038.md#final-review