relaxed memory model function attribute

[sternwaytrysail]

On Wednesday, 31 July 2024 at 10:16:57 UTC, kinke wrote:
> 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 https://planet-clicker.com).

So do you have any other solutions to the problems people are 
facing?