Type Alias ExternalConstraintsData 

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>>