Trait HasKind 

pub trait HasKind<'db> {
    // Required method
    fn has_kind(&self, db: &'db dyn Db, kind: SymGenericKind) -> bool;
}

Test if self can be said to have the given kind (i.e., is it a type? a permission?).

Note that when errors occur, this may return true for multiple kinds.

Required Methods

fn has_kind(&self, db: &'db dyn Db, kind: SymGenericKind) -> bool

Implementors

impl<'db> HasKind<'db> for SymGenericTerm<'db>

impl<'db> HasKind<'db> for SymVariable<'db>

impl<'db> HasKind<'db> for SymPerm<'db>

impl<'db> HasKind<'db> for SymTy<'db>