Improve diagnostics for `HostEffectPredicate` in the new solver#132345

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

compiler-errors:fx-diagcompiler-errors/rust:fx-diagCopy head branch name to clipboard