Rollup merge of #140672 - compiler-errors:deeply-normalize, r=lcnr

Deeply normalize in the new solver in WF

We need to deeply normalize types we check for well-formedness, since we only collect implied bounds from normalized signature types.

Fixes rust-lang/trait-system-refactor-initiative#194

r? lcnr

Author: GuillaumeGomez