Correct tag ID matching of nullable wrapped tags

This commit is contained in:
Ayaz Hafiz 2023-05-24 12:42:15 -05:00
parent bbcd9c3a52
commit 5abf121efe
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 38 additions and 2 deletions

View file

@ -2189,3 +2189,34 @@ fn issue_5162_recast_nested_nullable_unwrapped_layout() {
bool
);
}
#[test]
#[cfg(any(feature = "gen-llvm"))]
fn nullable_wrapped_eq_issue_5434() {
assert_evals_to!(
indoc!(
r###"
app "test" provides [main] to "./platform"
Value : [
A,
B I64,
C,
D (List [T Str Value]),
]
main =
x : Value
x = B 32
y : Value
y = B 0
if x == y then
"OK"
else
"FAIL"
"###
),
RocStr::from("FAIL"),
RocStr
);
}