New lints [manual_is_infinite] and [manual_is_finite]
#11049
Merged
manual_is_infinite] and [manual_is_finite]
#11049