{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, Option<(u64, P)>> {
        ecx: &InterpCx<'tcx, M>,
        let Some(idx) = self.range.next() else { return interp_ok(None) };