add failing tests

This commit is contained in:
Sébastien Besnier 2020-11-21 14:59:10 +01:00
parent bfe219f307
commit d87b5bfd9f
2 changed files with 23 additions and 3 deletions

View file

@ -380,7 +380,7 @@ fn can_annotation_help(
} }
}, },
Record { fields, ext } => { Record { fields, ext, .. } => {
let field_types = can_assigned_fields( let field_types = can_assigned_fields(
env, env,
fields, fields,
@ -408,7 +408,7 @@ fn can_annotation_help(
Type::Record(field_types, Box::new(ext_type)) Type::Record(field_types, Box::new(ext_type))
} }
TagUnion { tags, ext } => { TagUnion { tags, ext, .. } => {
let tag_types = can_tags( let tag_types = can_tags(
env, env,
tags, tags,

View file

@ -781,6 +781,26 @@ mod test_fmt {
); );
} }
// // TODO This raises a parse error:
// // NotYetImplemented("TODO the : in this declaration seems outdented")
// #[test]
// fn comments_in_record_annotation() {
// expr_formats_to(
// indoc!(
// r#"
// f :
// {}
// f"#
// ),
// indoc!(
// r#"
// f : b {}
// f"#
// ),
// );
// }
#[test] #[test]
fn def_closure() { fn def_closure() {
expr_formats_same(indoc!( expr_formats_same(indoc!(
@ -2287,7 +2307,7 @@ mod test_fmt {
)); ));
} }
// This raises a parse error: // TODO This raises a parse error:
// NotYetImplemented("TODO the : in this declaration seems outdented") // NotYetImplemented("TODO the : in this declaration seems outdented")
// #[test] // #[test]
// fn multiline_tag_union_annotation() { // fn multiline_tag_union_annotation() {