{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"//"}]}
            // exit (i.e. on entry to the successor location).
            // constraints on the RHS are on entry, and outlives constraints to/from the LHS are on
            let lhs_ty = body.local_decls[lhs.local].ty;