Trait AssertKind 

pub trait AssertKind<'db, R> {
    // Required method
    fn assert_kind(self, db: &'db dyn Db) -> R;
}

Assert that self has the appropriate kind to produce an R value. Implemented by e.g. SymGenericTerm to permit downcasting to SymTy.

Required Methods

fn assert_kind(self, db: &'db dyn Db) -> R

Implementors

impl<'db> AssertKind<'db, SymPerm<'db>> for SymGenericTerm<'db>

impl<'db> AssertKind<'db, SymPlace<'db>> for SymGenericTerm<'db>

impl<'db> AssertKind<'db, SymTy<'db>> for SymGenericTerm<'db>