Skip to content

fix never_loop false positive#9837

Merged
bors merged 1 commit intorust-lang:masterfrom
kartva:never_loop
Nov 13, 2022
Merged

fix never_loop false positive#9837
bors merged 1 commit intorust-lang:masterfrom
kartva:never_loop

Commits

Commits on Nov 12, 2022