pub struct DropShimElaborator<'a, 'tcx> {
    pub body: &'a Body<'tcx>,
    pub patch: MirPatch<'tcx>,
    pub tcx: TyCtxt<'tcx>,
    pub param_env: ParamEnv<'tcx>,
}

Fields§

§body: &'a Body<'tcx>§patch: MirPatch<'tcx>§tcx: TyCtxt<'tcx>§param_env: ParamEnv<'tcx>

Trait Implementations§

source§

impl Debug for DropShimElaborator<'_, '_>

source§

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

Formats the value using the given formatter. Read more
source§

impl<'a, 'tcx> DropElaborator<'a, 'tcx> for DropShimElaborator<'a, 'tcx>

§

type Path = ()

The type representing paths that can be moved out of. Read more
source§

fn patch(&mut self) -> &mut MirPatch<'tcx>

source§

fn body(&self) -> &'a Body<'tcx>

source§

fn tcx(&self) -> TyCtxt<'tcx>

source§

fn param_env(&self) -> ParamEnv<'tcx>

source§

fn drop_style(&self, _path: Self::Path, mode: DropFlagMode) -> DropStyle

Returns how path should be dropped, given mode.
source§

fn get_drop_flag(&mut self, _path: Self::Path) -> Option<Operand<'tcx>>

Returns the drop flag of path as a MIR Operand (or None if path has no drop flag).
source§

fn clear_drop_flag( &mut self, _location: Location, _path: Self::Path, _mode: DropFlagMode )

Modifies the MIR patch so that the drop flag of path (if any) is cleared at location. Read more
source§

fn field_subpath( &self, _path: Self::Path, _field: FieldIdx ) -> Option<Self::Path>

Returns the subpath of a field of path (or None if there is no dedicated subpath). Read more
source§

fn deref_subpath(&self, _path: Self::Path) -> Option<Self::Path>

Returns the subpath of a dereference of path (or None if there is no dedicated subpath). Read more
source§

fn downcast_subpath( &self, _path: Self::Path, _variant: VariantIdx ) -> Option<Self::Path>

Returns the subpath of downcasting path to one of its variants. Read more
source§

fn array_subpath( &self, _path: Self::Path, _index: u64, _size: u64 ) -> Option<Self::Path>

Returns the subpath of indexing a fixed-size array path. Read more

Auto Trait Implementations§

§

impl<'a, 'tcx> DynSend for DropShimElaborator<'a, 'tcx>

§

impl<'a, 'tcx> DynSync for DropShimElaborator<'a, 'tcx>

§

impl<'a, 'tcx> Freeze for DropShimElaborator<'a, 'tcx>

§

impl<'a, 'tcx> !RefUnwindSafe for DropShimElaborator<'a, 'tcx>

§

impl<'a, 'tcx> !Send for DropShimElaborator<'a, 'tcx>

§

impl<'a, 'tcx> !Sync for DropShimElaborator<'a, 'tcx>

§

impl<'a, 'tcx> Unpin for DropShimElaborator<'a, 'tcx>

§

impl<'a, 'tcx> !UnwindSafe for DropShimElaborator<'a, 'tcx>

Blanket Implementations§

source§

impl<T> Aligned for T

source§

const ALIGN: Alignment = _

Alignment of Self.
source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

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

source§

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

Equivalent to f(&iter.collect::<Vec<_>>()).

§

type Output = R

source§

impl<T> Filterable for T

source§

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

Creates a filterable data provider with the given name for debugging. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

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

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

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

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<P> IntoQueryParam<P> for P

source§

impl<T> MaybeResult<T> for T

§

type Error = !

source§

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

source§

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

source§

impl<T> Pointable for T

source§

const ALIGN: usize = _

The alignment of pointer.
§

type Init = T

The type for initializers.
source§

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

Initializes a with the given initializer. Read more
source§

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

Dereferences the given pointer. Read more
source§

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

Mutably dereferences the given pointer. Read more
source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
source§

impl<T> Same for T

§

type Output = T

Should always be Self
source§

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

source§

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

source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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

§

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

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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

source§

fn vzip(self) -> V

source§

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

source§

default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed ) -> T

source§

impl<T> WithSubscriber for T

source§

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

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

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

source§

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

source§

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

Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 160 bytes