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