Update test

This commit is contained in:
Ayaz Hafiz 2022-07-24 16:12:47 -04:00
parent 0d13dcb1af
commit c882c76685
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -1493,14 +1493,13 @@ mod solve_expr {
infer_eq(
indoc!(
r#"
# technically, an empty record can be destructured
{} = {}
thunk = \{} -> 42
# technically, an empty record can be destructured
thunk = \{} -> 42
xEmpty = if thunk {} == 42 then { x: {} } else { x: {} }
xEmpty = if thunk {} == 42 then { x: {} } else { x: {} }
when xEmpty is
{ x: {} } -> {}
when xEmpty is
{ x: {} } -> {}
"#
),
"{}",