Trait rustc_trans::middle::infer::unify::InferCtxtMethodsForSimplyUnifiableTypesExperimental [-]  [+] [src]

pub trait InferCtxtMethodsForSimplyUnifiableTypes<'tcx, V: SimplyUnifiable<'tcx>, K: UnifyKey<'tcx, Option<V>>> {
    fn simple_vars(&self, a_is_expected: bool, a_id: K, b_id: K) -> Result<(), type_err<'tcx>>;
    fn simple_var_t(&self, a_is_expected: bool, a_id: K, b: V) -> Result<(), type_err<'tcx>>;
    fn probe_var(&self, a_id: K) -> Option<&'tcx TyS<'tcx>>;
}

Required Methods

fn simple_vars(&self, a_is_expected: bool, a_id: K, b_id: K) -> Result<(), type_err<'tcx>>

fn simple_var_t(&self, a_is_expected: bool, a_id: K, b: V) -> Result<(), type_err<'tcx>>

fn probe_var(&self, a_id: K) -> Option<&'tcx TyS<'tcx>>

Implementors