Function rustc_trait_selection::traits::const_evaluatable::try_unify_abstract_consts

pub(in traits) fn try_unify_abstract_consts<'tcx>(
    tcx: TyCtxt<'tcx>, 
    ((a, a_substs), (b, b_substs)): ((WithOptConstParam<DefId>, SubstsRef<'tcx>), (WithOptConstParam<DefId>, SubstsRef<'tcx>))
) -> bool