Function assert_only_contains_predicates_from

pub(super) fn assert_only_contains_predicates_from<'tcx>(
    filter: PredicateFilter,
    bounds: &'tcx [(Clause<'tcx>, Span)],
    ty: Ty<'tcx>,
)