Trait rustc::infer::lattice::LatticeDir
[−]
[src]
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, ()>
v: Ty<'tcx>,
a: Ty<'tcx>,
b: Ty<'tcx>)
-> RelateResult<'tcx, ()>
🔬 This is a nightly-only experimental API. (
rustc_private
)