Enum rustc_mir_build::build::expr::as_place::PlaceBase

source ·

pub(crate) enum PlaceBase {
    Local(Local),
    Upvar {
        var_hir_id: LocalVarId,
        closure_def_id: LocalDefId,
    },
}

Expand description

The “outermost” place that holds this value.

Variants§

§

Local(Local)

Denotes the start of a Place.

§

Upvar

Fields

§var_hir_id: LocalVarId

HirId of the upvar

§closure_def_id: LocalDefId

DefId of the closure

When building place for an expression within a closure, the place might start off a captured path. When capture_disjoint_fields is enabled, we might not know the capture index (within the desugared closure) of the captured path until most of the projections are applied. We use PlaceBase::Upvar to keep track of the root variable off of which the captured path starts, the closure the capture belongs to and the trait the closure implements.

Once we have figured out the capture index, we can convert the place builder to start from PlaceBase::Local.

Consider the following example

let t = (((10, 10), 10), 10);

let c = || {
    println!("{}", t.0.0.0);
};

Here the THIR expression for t.0.0.0 will be something like

* Field(0)
    * Field(0)
        * Field(0)
            * UpvarRef(t)

When capture_disjoint_fields is enabled, t.0.0.0 is captured and we won’t be able to figure out that it is captured until all the Field projections are applied.

Enum rustc_mir_build::build::expr::as_place::PlaceBase

Variants§

Local(Local)

Upvar

Fields

Trait Implementations§

impl Clone for PlaceBase

fn clone(&self) -> PlaceBase

fn clone_from(&mut self, source: &Self)

impl Debug for PlaceBase

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl<'tcx> From<PlaceBase> for PlaceBuilder<'tcx>

fn from(base: PlaceBase) -> Self

impl PartialEq for PlaceBase

fn eq(&self, other: &PlaceBase) -> bool

fn ne(&self, other: &Rhs) -> bool

impl Copy for PlaceBase

impl StructuralPartialEq for PlaceBase

Auto Trait Implementations§

impl DynSend for PlaceBase

impl DynSync for PlaceBase

impl Freeze for PlaceBase

impl RefUnwindSafe for PlaceBase

impl Send for PlaceBase

impl Sync for PlaceBase

impl Unpin for PlaceBase

impl UnwindSafe for PlaceBase

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> AnyEq for Twhere T: Any + PartialEq,

fn equals(&self, other: &(dyn Any + 'static)) -> bool

fn as_any(&self) -> &(dyn Any + 'static)

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]

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<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> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<'tcx, T> ToPredicate<'tcx, T> for T

fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T

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

type Error = Infallible

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

impl<T> AnyEq for T
where T: Any + PartialEq,

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T
where T: Copy,

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T
where T: Copy,

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>,

impl<T> ToOwned for T
where T: Clone,

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

impl<T, U> TryInto<U> for T
where U: TryFrom<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<'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,