syntax_data: {"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! of MIR building, and only after this pass we think of the program has having the
context_before: //! introducing these calls *adds* UB -- so, conceptually, this pass is actually part
context_after: //! normal MIR semantics.