Update solve test

This commit is contained in:
Ayaz Hafiz 2022-08-09 11:40:33 -07:00
parent af19df1a0a
commit a1445c25bd
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -4053,8 +4053,7 @@ mod solve_expr {
{ x, y }
"#
),
// TODO: when structural types unify with alias, they should take the alias name
"{ x : I64, y ? [False, True] }* -> { x : I64, y : Bool }",
"{ x : I64, y ? Bool }* -> { x : I64, y : Bool }",
);
}