The alignment assumption on an object X
expressed by a call to assume_aligned
may result in generation of more efficient code.
It is up to the program to ensure that the assumption actually holds.
The call does not cause the compiler to verify or enforce this.
An implementation might only make the assumption
for those operations on X
that access X
through the pointer returned by assume_aligned.
— end note