Skip to content

Rename various resolving functions for consistency, and document them - #162126

Merged
rust-bors[bot] merged 5 commits into
rust-lang:mainfrom
jdonszelmann:rename-resolving
Sep 11, 2026
Merged

Rename various resolving functions for consistency, and document them#162126
rust-bors[bot] merged 5 commits into
rust-lang:mainfrom
jdonszelmann:rename-resolving

rename fully_resolve to deeply_resolve_and_assert_fully_resolved

f4fd639
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Sep 11, 2026 in 34s