pub fn super_combine_consts<Infcx, I, R>( infcx: &Infcx, relation: &mut R, a: <I as Interner>::Const, b: <I as Interner>::Const, ) -> Result<<I as Interner>::Const, TypeError<I>>where Infcx: InferCtxtLike<Interner = I>, I: Interner, R: PredicateEmittingRelation<Infcx>,