I think the C ABIs for any __int256 types (and __int128 too) should be identical to the corresponding _BitInt types, since Rust intentionally only has one fixed-width integer type for each signedness-width pair, so Rust would only have a single u256 type and a singlei256 type, so for ABI compatibility with C I think __int256 and _BitInt(256) need to have identical ABIs.
1 Like