pub fn borrow_from_local_reference(&mut self, idx: LocalIndex, new_nonce: Nonce) {
        checked_verify!(self.locals[&idx].is_reference());
        if let AbstractValue::Reference(borrowee) = &self.locals[&idx] {
            if let Some(info) = self.borrows.remove(borrowee) {
                self.borrows.insert(new_nonce, info);
            }
            self.borrows.entry(borrowee.clone()).or_insert({
                let mut nonce_set = BTreeSet::new();
                nonce_set.insert(new_nonce);
                BorrowInfo::BorrowedBy(nonce_set)
            });
            self.partition.add_equality(new_nonce, borrowee.clone());
        }
    }
/// update self to reflect a borrow of a reference local@idx by new_nonce
update self to reflect a borrow of a reference local@idx by new_nonce
update self to reflect a borrow of a reference local@idx by new_nonce
pub fn borrow_from_local_reference(&mut self, idx: LocalIndex, new_nonce: Nonce) {
        checked_verify!(self.locals[&idx].is_reference());
        if let AbstractValue::Reference(borrowee) = &self.locals[&idx] {
            if let Some(info) = self.borrows.remove(borrowee) {
                self.borrows.insert(new_nonce, info);
            }
            self.borrows.entry(borrowee.clone()).or_insert({
                let mut nonce_set = BTreeSet::new();
                nonce_set.insert(new_nonce);
                BorrowInfo::BorrowedBy(nonce_set)
            });
            self.partition.add_equality(new_nonce, borrowee.clone());
        }
    }
pub fn borrow_from_local_reference ( & mut self , idx : LocalIndex , new_nonce : Nonce ) { checked_verify ! ( self locals [ idx ] is_reference ( ) ) ; if let AbstractValue :: Reference ( borrowee ) = & self . locals [ & idx ] { if let Some ( info ) = self . borrows . remove ( borrowee ) { self . borrows . insert ( new_nonce , info ) ; } self . borrows . entry ( borrowee . clone ( ) ) . or_insert ( { let mut nonce_set = BTreeSet :: new ( ) ; nonce_set . insert ( new_nonce ) ; BorrowInfo :: BorrowedBy ( nonce_set ) } ) ; self . partition . add_equality ( new_nonce , borrowee . clone ( ) ) ; } }
update self to reflect a borrow of a reference local@idx by new_nonce
update self to reflect a borrow of a reference local@idx by new_nonce
&mut self
idx
LocalIndex
new_nonce
Nonce