pub trait Term<I>: Copy + Debug + Hash + Eq + IntoKind<Kind = TermKind<I>> + TypeFoldable<I> + Relate<I>where
I: Interner<Term = Self>,{
// Provided methods
fn as_type(&self) -> Option<<I as Interner>::Ty> { ... }
fn expect_ty(&self) -> <I as Interner>::Ty { ... }
fn as_const(&self) -> Option<<I as Interner>::Const> { ... }
fn expect_const(&self) -> <I as Interner>::Const { ... }
fn is_infer(self) -> bool { ... }
fn to_alias_term(self) -> Option<AliasTerm<I>> { ... }
}
Provided Methods§
fn as_type(&self) -> Option<<I as Interner>::Ty>
fn expect_ty(&self) -> <I as Interner>::Ty
fn as_const(&self) -> Option<<I as Interner>::Const>
fn expect_const(&self) -> <I as Interner>::Const
fn is_infer(self) -> bool
fn to_alias_term(self) -> Option<AliasTerm<I>>
Object Safety§
This trait is not object safe.