@trusted attribute should be replaced with @trusted blocks

Ola Fosheim Grøstad ola.fosheim.grostad at gmail.com
Thu Jan 16 16:06:30 UTC 2020

On Thursday, 16 January 2020 at 15:46:01 UTC, Ola Fosheim Grøstad 
> Then leave on any existing mechanical checks and keep adding @@ 
> until it passes.

Note: for this to work in the general case (with more advanced 
verification) you most likely need to add an assume construct to 
tell the compiler what invariants have been upheld by the 
escaped/unknown code that was called.

More information about the Digitalmars-d mailing list