Skip to content

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

Merged
bors merged 5 commits intorust-lang:masterfrom
oli-obk:no_hir_coherence
Feb 12, 2024