Trait rustc_borrowck::place_ext::PlaceExt

source ·
pub trait PlaceExt<'tcx> {
    // Required method
    fn ignore_borrow(
        &self,
        tcx: TyCtxt<'tcx>,
        body: &Body<'tcx>,
        locals_state_at_exit: &LocalsStateAtExit,
    ) -> bool;
}

Required Methods§

source

fn ignore_borrow( &self, tcx: TyCtxt<'tcx>, body: &Body<'tcx>, locals_state_at_exit: &LocalsStateAtExit, ) -> bool

Returns true if we can safely ignore borrows of this place. This is true whenever there is no action that the user can do to the place self that would invalidate the borrow. This is true for borrows of raw pointer dereferents as well as shared references.

Implementations on Foreign Types§

source§

impl<'tcx> PlaceExt<'tcx> for Place<'tcx>

source§

fn ignore_borrow( &self, tcx: TyCtxt<'tcx>, body: &Body<'tcx>, locals_state_at_exit: &LocalsStateAtExit, ) -> bool

Returns true if we can safely ignore borrows of this place. This is true whenever there is no action that the user can do to the place self that would invalidate the borrow. This is true for borrows of raw pointer dereferents as well as shared references.

Implementors§