Open
Description
We should check in more depth that the ResourceEntry abstraction for treating component-model borrows like Rust borrows is sound. We should look for a more detailed formal argument relating the formalism for component-model borrows to some Rust model e.g. Stacked Borrows.