Simplification of @trusted

Bruce Carneal bcarneal at gmail.com
Fri Jun 18 01:13:47 UTC 2021


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.

> ..



More information about the Digitalmars-d mailing list