On 25/08/2024 5:10 AM, Manu wrote:
> I might have been inclined to back you on that one... that said though,
> the real solution to that category of problem is to accept that we need
> annotated scopes.
> We need to have:
>
> @trusted {
>    some_code;
> }

I've been considering something along these lines.

Specifically, ``@trusted`` does not mean the entire body shouldn't be
verified. It just means that you are going to do something naughty that
needs looking at.

So you need annotated scopes inside of it, to do the naughty thing.