remove unneeded test

This commit is contained in:
Folkert 2020-09-21 23:30:11 +02:00
parent 95177eee5a
commit ac8e3928e3

View file

@ -3847,31 +3847,4 @@ mod test_reporting {
), ),
) )
} }
#[test]
fn foobar() {
report_problem_as(
indoc!(
r#"
Num.addChecked 1 2
"#
),
indoc!(
r#"
REDUNDANT PATTERN
The 3rd pattern is redundant:
1 when Foo 1 2 3 is
2 Foo _ 1 _ -> 1
3 _ -> 2
4 _ -> 3
^
Any value of this shape will be handled by a previous pattern, so this
one should be removed.
"#
),
)
}
} }