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

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

Implementors