The issues in O'Caml seem to be due to the fact that in O'Caml function
parameter and return types are inferred, and thus "accidentally oversized" enum
types can propagate through them.
In Rust, they must specified by the user, so those oversized enum types will
cause an error as they are passed as a parameter or return value with an
user-specified type that is "smaller" than the inferred type.
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
