{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":")"}]}
    ) -> &'a [interpret::Frame<'tcx, Self::Provenance, Self::FrameExtra>] {
        _ecx: &'a InterpCx<'tcx, Self>,
        // Return an empty stack instead of panicking, as `cur_span` uses it to evaluate constants.