diff --git a/crates/ailang-surface/src/parse.rs b/crates/ailang-surface/src/parse.rs index 86fff5d..2e9af37 100644 --- a/crates/ailang-surface/src/parse.rs +++ b/crates/ailang-surface/src/parse.rs @@ -2336,10 +2336,6 @@ mod tests { assert_eq!(i.doc.as_deref(), Some("instance for ints")); } - /// Iter 22-tidy.5: `parse_fn` rejects a duplicate `(doc ...)` - /// clause with a `fn-def` production diagnostic naming the - /// offending fn. Pre-22-tidy.5, the second clause silently - /// overwrote the first; this test pins the strict shape. #[test] fn parse_fn_rejects_duplicate_doc_clause() { let err = parse( @@ -2361,9 +2357,6 @@ mod tests { ); } - /// Iter 22-tidy.5: `parse_fn` rejects a duplicate `(type ...)` - /// clause with a `fn-def` production diagnostic naming the - /// offending fn. #[test] fn parse_fn_rejects_duplicate_type_clause() { let err = parse( @@ -2384,9 +2377,6 @@ mod tests { ); } - /// Iter 22-tidy.5: `parse_fn` rejects a duplicate `(params ...)` - /// clause with a `fn-def` production diagnostic naming the - /// offending fn. #[test] fn parse_fn_rejects_duplicate_params_clause() { let err = parse( @@ -2407,9 +2397,6 @@ mod tests { ); } - /// Iter 22-tidy.5: `parse_fn` rejects a duplicate `(body ...)` - /// clause with a `fn-def` production diagnostic naming the - /// offending fn. #[test] fn parse_fn_rejects_duplicate_body_clause() { let err = parse(