Get rid of InferCtxtExt
from error_reporting::traits
#128076
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 23, 2024
Merged
Get rid of `InferCtxtExt` from `error_reporting::traits`#128076bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom