Advice needed: Fixing intrinsics signatures for those that unduely take aligned vectors ?

[Guillaume Piolat]

On Friday, 1 January 2021 at 21:11:09 UTC, Ola Fosheim Grøstad 
wrote:
> On Friday, 1 January 2021 at 21:07:10 UTC, Steven Schveighoffer 
> wrote:
>> Yes, something that terminates the program immediately is 
>> still safe in D's eyes. @safe is not looking to fix all bugs, 
>> just memory safety problems.
>
> But shouldn't reading out of bounds be safe too, or?

I guess the reasoning is that that doesn't necessarily lead to a 
program shutdown, for example your allocator may return more 
bytes. Hence, @safe must have bounds checking.