rustc_type_ir::inherent

Trait Term

source
pub trait Term<I: Interner<Term = Self>>:
    Copy
    + Debug
    + Hash
    + Eq
    + IntoKind<Kind = TermKind<I>>
    + TypeFoldable<I>
    + Relate<I> {
    // Provided methods
    fn as_type(&self) -> Option<I::Ty> { ... }
    fn expect_ty(&self) -> I::Ty { ... }
    fn as_const(&self) -> Option<I::Const> { ... }
    fn expect_const(&self) -> I::Const { ... }
    fn is_infer(self) -> bool { ... }
    fn to_alias_term(self) -> Option<AliasTerm<I>> { ... }
}

Provided Methods§

source

fn as_type(&self) -> Option<I::Ty>

source

fn expect_ty(&self) -> I::Ty

source

fn as_const(&self) -> Option<I::Const>

source

fn expect_const(&self) -> I::Const

source

fn is_infer(self) -> bool

source

fn to_alias_term(self) -> Option<AliasTerm<I>>

Object Safety§

This trait is not object safe.

Implementors§