unsafe で UB になる場合を知りたい場合にはどこに仕様が書いてあるのかがそもそもわからん。