Trait FromInferVar 

pub trait FromInferVar<'db> {
    // Required method
    fn infer(db: &'db dyn Db, kind: SymGenericKind, var: InferVarIndex) -> Self;
}

Many of our types can be created from a variable

Required Methods

fn infer(db: &'db dyn Db, kind: SymGenericKind, var: InferVarIndex) -> 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> FromInferVar<'db> for SymGenericTerm<'db>