Rollup merge of #112781 - compiler-errors:new-solver-tait-overlaps-hidden, r=lcnr

Don't consider TAIT normalizable to hidden ty if it would result in impossible item bounds

See test for example where we shouldn't consider it possible to alias-relate a TAIT and hidden type.

r? `@lcnr`

Author: compiler-errors