Trait rustc_infer::infer::lattice::LatticeDir[−][src]

pub trait LatticeDir<'f, 'tcx>: TypeRelation<'tcx> {
    fn infcx(&self) -> &'f InferCtxt<'f, 'tcx>;

    fn cause(&self) -> &ObligationCause<'tcx>;

    fn relate_bound(
        &mut self, 
        v: Ty<'tcx>, 
        a: Ty<'tcx>, 
        b: Ty<'tcx>
    ) -> RelateResult<'tcx, ()>;
}

Required methods

fn infcx(&self) -> &'f InferCtxt<'f, 'tcx>[src]

fn cause(&self) -> &ObligationCause<'tcx>[src]

fn relate_bound(
    &mut self,
    v: Ty<'tcx>,
    a: Ty<'tcx>,
    b: Ty<'tcx>
) -> RelateResult<'tcx, ()>[src]

Loading content...

Implementors

impl<'combine, 'infcx, 'tcx> LatticeDir<'infcx, 'tcx> for Glb<'combine, 'infcx, 'tcx>[src]

impl<'combine, 'infcx, 'tcx> LatticeDir<'infcx, 'tcx> for Lub<'combine, 'infcx, 'tcx>[src]

Loading content...