{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"//!"}]}
//! arm had a binding however:
//! despite the place we are inspecting being of type `Void`, there is a reachable arm. If the
//!