2019-01-04 11:22:38 +01:00
|
|
|
|
// run-rustfix
|
|
|
|
|
|
2019-01-31 08:27:04 +01:00
|
|
|
|
#![allow(unused_must_use)]
|
|
|
|
|
|
2019-01-04 11:22:38 +01: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);
|
|
|
|
|
// Not yet testing for multi-byte characters
|
|
|
|
|
// Changing `r.len() == 1` to `r.chars().count() == 1` in `lint_clippy::single_char_pattern`
|
|
|
|
|
// should have done this but produced an ICE
|
|
|
|
|
//
|
|
|
|
|
// We may not want to suggest changing these anyway
|
|
|
|
|
// See: https://github.com/rust-lang/rust-clippy/issues/650#issuecomment-184328984
|
|
|
|
|
x.split("ß");
|
|
|
|
|
x.split("ℝ");
|
|
|
|
|
x.split("💣");
|
|
|
|
|
// Can't use this lint for unicode code points which don't fit in a char
|
|
|
|
|
x.split("❤️");
|
|
|
|
|
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');
|
|
|
|
|
x.splitn(0, 'x');
|
|
|
|
|
x.rsplitn(0, 'x');
|
|
|
|
|
x.matches('x');
|
|
|
|
|
x.rmatches('x');
|
|
|
|
|
x.match_indices('x');
|
|
|
|
|
x.rmatch_indices('x');
|
|
|
|
|
x.trim_start_matches('x');
|
|
|
|
|
x.trim_end_matches('x');
|
|
|
|
|
// Make sure we escape characters correctly.
|
|
|
|
|
x.split('\n');
|
2019-04-08 14:55:50 +02:00
|
|
|
|
x.split('\'');
|
|
|
|
|
x.split('\'');
|
2019-01-04 11:22:38 +01:00
|
|
|
|
|
|
|
|
|
let h = HashSet::<String>::new();
|
|
|
|
|
h.contains("X"); // should not warn
|
|
|
|
|
|
|
|
|
|
x.replace(";", ",").split(','); // issue #2978
|
|
|
|
|
x.starts_with('\x03'); // issue #2996
|
|
|
|
|
|
|
|
|
|
// Issue #3204
|
|
|
|
|
const S: &str = "#";
|
|
|
|
|
x.find(S);
|
2019-08-09 05:45:49 +02:00
|
|
|
|
|
|
|
|
|
// Raw string
|
|
|
|
|
x.split('a');
|
|
|
|
|
x.split('a');
|
2019-08-09 05:45:49 +02:00
|
|
|
|
x.split('a');
|
|
|
|
|
x.split('\'');
|
|
|
|
|
x.split('#');
|
2019-01-04 11:22:38 +01:00
|
|
|
|
}
|