@rkruppe can we answer the question about how big can Rust values be here ?
the PR documents the bounds that
usize sets because of its use on APIs (
ptr.add, etc.) and then it documents the bounds of the current implementation
but guaranteeing the size of Rust values feels RFC worthy
for an MVP _implementation-defined_ isn't that bad IMO
The "bounds set because of APIs" angle doesn't really get to the core of the matter because any one of those just means you can't use that API to work with larger data. But the limitations are more fundamental because they also affect e.g. our codegen for primitive operations such as field or array element projection
It's useful to document those for sure, but it seems we can't really say anything about the more fundamental limitation without an RFC. Even saying it's impl-defined just punts the issue to the part of the docs that describe rustc's choice of impl-defined parameters, and we can't write those without an RFC either.
Well, I suppose almost everything in the UCG is provisional without an RFC ratifying it but still
One thing we discussed in the next meeting is identifying things that would be RFC worthy, but not belong in the UCG RFC. I think this would be one of those. I'll just change this from "implementation-defined" to "this is how it currently works" but this has not been RFC'ed/
done, I'll recycle the issue to track a separate RFC for this - we wanted to start triaging these things next week anyways