Enum DropData

pub enum DropData<'tcx> {
    Noop,
    Implicit,
    Glue {
        ty: Ty<'tcx>,
        impl_exprs: Vec<ImplExpr<'tcx>>,
    },
}

Variants

Noop

A drop that does nothing, e.g. for scalars and pointers.

Implicit

An implicit Drop local clause, if the resolve_drop_bounds option is false. If that option is true, we’ll add Drop bounds to every type param, and use that to resolve Drop impls of generics. If it’s false, we use this variant to indicate that the drop clause comes from a generic or associated type.

Glue

The implicit Drop impl that exists for every type without an explicit Drop impl. The virtual impl is considered to have one T: Drop bound for each generic argument of the target type; it then simply drops each field in order.

Fields

ty: Ty<'tcx>

The type we’re generating glue for.

impl_exprs: Vec<ImplExpr<'tcx>>

The ImplExprs for the T: Drop bounds of the virtual impl. There is one for each generic argument, in order.

Trait Implementations

impl<'tcx> Clone for DropData<'tcx>

fn clone(&self) -> DropData<'tcx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for DropData<'tcx>

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

Formats the value using the given formatter.

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, DropData> for DropData<'tcx>

fn sinto(&self, s: &S) -> DropData