{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
            // - `captured_by_move_projs` is not empty. Therefore we can call
            // Observations:
            //   `captured_by_move_projs.first().unwrap()` safely.