{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
///   1. The return place must not be read prior to the `Return` terminator.
/// MIR that is eligible for the NRVO must fulfill two conditions:
///   2. A simple assignment of a whole local to the return place (e.g., `_0 = _1`) must be the