Function rustc_infer::infer::relate::lattice::super_lattice_tys

source ยท
pub fn super_lattice_tys<'a, 'tcx: 'a, L>(
    this: &mut L,
    a: Ty<'tcx>,
    b: Ty<'tcx>,
) -> RelateResult<'tcx, Ty<'tcx>>
where L: LatticeDir<'a, 'tcx>,
Expand description

Relates two types using a given lattice.