Struct rustc_mir::transform::elaborate_drops::Elaborator

struct Elaborator<'a, 'b, 'tcx> {
    ctxt: &'a mut ElaborateDropsCtxt<'b, 'tcx>,
}

Fields

ctxt: &'a mut ElaborateDropsCtxt<'b, 'tcx>

Trait Implementations

impl<'a, 'b, 'tcx> Debug for Elaborator<'a, 'b, 'tcx>

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

Formats the value using the given formatter.

impl<'a, 'b, 'tcx> DropElaborator<'a, 'tcx> for Elaborator<'a, 'b, 'tcx>

type Path = MovePathIndex

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 clear_drop_flag(
    &mut self,
    loc: 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 array_subpath(
    &self,
    path: Self::Path,
    index: u64,
    size: u64
) -> Option<Self::Path>

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

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