tinymist_query::ty

Trait BoundChecker

Source 
pub trait BoundChecker: Sized + TyCtx {
    // Required method
    fn collect(&mut self, ty: &Ty, pol: bool);

    // Provided methods
    fn check_var(&mut self, u: &Interned<TypeVar>, pol: bool) { ... }
    fn check_var_rec(&mut self, u: &Interned<TypeVar>, pol: bool) { ... }
}

Required Methods§

Source

fn collect(&mut self, ty: &Ty, pol: bool)

Provided Methods§

Source

fn check_var(&mut self, u: &Interned<TypeVar>, pol: bool)

Source

fn check_var_rec(&mut self, u: &Interned<TypeVar>, pol: bool)

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§