Trait rustc_trait_selection::infer::lattice::LatticeDir

pub trait LatticeDir<'f, 'tcx>: TypeRelation<'tcx> {
    fn infcx(&self) -> &InferCtxt;
    fn cause(&self) -> &ObligationCause;
    fn relate_bound(
        &mut self, 
        v: &TyS, 
        a: &TyS, 
        b: &TyS
    ) -> Result<(), TypeError>;
}

Required methods

fn infcx(&self) -> &InferCtxt

fn cause(&self) -> &ObligationCause

fn relate_bound(&mut self, v: &TyS, a: &TyS, b: &TyS) -> Result<(), TypeError>

Implementors