Skip to content

coverage: Small cleanups in extract_hir_info - #162222

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
Zalathar:extract-hir-info
Sep 4, 2026
Merged

coverage: Small cleanups in extract_hir_info#162222
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
Zalathar:extract-hir-info