fn contains_maybe_sized_bound_on_pointee(
    predicates: &[WherePredicate],
    pointee: Symbol,
) -> bool