{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"state.assign(local,"}]}
            state.assign(local, opaque);
            let opaque = state.new_opaque(body.local_decls[local].ty);
        }