Skip to content

Resolver: extract use_injections out of main Resolver#159339

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
LorrensP-2158466:extract-use-injections
Jul 16, 2026
Merged

Resolver: extract use_injections out of main Resolver#159339
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
LorrensP-2158466:extract-use-injections