Skip to content

rustc_infer cleanups#131226

Merged
bors merged 12 commits into
rust-lang:masterfrom
nnethercote:rustc_infer-cleanups
Oct 7, 2024
Merged

rustc_infer cleanups#131226
bors merged 12 commits into
rust-lang:masterfrom
nnethercote:rustc_infer-cleanups

Remove out-of-date comment.

3fdcde7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs