Merge several HIR-level queries into one#155678
Merged
rust-bors[bot] merged 8 commits intoMay 27, 2026
Merged
rust-bors / Bors auto build
succeeded
May 27, 2026 in 4h 15m 44s
Bors auto build
Loading