Skip to content

Turn lint_index from Option<u16> to u16 for LintExpectationId - #156829

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
Bryntet:levels_options_removal
May 22, 2026
Merged

Turn lint_index from Option<u16> to u16 for LintExpectationId#156829
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
Bryntet:levels_options_removal

make `lint_index` field not Optional in LintExpectationId

4f12864
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded May 22, 2026 in 37s