Trait rustc::middle::infer::lattice::LatticeDirExperimental

pub trait LatticeDir<'tcx> {
    fn relate_bound(&self, v: Ty<'tcx>, a: Ty<'tcx>, b: Ty<'tcx>) -> cres<'tcx, ()>;
}

Required Methods

fn relate_bound(&self, v: Ty<'tcx>, a: Ty<'tcx>, b: Ty<'tcx>) -> cres<'tcx, ()>

Implementors

• impl<'a, 'tcx> LatticeDir<'tcx> for Lub<'a, 'tcx>
• impl<'a, 'tcx> LatticeDir<'tcx> for Glb<'a, 'tcx>