hir_ty

Trait DynTyExt

Source 
pub trait DynTyExt {
    // Required methods
    fn principal(&self) -> Option<Binders<Binders<&TraitRef>>>;
    fn principal_id(&self) -> Option<TraitId<Interner>>;
}

Required Methods§

Source

fn principal(&self) -> Option<Binders<Binders<&TraitRef>>>

Source

fn principal_id(&self) -> Option<TraitId<Interner>>

Implementors§