{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
    /// MIR is well-formed if the input and output types have different sizes,
    ///
    /// but running a transmute between differently-sized types is UB.