Differentiate `inner` pointers representing `None` and `Some(ZST)`