bors 79d3b30cd7 Auto merge of #4801 - mikerite:to_digit_is_some, r=flip1995
To digit is some

Add a lint that recommends replacing `to_digit().is_some()` with `is_digit()` on `char`s

changelog: Add lint `to_digit_is_some`
2019-11-11 11:28:27 +00:00
..
2019-09-27 18:01:04 +02:00
2019-10-15 09:58:11 +02:00
2019-10-26 21:54:04 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-02 21:15:28 +02:00
2019-10-02 21:15:28 +02:00
2019-09-25 14:45:18 -07:00
2019-10-03 08:10:29 +09:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-11-07 17:11:06 +01:00
2019-11-07 17:11:06 +01:00
2019-11-07 17:11:06 +01:00
2019-11-07 17:11:06 +01:00
2019-11-07 17:11:06 +01:00
2019-10-15 09:58:11 +02:00
2019-10-18 07:40:48 +02:00
2019-10-18 07:40:48 +02:00
2019-10-15 09:58:11 +02:00
2019-10-02 09:39:04 +02:00
2019-11-06 18:15:04 +01:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-26 21:54:04 +02:00
2019-10-26 21:54:04 +02:00
2019-10-03 08:10:29 +09:00
2019-10-03 08:10:29 +09:00
2019-10-15 09:58:11 +02:00
2019-10-18 07:40:48 +02:00
2019-10-18 07:40:48 +02:00
2019-10-08 08:46:29 -05:00
2019-10-08 08:46:29 -05:00
2019-10-08 08:46:29 -05:00
2019-10-08 08:46:29 -05:00
2019-10-08 08:46:29 -05:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-18 07:40:48 +02:00
2019-10-18 07:40:48 +02:00
2019-10-18 07:40:48 +02:00
2019-10-18 07:40:48 +02:00
2019-10-03 08:10:29 +09:00
2019-10-26 21:54:04 +02:00
2019-10-03 08:10:29 +09:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-03 08:10:29 +09:00
2019-10-03 08:10:29 +09:00
2019-10-03 08:10:29 +09:00
2019-10-14 12:09:04 +02:00
2019-10-14 12:09:04 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-03 08:10:29 +09:00
2019-10-03 08:10:29 +09:00
2019-11-10 15:52:59 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-26 21:54:04 +02:00
2019-10-03 08:10:29 +09:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-18 07:40:48 +02:00
2019-10-18 07:40:48 +02:00
2019-10-02 22:38:00 +07:00