Trait FromInfer 

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

Create an instance of Self from an inference variable

Required Methods

fn infer(db: &'db dyn Db, 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> FromInfer<'db> for SymPerm<'db>

impl<'db> FromInfer<'db> for SymTy<'db>