You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Many of the type operators should have the associative property.
As an example the sum type: string | i32 is the same as i32 | string and yet the current implementation does not view it as such.
I suppose same goes for product types:
string, i32, bool should be equal or at least convertible (with a warning since memory layout changes?) to any other permutation like: i32, bool, string.
The text was updated successfully, but these errors were encountered:
Many of the type operators should have the associative property.
As an example the sum type:
string | i32
is the same asi32 | string
and yet the current implementation does not view it as such.I suppose same goes for product types:
string, i32, bool
should be equal or at least convertible (with a warning since memory layout changes?) to any other permutation like:i32, bool, string
.The text was updated successfully, but these errors were encountered: