Sure, while this (or any successor) has unavoidable false positives it needs to live in clippy and probably be default off.

But I'd argue that correctness is so worthwhile that even if this (or an alternative) can be narrowed to merely avoidable false positives that's enough to justify an on-by-default correctness error.