fix test by swapping definition order

This commit is contained in:
Folkert 2022-04-24 19:47:55 +02:00
parent 054907a4cb
commit 01dfda29b0
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -5297,11 +5297,12 @@ mod solve_expr {
#[test] #[test]
fn issue_2458() { fn issue_2458() {
// TODO: the order of the alias definitions matters
infer_eq_without_problem( infer_eq_without_problem(
indoc!( indoc!(
r#" r#"
Foo a : [ Blah (Result (Bar a) { val: a }) ]
Bar a : Foo a Bar a : Foo a
Foo a : [ Blah (Result (Bar a) { val: a }) ]
v : Bar U8 v : Bar U8
v = Blah (Ok (Blah (Err { val: 1 }))) v = Blah (Ok (Blah (Err { val: 1 })))