On Wednesday, 2 October 2019 at 10:42:48 UTC, Nicholas Wilson wrote: > On Wednesday, 2 October 2019 at 08:55:59 UTC, Kagamin wrote: >> Access to shared memory should be disallowed only for safe >> code, but not for system code. > > That definition doesn't play nice with safety inference i.e. > templates. I don't think so. How?