pub fn super_lattice_tys<'a, 'tcx, L>( this: &mut L, a: &TyS, b: &TyS) -> Result<&TyS, TypeError> where 'tcx: 'a, L: LatticeDir<'a, 'tcx>,