Trait rustc::middle::infer::lattice::LatticeDirExperimental
[-]
[+]
[src]
pub trait LatticeDir<'tcx> { fn relate_bound(&self, v: Ty<'tcx>, a: Ty<'tcx>, b: Ty<'tcx>) -> cres<'tcx, ()>; }
Required Methods
Implementors
impl<'a, 'tcx> LatticeDir<'tcx> for Lub<'a, 'tcx>
impl<'a, 'tcx> LatticeDir<'tcx> for Glb<'a, 'tcx>