We no longer duplicate an end of input error
@@ -1296,7 +1296,7 @@ mod test {
("let", 3, "let $error: unspecified = Error"),
("foo = one two three", 1, "foo = one"),
("constrain", 2, "Error"), // We don't recover 'constrain Error' since constrain needs a binary operator
- ("constrain x ==", 2, "constrain (x == Error)"), // This gives a duplicate 'end of input' error currently
+ ("constrain x ==", 1, "constrain (x == Error)"),
];
let show_errors = |v| vecmap(v, ToString::to_string).join("\n");
