Skip to content

include HirIds directly in the THIR, not wrapped in LintLevels#150846

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
dianne:thir-hir-id
Jan 15, 2026
Merged

include HirIds directly in the THIR, not wrapped in LintLevels#150846
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
dianne:thir-hir-id

move `LintLevel` to `rustc_mir_build`

8868b47
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.