Trait rustc_mir::borrow_check::place_ext::PlaceExt

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

Extension methods for the Place type.

Required methods

pub(crate) 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.

Loading content...

Implementations on Foreign Types

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

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

Loading content...

Implementors

Loading content...