2023-07-02 07:35:19 -05:00
|
|
|
|
#![allow(clippy::needless_raw_strings, clippy::needless_raw_string_hashes, unused_must_use)]
|
2024-05-02 10:26:44 -05:00
|
|
|
|
#![warn(clippy::single_char_pattern)]
|
2019-01-04 04:22:38 -06:00
|
|
|
|
use std::collections::HashSet;
|
|
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
|
let x = "foo";
|
|
|
|
|
x.split('x');
|
|
|
|
|
x.split("xx");
|
|
|
|
|
x.split('x');
|
|
|
|
|
|
|
|
|
|
let y = "x";
|
|
|
|
|
x.split(y);
|
2024-05-02 10:26:44 -05:00
|
|
|
|
x.split("ß");
|
|
|
|
|
x.split("ℝ");
|
|
|
|
|
x.split("💣");
|
2019-01-04 04:22:38 -06:00
|
|
|
|
// Can't use this lint for unicode code points which don't fit in a char
|
|
|
|
|
x.split("❤️");
|
2021-12-06 05:33:31 -06:00
|
|
|
|
x.split_inclusive('x');
|
2019-01-04 04:22:38 -06:00
|
|
|
|
x.contains('x');
|
|
|
|
|
x.starts_with('x');
|
|
|
|
|
x.ends_with('x');
|
|
|
|
|
x.find('x');
|
|
|
|
|
x.rfind('x');
|
|
|
|
|
x.rsplit('x');
|
|
|
|
|
x.split_terminator('x');
|
|
|
|
|
x.rsplit_terminator('x');
|
2021-06-03 01:41:37 -05:00
|
|
|
|
x.splitn(2, 'x');
|
|
|
|
|
x.rsplitn(2, 'x');
|
2021-12-06 05:33:31 -06:00
|
|
|
|
x.split_once('x');
|
|
|
|
|
x.rsplit_once('x');
|
2019-01-04 04:22:38 -06:00
|
|
|
|
x.matches('x');
|
|
|
|
|
x.rmatches('x');
|
|
|
|
|
x.match_indices('x');
|
|
|
|
|
x.rmatch_indices('x');
|
|
|
|
|
x.trim_start_matches('x');
|
|
|
|
|
x.trim_end_matches('x');
|
2021-12-06 05:33:31 -06:00
|
|
|
|
x.replace('x', "y");
|
|
|
|
|
x.replacen('x', "y", 3);
|
2019-01-04 04:22:38 -06:00
|
|
|
|
// Make sure we escape characters correctly.
|
|
|
|
|
x.split('\n');
|
2019-04-08 07:55:50 -05:00
|
|
|
|
x.split('\'');
|
|
|
|
|
x.split('\'');
|
2024-01-11 10:27:03 -06:00
|
|
|
|
// Issue #11973: Don't escape `"` in `'"'`
|
|
|
|
|
x.split('"');
|
2019-01-04 04:22:38 -06:00
|
|
|
|
|
|
|
|
|
let h = HashSet::<String>::new();
|
|
|
|
|
h.contains("X"); // should not warn
|
|
|
|
|
|
2021-12-06 05:33:31 -06:00
|
|
|
|
x.replace(';', ",").split(','); // issue #2978
|
2019-01-04 04:22:38 -06:00
|
|
|
|
x.starts_with('\x03'); // issue #2996
|
|
|
|
|
|
|
|
|
|
// Issue #3204
|
|
|
|
|
const S: &str = "#";
|
|
|
|
|
x.find(S);
|
2019-08-08 22:45:49 -05:00
|
|
|
|
|
|
|
|
|
// Raw string
|
|
|
|
|
x.split('a');
|
|
|
|
|
x.split('a');
|
2019-08-08 22:45:49 -05:00
|
|
|
|
x.split('a');
|
|
|
|
|
x.split('\'');
|
|
|
|
|
x.split('#');
|
2021-12-06 05:33:31 -06:00
|
|
|
|
// Must escape backslash in raw strings when converting to char #8060
|
|
|
|
|
x.split('\\');
|
|
|
|
|
x.split('\\');
|
2024-05-02 10:26:44 -05:00
|
|
|
|
|
|
|
|
|
// should not warn, the char versions are actually slower in some cases
|
|
|
|
|
x.strip_prefix("x");
|
|
|
|
|
x.strip_suffix("x");
|
2019-01-04 04:22:38 -06:00
|
|
|
|
}
|