Rollup merge of #121803 - estebank:dont-mention-type-error-e0277, r=compiler-errors

Never say "`Trait` is implemented for `{type error}`"

When a trait bound error occurs, we look for alternative types that would have made the bound succeed. For some reason `{type error}` sometimes would appear as a type that would do so.

We now remove `{type error}` from the list in every case to avoid nonsensical `note`s.

Author: matthiaskrgr