Skip to main content

ExternalConstraintsData

hir_ty::next_solver

Type Alias ExternalConstraintsData 

Source 
pub type ExternalConstraintsData<'db> = ExternalConstraintsData<DbInterner<'db>>;

Aliased Type§

pub struct ExternalConstraintsData<'db> {
    pub region_constraints: Vec<(RegionConstraint<DbInterner<'db>>, VisibleForLeakCheck)>,
    pub opaque_types: Vec<(OpaqueTypeKey<DbInterner<'db>>, Ty<'db>)>,
    pub normalization_nested_goals: NestedNormalizationGoals<DbInterner<'db>>,
}

Fields§

§region_constraints: Vec<(RegionConstraint<DbInterner<'db>>, VisibleForLeakCheck)>§opaque_types: Vec<(OpaqueTypeKey<DbInterner<'db>>, Ty<'db>)>§normalization_nested_goals: NestedNormalizationGoals<DbInterner<'db>>