New lints [manual_is_infinite] and [manual_is_finite]#11049
Merged
bors merged 3 commits intorust-lang:masterfrom Jul 8, 2023
Merged
New lints [manual_is_infinite] and [manual_is_finite]#11049bors merged 3 commits intorust-lang:masterfrom
manual_is_infinite] and [manual_is_finite]#11049bors merged 3 commits intorust-lang:masterfrom
