{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//!"}]}
//! For the most part, we do not destructure things external to the
//!
//! MIR, e.g., types, spans, etc, but simply visit them and stop.