Regression test for #2165

Closes #2165
This commit is contained in:
Ayaz Hafiz 2022-08-10 16:01:45 -07:00
parent 1f45d13c67
commit c423e3f5ce
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -1913,3 +1913,23 @@ fn issue_3653_recursion_pointer_in_naked_opaque_localized() {
RocStr
)
}
#[test]
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))]
fn issue_2165_recursive_tag_destructure() {
assert_evals_to!(
indoc!(
r#"
SomeTag : [ Ctor { rec : List SomeTag } ]
x : SomeTag
x = Ctor { rec: [] }
when x is
Ctor { rec } -> Num.toStr (List.len rec)
"#
),
RocStr::from("0"),
RocStr
)
}