Trait rustc::middle::infer::lattice::LatticeDirUnstable [-] [+] [src]

pub trait LatticeDir<'f, 'tcx>: TypeRelation<'f, 'tcx> {
    fn infcx(&self) -> &'f InferCtxt<'f, 'tcx>;
    fn relate_bound(&self, v: Ty<'tcx>, a: Ty<'tcx>, b: Ty<'tcx>) -> RelateResult<'tcx, ()>;
}

Required Methods

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

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

Implementors