include HirIds directly in the THIR, not wrapped in LintLevels#150846
Merged
rust-bors[bot] merged 2 commits intorust-lang:mainfrom Jan 15, 2026
Merged
include HirIds directly in the THIR, not wrapped in LintLevels#150846rust-bors[bot] merged 2 commits intorust-lang:mainfrom
HirIds directly in the THIR, not wrapped in LintLevels#150846rust-bors[bot] merged 2 commits intorust-lang:mainfrom