Simplification of @trusted

[Bruce Carneal]

On Thursday, 17 June 2021 at 21:19:32 UTC, Ola Fosheim Grøstad 
wrote:
> On Wednesday, 16 June 2021 at 23:52:02 UTC, Bruce Carneal wrote:
>> If I understand your meaning here, I disagree.  I think 
>> @safe/@trusted is very useful, essential even, in code bases 
>> that are changing.  It is a demarcation tool that lets us 
>> carve out ever larger safe areas.
>
> Ok, I think I understand better what you meant now.
>
> ...

> So basically one wants @trusted code to be checked by the 
> compiler just like @safe, and then instead explicitly turn off 
> the checking in a more narrow unsafe region within the @trusted 
> method.

Yep.  I think there's a clean opt-in way to do it that should 
wear well going forward.  If you're at beerconf we can discuss it 
and your and other alternatives.

> ..