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::LatticeValue[src]

trait LatticeValue: Clone + Repr + PartialEq {
    fn sub(cf: CombineFields, a: &Self, b: &Self) -> ures;
    fn lub(cf: CombineFields, a: &Self, b: &Self) -> cres<Self>;
    fn glb(cf: CombineFields, a: &Self, b: &Self) -> cres<Self>;
}

Required Methods

fn sub(cf: CombineFields, a: &Self, b: &Self) -> ures

fn lub(cf: CombineFields, a: &Self, b: &Self) -> cres<Self>

fn glb(cf: CombineFields, a: &Self, b: &Self) -> cres<Self>

Implementors