Trait rustc_lint::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: &'tcx TyS<'tcx>, a: &'tcx TyS<'tcx>, b: &'tcx TyS<'tcx>) -> Result<(), type_err<'tcx>>;
}

Required Methods

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

fn relate_bound(&self, v: &'tcx TyS<'tcx>, a: &'tcx TyS<'tcx>, b: &'tcx TyS<'tcx>) -> Result<(), type_err<'tcx>>

Implementors