The main intent of this change is to make it explicit that self.p points to dangled location in the unallocated situation (i.e., it’s not valid address but well-aligned). See this section for details.

Nice! That section wasn’t there when I first wrote this project. I just applied your change, and republished a version with the fix on crates.io.