Skip to main content

PlaceholderRegion

hir_ty::next_solver::region

Type Alias PlaceholderRegion 

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

Aliased Type§

pub struct PlaceholderRegion<'db> {
    pub universe: UniverseIndex,
    pub bound: BoundRegion<DbInterner<'db>>,
    /* private fields */
}

Fields§

§universe: UniverseIndex§bound: BoundRegion<DbInterner<'db>>