Commit Graph

3 Commits

Author SHA1 Message Date
Joe Groff 8d41f21aea IRGen/Runtime: Fix discrepancies in Borrow type layout.
On the compiler side, `Borrow` ought to use extra inhabitants from its value
representation, or at least the null pointer for the pointer representation.

On the runtime side, the choice of representation needs to take size into
account.
2026-02-09 14:38:08 -08:00
Alejandro Alonso 02d0bdfbcd Implement extra inhabitant counts for borrows 2026-01-23 08:02:10 -08:00
Alejandro Alonso 632d6f4257 WIP: Dependent borrow layout 2026-01-23 08:02:10 -08:00