1 2 3 4 5 6 7
--- source: crates/elenchus-parser/tests/errors.rs expression: "err(r#\"\n FACT a b\n CHECK a\n ??? leftover\n \"#)" --- Syntax Error at line 4, col 1: expected a statement (IMPORT/FACT/NOT/ASSUME/PREMISE/RULE/CHECK) | ??? leftover | ^--- here