Function rustc_infer::infer::lattice::super_lattice_tys

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>,