Comment by SkiFire13

This is not just expressing intent. The documentation clearly states that it's UB to violate them, so you need to be extra careful when using them.