2 ms·

> The interoperable ABI does not aim to support the full richness of Rust's type system, or that of other languages. It aims to support common cases more safely

> The interoperable ABI does not aim to support the full richness of Rust's type system, or that of other languages. It aims to support common cases more safely and simply. So not much (or any) more than it currently is: it's not a stable Rust ABI, it's instead a more expressive ABI compared to C.

kibwen 4y ago
That said, even though it won't be "a stable Rust ABI", it will (if the experiment succeeds) be a stable ABI that is more Rust-like than the current C ABI.