{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
    /// **Needs clarification**: The exact semantics of this. Current backends rely on `move`
    ///
    /// operands not aliasing the return place. It is unclear how this is justified in MIR, see