One subtle amendment may need to be that `&mut` can safely alias `*mut`, although I'm not sure how much `*mut` falls into the category of "usable path to the object".