Trait rustc_trait_selection::infer::lattice::LatticeDir

source · [−]
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

Implementors