On Thursday, 25 November 2021 at 02:14:34 UTC, forkit wrote: > What we really need is a simpler compiler that we can trust > (through formal verfication and proofs). That is how one > implements @safe and @trusted ;-) > That is an ideal, not a reality.