Skip to main content

PlaceholderType

hir_ty::next_solver

Type Alias PlaceholderType 

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

Aliased Type§

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

Fields§

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