Skip to content

comparison_to_empty: peel derefs in suggestions#9962

Merged
bors merged 1 commit intorust-lang:masterfrom
mdgaziur:master
Dec 2, 2022
Merged

comparison_to_empty: peel derefs in suggestions#9962
bors merged 1 commit intorust-lang:masterfrom
mdgaziur:master

Commits

Commits on Nov 30, 2022