Skip to main content

super_combine_consts

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: Const<I>,
    b: Const<I>,
) -> Result<Const<I>, TypeError<I>>
where
    Infcx: InferCtxtLike<Interner = I>,
    I: Interner,
    R: PredicateEmittingRelation<Infcx>,