diff options
Diffstat (limited to 'src/tools/clippy/src/docs/single_char_add_str.txt')
| -rw-r--r-- | src/tools/clippy/src/docs/single_char_add_str.txt | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/tools/clippy/src/docs/single_char_add_str.txt b/src/tools/clippy/src/docs/single_char_add_str.txt deleted file mode 100644 index cf23dc0c8..000000000 --- a/src/tools/clippy/src/docs/single_char_add_str.txt +++ /dev/null @@ -1,18 +0,0 @@ -### What it does -Warns when using `push_str`/`insert_str` with a single-character string literal -where `push`/`insert` with a `char` would work fine. - -### Why is this bad? -It's less clear that we are pushing a single character. - -### Example -``` -string.insert_str(0, "R"); -string.push_str("R"); -``` - -Use instead: -``` -string.insert(0, 'R'); -string.push('R'); -```
\ No newline at end of file |