[Xylakant]

That is not Rusts guarantee. The guarantee is that safe rust cannot in itself introduce UB - UB can only ever be introduced in unsafe blocks, but it can then materialize in safe code.

[stavros]

Ah OK, that makes sense, thanks.