{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":")"}]}
    ) -> &'a mut Vec<Frame<'tcx, Self::Provenance, Self::FrameExtra>> {
        ecx: &'a mut InterpCx<'tcx, Self>,
        &mut ecx.machine.stack