Simplification of @trusted

[Ola Fosheim Grøstad]

On Friday, 18 June 2021 at 01:13:47 UTC, Bruce Carneal wrote:
> 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.

Maybe it is better to mark the whole class as @trusted, have all 
methods checked and mark the unsafe regions with the invariants 
they rely on.

Maybe automated proofs of @safe methods would be possible if 
invariants for a class were made explicit.


(I will be on a weak mobile link in the summer, not suitable for 
video, but Beerconf sounds like a great idea!)