{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"///"}]}
    /// [#71117].
    /// operands not aliasing the return place. It is unclear how this is justified in MIR, see
    ///