relaxed memory model function attribute

[kinke]

On Tuesday, 30 July 2024 at 16:50:05 UTC, Bruce Carneal wrote:
> Would an @restrict function attribute that applied to all ptr 
> and slice arguments be hard to implement?

I don't think it'd be a good idea in general, and it wouldn't 
simplify the implementation of `@restrict` for slices at all, 
which would most likely need an ABI change 
(https://forum.dlang.org/post/vgfxycegiagawfxaenwg@forum.dlang.org).