syntax_data: {"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! The MIR is built from some typed high-level IR
context_after: //! (THIR). This section defines the THIR along with a trait for