struct MutVarsDelegate {
used_mutably: HirIdSet,
skip: bool,
}Fields§
§used_mutably: HirIdSet§skip: boolImplementations§
Source§impl MutVarsDelegate
impl MutVarsDelegate
fn update(&mut self, cat: &PlaceWithHirId<'_>)
Trait Implementations§
Source§impl<'tcx> Delegate<'tcx> for MutVarsDelegate
impl<'tcx> Delegate<'tcx> for MutVarsDelegate
Source§fn consume(&mut self, _: &PlaceWithHirId<'tcx>, _: HirId)
fn consume(&mut self, _: &PlaceWithHirId<'tcx>, _: HirId)
The value found at
place is moved, depending
on mode. Where diag_expr_id is the id used for diagnostics for place. Read moreSource§fn use_cloned(&mut self, _: &PlaceWithHirId<'tcx>, _: HirId)
fn use_cloned(&mut self, _: &PlaceWithHirId<'tcx>, _: HirId)
The value found at
place is used, depending
on mode. Where diag_expr_id is the id used for diagnostics for place. Read moreSource§fn borrow(&mut self, cmt: &PlaceWithHirId<'tcx>, _: HirId, bk: BorrowKind)
fn borrow(&mut self, cmt: &PlaceWithHirId<'tcx>, _: HirId, bk: BorrowKind)
The value found at
place is being borrowed with kind bk.
diag_expr_id is the id used for diagnostics (see consume for more details).Source§fn mutate(&mut self, cmt: &PlaceWithHirId<'tcx>, _: HirId)
fn mutate(&mut self, cmt: &PlaceWithHirId<'tcx>, _: HirId)
The path at
assignee_place is being assigned to.
diag_expr_id is the id used for diagnostics (see consume for more details).Source§fn fake_read(&mut self, _: &PlaceWithHirId<'tcx>, _: FakeReadCause, _: HirId)
fn fake_read(&mut self, _: &PlaceWithHirId<'tcx>, _: FakeReadCause, _: HirId)
The
place should be a fake read because of specified cause.Auto Trait Implementations§
impl Freeze for MutVarsDelegate
impl RefUnwindSafe for MutVarsDelegate
impl Send for MutVarsDelegate
impl Sync for MutVarsDelegate
impl Unpin for MutVarsDelegate
impl UnwindSafe for MutVarsDelegate
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: 64 bytes