rustc​::middle​::typeck​::infer​::lattice

Traits

CombineFieldsLatticeMethodsCombineFieldsLatticeMethods2LatticeDirLatticeValueTyLatticeDir

Functions

is_var_in_setlattice_var_and_tlattice_varssuper_lattice_tysvar_ids

Trait rustc::middle::typeck::infer::lattice::LatticeDir[src]

pub trait LatticeDir {
    fn combine_fields<'a>(&'a self) -> CombineFields<'a>;
    fn bnd<T: Clone>(&self, b: &Bounds<T>) -> Option<T>;
    fn with_bnd<T: Clone>(&self, b: &Bounds<T>, t: T) -> Bounds<T>;
}

Required Methods

fn combine_fields<'a>(&'a self) -> CombineFields<'a>

fn bnd<T: Clone>(&self, b: &Bounds<T>) -> Option<T>

fn with_bnd<T: Clone>(&self, b: &Bounds<T>, t: T) -> Bounds<T>

Implementors