{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
/// Different MIR dialects have different semantics. (The differences between dialects are small,
///
/// but they do exist.) The progression from one MIR dialect to the next is technically a lowering