needless_character_iteration false positive #12879
Description
This transformation isn't correct:
fn main() {
let s = "Beyoncé";
// EVERY character isn't ascii
dbg!(s.chars().all(|c| !char::is_ascii(&c)));
// ANY character isn't ascii
dbg!(!s.is_ascii());
}[src/main.rs:3:5] s.chars().all(|c| !char::is_ascii(&c)) = false
[src/main.rs:4:5] !s.is_ascii() = true
Originally posted by @aDotInTheVoid in #12815 (comment)