Trait FromVar 

pub trait FromVar<'db> {
    // Required method
    fn var(db: &'db dyn Db, var: SymVariable<'db>) -> Self;
}

Many of our types can be created from a variable

Required Methods

fn var(db: &'db dyn Db, var: SymVariable<'db>) -> Self

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'db> FromVar<'db> for SymGenericTerm<'db>

impl<'db> FromVar<'db> for SymPerm<'db>

impl<'db> FromVar<'db> for SymPlace<'db>

impl<'db> FromVar<'db> for SymTy<'db>