Avoid accessing the HIR in the happy path of `coherent_trait`#120835

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

oli-obk:no_hir_coherenceoli-obk/rust:no_hir_coherenceCopy head branch name to clipboard