normalize in `trait_ref_is_knowable` in new solver#114457

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

lcnr:trait_ref_is_knowable-normalizelcnr/rust:trait_ref_is_knowable-normalizeCopy head branch name to clipboard