Struct rustc_infer::traits::query::DtorckConstraint

pub struct DtorckConstraint<'tcx> {
    pub outlives: Vec<GenericArg<'tcx>>,
    pub dtorck_types: Vec<&'tcx TyS<'tcx>>,
    pub overflows: Vec<&'tcx TyS<'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<&'tcx TyS<'tcx>>

Types that could not be resolved: projections and params.

overflows: Vec<&'tcx TyS<'tcx>>

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