src/tools/clippy/src/docs/to_digit_is_some.txt

   1 ### What it does
   2 Checks for `.to_digit(..).is_some()` on `char`s.
   3
   4 ### Why is this bad?
   5 This is a convoluted way of checking if a `char` is a digit. It's
   6 more straight forward to use the dedicated `is_digit` method.
   7
   8 ### Example
   9 ```
  10 let is_digit = c.to_digit(radix).is_some();
  11 ```
  12 can be written as:
  13 ```
  14 let is_digit = c.is_digit(radix);
  15 ```