Is that true? I would've thought that an `*mut` can alias a `&mut`, but the programmer must ensure that they only use one of those pointers (i.e. manually verify the "only one usable path rule").