You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For maximum impact of demo, we should support two-phased borrows. The general strategy here is to do this in borrow check. When we see a suitable &mut borrow (one tricky bit: deciding the set of &mut borrows for which to do this), we want to generate two loans, one of which is the "first phase" (reserved?) loan that acts as a shared borrow. This will be gen'd at the borrow site and killed at the first use of the temporary to which the borrow is assigned. The other loan will be gen'd at that first use site and killed as normal. This is a placeholder issue to ensure it is not forgotten, more description perhaps to come. =)
The text was updated successfully, but these errors were encountered:
For maximum impact of demo, we should support two-phased borrows. The general strategy here is to do this in borrow check. When we see a suitable
&mut
borrow (one tricky bit: deciding the set of&mut
borrows for which to do this), we want to generate two loans, one of which is the "first phase" (reserved?) loan that acts as a shared borrow. This will be gen'd at the borrow site and killed at the first use of the temporary to which the borrow is assigned. The other loan will be gen'd at that first use site and killed as normal. This is a placeholder issue to ensure it is not forgotten, more description perhaps to come. =)The text was updated successfully, but these errors were encountered: