Trait rustc::infer::lattice::LatticeDir

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

🔬 This is a nightly-only experimental API. (rustc_private)

Required Methods

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

🔬 This is a nightly-only experimental API. (rustc_private)

fn cause(&self) -> &ObligationCause<'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

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

🔬 This is a nightly-only experimental API. (rustc_private)

Implementors