Struct rustc_middle::traits::query::DtorckConstraint

pub struct DtorckConstraint<'tcx> {
    pub outlives: Vec<GenericArg<'tcx>>,
    pub dtorck_types: Vec<Ty<'tcx>>,
    pub overflows: Vec<Ty<'tcx>>,
}

A set of constraints that need to be satisfied in order for a type to be valid for destruction.

Fields

outlives: Vec<GenericArg<'tcx>>

Types that are required to be alive in order for this type to be valid for destruction.

dtorck_types: Vec<Ty<'tcx>>

Types that could not be resolved: projections and params.

overflows: Vec<Ty<'tcx>>

If, during the computation of the dtorck constraint, we overflow, that gets recorded here. The caller is expected to report an error.

Implementations

impl<'tcx> DtorckConstraint<'tcx>

pub fn empty() -> DtorckConstraint<'tcx>

Trait Implementations

impl<'tcx> Clone for DtorckConstraint<'tcx>

pub fn clone(&self) -> DtorckConstraint<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for DtorckConstraint<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> FromIterator<DtorckConstraint<'tcx>> for DtorckConstraint<'tcx>

pub fn from_iter<I: IntoIterator<Item = DtorckConstraint<'tcx>>>(
    iter: I
) -> Self

Creates a value from an iterator.

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for DtorckConstraint<'tcx>

pub fn hash_stable(
    &self,
    __hcx: &mut StableHashingContext<'__ctx>,
    __hasher: &mut StableHasher
)