Skip to content

Comments

Deny final not followed by item#152883

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
mu001999-contrib:fix/final-bad-use
Feb 20, 2026
Merged

Deny final not followed by item#152883
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
mu001999-contrib:fix/final-bad-use

Commits

Commits on Feb 20, 2026