{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"debug!(\"Fatal"}]}
                debug!("Fatal error occurred and was reported during matching");
            ErrorReported(guarantee) => {
                // An error has been reported already, we cannot retry as that would cause duplicate errors.