Skip to content

new lint: manual_while_let_some#10647

Merged
bors merged 7 commits intorust-lang:masterfrom
y21:while_pop_unwrap
Apr 29, 2023
Merged

new lint: `manual_while_let_some`#10647
bors merged 7 commits intorust-lang:masterfrom
y21:while_pop_unwrap

Commits

Commits on Apr 29, 2023