Function rustc_trait_selection::infer::lattice::super_lattice_tys
source · pub fn super_lattice_tys<'a, 'tcx, L>(
this: &mut L,
a: Ty<'tcx>,
b: Ty<'tcx>
) -> Result<Ty<'tcx>, TypeError<'tcx>>where
'tcx: 'a,
L: LatticeDir<'a, 'tcx>,
Expand description
Relates two types using a given lattice.