Skip to content

Resolver: Batched Import Resolution#145108

Merged
rust-bors[bot] merged 3 commits into
rust-lang:mainfrom
LorrensP-2158466:batched-import-resolution
Jun 8, 2026
Merged

Resolver: Batched Import Resolution#145108
rust-bors[bot] merged 3 commits into
rust-lang:mainfrom
LorrensP-2158466:batched-import-resolution

Commits

Commits on Jun 6, 2026