Trait rustc_borrowck::consumers::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§
sourcefn ignore_borrow(
&self,
tcx: TyCtxt<'tcx>,
body: &Body<'tcx>,
locals_state_at_exit: &LocalsStateAtExit,
) -> bool
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>
impl<'tcx> PlaceExt<'tcx> for Place<'tcx>
source§fn ignore_borrow(
&self,
tcx: TyCtxt<'tcx>,
body: &Body<'tcx>,
locals_state_at_exit: &LocalsStateAtExit,
) -> bool
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.