In `Bounds::predicates()`, move the implicit `Sized` predicate to the
end of the generated list. This means that if there is an explicit
`Sized` bound, it will be checked first, and any resulting
diagnostics will have a more useful span.

Reduce nesting by using early exits and factoring out a helper
function. Also add comments explaining why the copying of
`?Sized` bounds is necessary.