pub struct PossibleBorrowerMap<'b, 'tcx> {
pub map: FxHashMap<Local, BitSet<Local>>,
maybe_live: ResultsCursor<'b, 'tcx, MaybeStorageLive<'tcx>>,
pub bitset: (BitSet<Local>, BitSet<Local>),
}Expand description
Result of PossibleBorrowerVisitor.
Fields§
§map: FxHashMap<Local, BitSet<Local>>Mapping Local -> its possible borrowers
maybe_live: ResultsCursor<'b, 'tcx, MaybeStorageLive<'tcx>>§bitset: (BitSet<Local>, BitSet<Local>)Implementations§
Source§impl<'b, 'tcx> PossibleBorrowerMap<'b, 'tcx>
impl<'b, 'tcx> PossibleBorrowerMap<'b, 'tcx>
pub fn new(cx: &LateContext<'tcx>, mir: &'b Body<'tcx>) -> Self
Sourcepub fn only_borrowers(
&mut self,
borrowers: &[Local],
borrowed: Local,
at: Location,
) -> bool
pub fn only_borrowers( &mut self, borrowers: &[Local], borrowed: Local, at: Location, ) -> bool
Returns true if the set of borrowers of borrowed living at at matches with borrowers.
Sourcepub fn bounded_borrowers(
&mut self,
below: &[Local],
above: &[Local],
borrowed: Local,
at: Location,
) -> bool
pub fn bounded_borrowers( &mut self, below: &[Local], above: &[Local], borrowed: Local, at: Location, ) -> bool
Returns true if the set of borrowers of borrowed living at at includes at least below
but no more than above.
pub fn local_is_alive_at(&mut self, local: Local, at: Location) -> bool
Auto Trait Implementations§
impl<'b, 'tcx> Freeze for PossibleBorrowerMap<'b, 'tcx>
impl<'b, 'tcx> !RefUnwindSafe for PossibleBorrowerMap<'b, 'tcx>
impl<'b, 'tcx> Send for PossibleBorrowerMap<'b, 'tcx>
impl<'b, 'tcx> Sync for PossibleBorrowerMap<'b, 'tcx>
impl<'b, 'tcx> Unpin for PossibleBorrowerMap<'b, 'tcx>
impl<'b, 'tcx> !UnwindSafe for PossibleBorrowerMap<'b, 'tcx>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreLayout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 232 bytes