Struct rustc_mir::shim::DropShimElaborator

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

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

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

Formats the value using the given formatter.

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

type Path = ()

The type representing paths that can be moved out of.

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

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

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

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

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

Returns how path should be dropped, given mode.

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).

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.

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

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

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).

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

Returns the subpath of downcasting path to one of its variants.

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

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