[−][src]Trait rustc_trait_selection::infer::lattice::LatticeDir

pub trait LatticeDir<'f, 'tcx>: TypeRelation<'tcx> {
    pub fn infcx(&self) -> &'f InferCtxt<'f, 'tcx>;

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

    pub fn relate_bound(
        &mut self, 
        v: &'tcx TyS<'tcx>, 
        a: &'tcx TyS<'tcx>, 
        b: &'tcx TyS<'tcx>
    ) -> Result<(), TypeError<'tcx>>;
}

Required methods

pub fn infcx(&self) -> &'f InferCtxt<'f, 'tcx>[src]

pub fn cause(&self) -> &ObligationCause<'tcx>[src]

pub fn relate_bound(
    &mut self,
    v: &'tcx TyS<'tcx>,
    a: &'tcx TyS<'tcx>,
    b: &'tcx TyS<'tcx>
) -> Result<(), TypeError<'tcx>>[src]

Loading content...

Implementors

Loading content...