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