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