rustc_infer: change top-level doc comment to inner#146241
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 5, 2025
Merged
rustc_infer: change top-level doc comment to inner#146241bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom