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<OutlivesPredicate<DbInterner<'db>, GenericArg<'db>>>,
    pub opaque_types: Vec<(OpaqueTypeKey<DbInterner<'db>>, Ty<'db>)>,
    pub normalization_nested_goals: NestedNormalizationGoals<DbInterner<'db>>,
}

Fields§

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