This is a list of behavior `unsafe` blocks/functions *must prevent*. These issues cannot be caused
by safe code, if all interfaces using `unsafe` code internally are correct.

---

This reads a bit passive in my opinion. These two sentences should be reworded to make the warning about unsafeness and the rules to follow more clear:

---

This is a list of behavior that must __never__ occur in a rust program. You can cause them with `unsafe` blocks/functions, so while writing those __you have to take care to prevent them__. All safe rust code is build on the _trust_ that all interfaces using `unsafe` code internally are correct, and only if you uphold that trust do you get the _guarantee_ that safe code will never cause those issues.