@trusted attribute should be replaced with @trusted blocks

[Ola Fosheim Grøstad]

On Thursday, 16 January 2020 at 15:46:01 UTC, Ola Fosheim Grøstad 
wrote:
> 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.