2023-06-15 19:15:10 +00:00
|
|
|
|
#![allow(clippy::needless_raw_strings, clippy::needless_raw_string_hashes, unused_must_use)]
|
2023-11-28 21:31:24 +00:00
|
|
|
|
#![warn(clippy::single_char_pattern)]
|
2017-10-10 04:00:47 +00: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);
|
|
|
|
|
x.split("ß");
|
|
|
|
|
x.split("ℝ");
|
|
|
|
|
x.split("💣");
|
|
|
|
|
// Can't use this lint for unicode code points which don't fit in a char
|
|
|
|
|
x.split("❤️");
|
2021-12-05 16:33:52 +00:00
|
|
|
|
x.split_inclusive("x");
|
2017-10-10 04:00:47 +00: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-05-30 13:35:06 +00:00
|
|
|
|
x.splitn(2, "x");
|
|
|
|
|
x.rsplitn(2, "x");
|
2021-12-05 16:33:52 +00:00
|
|
|
|
x.split_once("x");
|
|
|
|
|
x.rsplit_once("x");
|
2017-10-10 04:00:47 +00:00
|
|
|
|
x.matches("x");
|
|
|
|
|
x.rmatches("x");
|
|
|
|
|
x.match_indices("x");
|
|
|
|
|
x.rmatch_indices("x");
|
2018-12-14 11:35:44 +00:00
|
|
|
|
x.trim_start_matches("x");
|
|
|
|
|
x.trim_end_matches("x");
|
2021-12-05 16:33:52 +00:00
|
|
|
|
x.replace("x", "y");
|
|
|
|
|
x.replacen("x", "y", 3);
|
2018-03-02 15:00:01 +00:00
|
|
|
|
// Make sure we escape characters correctly.
|
|
|
|
|
x.split("\n");
|
2019-04-08 12:55:50 +00:00
|
|
|
|
x.split("'");
|
|
|
|
|
x.split("\'");
|
2023-12-27 21:15:17 +00:00
|
|
|
|
// Issue #11973: Don't escape `"` in `'"'`
|
|
|
|
|
x.split("\"");
|
2017-10-10 04:00:47 +00:00
|
|
|
|
|
|
|
|
|
let h = HashSet::<String>::new();
|
|
|
|
|
h.contains("X"); // should not warn
|
2018-07-31 10:20:32 +00:00
|
|
|
|
|
2021-12-05 16:33:52 +00:00
|
|
|
|
x.replace(';', ",").split(","); // issue #2978
|
2018-08-03 08:19:29 +00:00
|
|
|
|
x.starts_with("\x03"); // issue #2996
|
2018-09-23 13:25:10 +00:00
|
|
|
|
|
|
|
|
|
// Issue #3204
|
|
|
|
|
const S: &str = "#";
|
|
|
|
|
x.find(S);
|
2019-08-09 03:45:49 +00:00
|
|
|
|
|
|
|
|
|
// Raw string
|
|
|
|
|
x.split(r"a");
|
|
|
|
|
x.split(r#"a"#);
|
2019-08-09 03:45:49 +00:00
|
|
|
|
x.split(r###"a"###);
|
|
|
|
|
x.split(r###"'"###);
|
|
|
|
|
x.split(r###"#"###);
|
2021-12-02 22:47:23 +00:00
|
|
|
|
// Must escape backslash in raw strings when converting to char #8060
|
|
|
|
|
x.split(r#"\"#);
|
|
|
|
|
x.split(r"\");
|
2023-11-21 13:35:02 +00:00
|
|
|
|
|
|
|
|
|
// should not warn, the char versions are actually slower in some cases
|
|
|
|
|
x.strip_prefix("x");
|
|
|
|
|
x.strip_suffix("x");
|
2017-10-10 04:00:47 +00:00
|
|
|
|
}
|