rustc_infer::infer::canonical::ir::relate::combine

Function super_combine_consts

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