From what I read from the PR comments, the case is that the unsafe blocks behave in a way that allows for UB.

This is expected, because unsafe rust can leave your program in an unhealthy state, since the language doesn't doesn't hold your hand anymore.