{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
/// from one IR to another. In other words, a single well-formed [`Body`](crate::mir::Body) might
/// but they do exist.) The progression from one MIR dialect to the next is technically a lowering
/// have different semantic meaning and different behavior at runtime in the different dialects.