Modified infer

2026-10-23 12:07:23 +00:00
parent a80bf6f19a
commit cf455b88a8
8 changed files with 186 additions and 180 deletions
@@ -67,7 +67,7 @@
 //! The owner's code does not change for this: `get_loc k` and `put_loc k` always use the
 //! current location of `k`. This module keeps `close_loc` as it is. Then:
 //! - infer can ignore it. The old and new locations of a binding have the same address
-//!   (`Addr::Captured`), so their types are joined
+//!   (`Addr::Shared`), so their types are joined
 //! - `escape.rs` must give each iteration a new location if a closure can see the old one
 //!   after the `close_loc`
 //!