{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//!"}]}
//! despite the place we are inspecting being of type `Void`, there is a reachable arm. If the
//! does not look at the contents of `*ptr`, so this is ok and the arm is taken. In other words,
//! arm had a binding however: