Trait rustc::middle::typeck::infer::lattice::CombineFieldsLatticeMethods[src]
pub trait CombineFieldsLatticeMethods<T: LatticeValue, K: UnifyKey<Bounds<T>>> {
fn var_sub_var(&self, a_id: K, b_id: K) -> ures;
fn var_sub_t(&self, a_id: K, b: T) -> ures;
fn t_sub_var(&self, a: T, b_id: K) -> ures;
fn set_var_to_merged_bounds(&self, v_id: K, a: &Bounds<T>, b: &Bounds<T>, rank: uint) -> ures;
}
Required Methods
fn var_sub_var(&self, a_id: K, b_id: K) -> ures
make variable a subtype of variable
fn var_sub_t(&self, a_id: K, b: T) -> ures
make variable a subtype of T
fn t_sub_var(&self, a: T, b_id: K) -> ures
make T a subtype of variable
fn set_var_to_merged_bounds(&self, v_id: K, a: &Bounds<T>, b: &Bounds<T>, rank: uint) -> ures
Implementors
impl<'f, T: LatticeValue, K: UnifyKey<Bounds<T>>> CombineFieldsLatticeMethods<T, K> for CombineFields<'f>