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

pub trait CombineFieldsLatticeMethods2<T: LatticeValue> {
    fn merge_bnd(&self, a: &Bound<T>, b: &Bound<T>, lattice_op: LatticeOp<T>) -> cres<Bound<T>>;
    fn bnds(&self, a: &Bound<T>, b: &Bound<T>) -> ures;
}

Required Methods

fn merge_bnd(&self, a: &Bound<T>, b: &Bound<T>, lattice_op: LatticeOp<T>) -> cres<Bound<T>>

fn bnds(&self, a: &Bound<T>, b: &Bound<T>) -> ures

Implementors