Trait rustc::middle::infer::unify::InferCtxtMethodsForSimplyUnifiableTypesExperimental

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) -> ures<'tcx>;
    fn simple_var_t(&self, a_is_expected: bool, a_id: K, b: V) -> ures<'tcx>;
    fn probe_var(&self, a_id: K) -> Option<Ty<'tcx>>;
}

Required Methods

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

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

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

Implementors

• impl<'a, 'tcx, V: SimplyUnifiable<'tcx>, K: UnifyKey<'tcx, Option<V>>> InferCtxtMethodsForSimplyUnifiableTypes<'tcx, V, K> for InferCtxt<'a, 'tcx>