src/tools/clippy/src/docs/single_char_add_str.txt

   1 ### What it does
   2 Warns when using `push_str`/`insert_str` with a single-character string literal
   3 where `push`/`insert` with a `char` would work fine.
   4
   5 ### Why is this bad?
   6 It's less clear that we are pushing a single character.
   7
   8 ### Example
   9 ```
  10 string.insert_str(0, "R");
  11 string.push_str("R");
  12 ```
  13
  14 Use instead:
  15 ```
  16 string.insert(0, 'R');
  17 string.push('R');
  18 ```