pub(crate) fn merge_bounds(
    cx: &DocContext<'_>,
    bounds: &mut Vec<GenericBound>,
    trait_did: DefId,
    assoc: PathSegment,
    rhs: &Term
) -> bool