Struct BorrowSet

Source

pub struct BorrowSet<'tcx> {
    pub(crate) location_map: FxIndexMap<Location, BorrowData<'tcx>>,
    pub(crate) activation_map: FxIndexMap<Location, Vec<BorrowIndex>>,
    pub(crate) local_map: FxIndexMap<Local, FxIndexSet<BorrowIndex>>,
    pub(crate) locals_state_at_exit: LocalsStateAtExit,
}

Fields§

§location_map: FxIndexMap<Location, BorrowData<'tcx>>

The fundamental map relating bitvector indexes to the borrows in the MIR. Each borrow is also uniquely identified in the MIR by the Location of the assignment statement in which it appears on the right hand side. Thus the location is the map key, and its position in the map corresponds to BorrowIndex.

§activation_map: FxIndexMap<Location, Vec<BorrowIndex>>

Locations which activate borrows. NOTE: a given location may activate more than one borrow in the future when more general two-phase borrow support is introduced, but for now we only need to store one borrow index.

§local_map: FxIndexMap<Local, FxIndexSet<BorrowIndex>>

Map from local to all the borrows on that local.

§locals_state_at_exit: LocalsStateAtExit

Struct BorrowSetCopy item path

Fields§

Implementations§

impl<'tcx> BorrowSet<'tcx>

pub fn location_map(&self) -> &FxIndexMap<Location, BorrowData<'tcx>>

pub fn activation_map(&self) -> &FxIndexMap<Location, Vec<BorrowIndex>>

pub fn local_map(&self) -> &FxIndexMap<Local, FxIndexSet<BorrowIndex>>

pub fn locals_state_at_exit(&self) -> &LocalsStateAtExit

impl<'tcx> BorrowSet<'tcx>

pub fn build( tcx: TyCtxt<'tcx>, body: &Body<'tcx>, locals_are_invalidated_at_exit: bool, move_data: &MoveData<'tcx>, ) -> Self

pub(crate) fn activations_at_location( &self, location: Location, ) -> &[BorrowIndex]

pub(crate) fn len(&self) -> usize

pub(crate) fn indices(&self) -> impl Iterator<Item = BorrowIndex>

pub(crate) fn iter_enumerated( &self, ) -> impl Iterator<Item = (BorrowIndex, &BorrowData<'tcx>)>

pub(crate) fn get_index_of(&self, location: &Location) -> Option<BorrowIndex>

Trait Implementations§

impl<'tcx> Index<BorrowIndex> for BorrowSet<'tcx>

type Output = BorrowData<'tcx>

fn index(&self, index: BorrowIndex) -> &BorrowData<'tcx>

Auto Trait Implementations§

impl<'tcx> DynSend for BorrowSet<'tcx>

impl<'tcx> DynSync for BorrowSet<'tcx>

impl<'tcx> Freeze for BorrowSet<'tcx>

impl<'tcx> !RefUnwindSafe for BorrowSet<'tcx>

impl<'tcx> Send for BorrowSet<'tcx>

impl<'tcx> Sync for BorrowSet<'tcx>

impl<'tcx> Unpin for BorrowSet<'tcx>

impl<'tcx> !UnwindSafe for BorrowSet<'tcx>

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

type Output = R

impl<T> Filterable for T

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T> Pointable for T

const ALIGN: usize = _

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<I, T, U> Upcast<I, U> for Twhere U: UpcastFrom<I, T>,

fn upcast(self, interner: I) -> U

impl<I, T> UpcastFrom<I, T> for T

fn upcast_from(from: T, _tcx: I) -> T

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,

Struct BorrowSet

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

impl<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

impl<'a, T> Captures<'a> for T
where T: ?Sized,

impl<T> ErasedDestructor for T
where T: 'static,

impl<T> MaybeSendSync for T
where T: Send + Sync,