Function rustc_trait_selection::traits::const_evaluatable::try_unify

pub(in traits) fn try_unify<'tcx>(
    tcx: TyCtxt<'tcx>, 
    a: AbstractConst<'tcx>, 
    b: AbstractConst<'tcx>
) -> bool

Tries to unify two abstract constants using structural equality.