bors 47ada9ae07 Auto merge of #4243 - mikerite:fix-4058, r=flip1995
Fix `never_loop` false positive

Closes #4058

changelog: none
2019-07-01 08:10:25 +00:00
..
2019-05-28 15:34:25 +02:00
2019-05-12 13:07:58 +02:00
2019-05-12 13:07:58 +02:00
2019-04-30 16:45:28 -03:00
2019-04-30 16:45:28 -03:00
2019-04-30 16:45:28 -03:00
2019-04-30 16:45:28 -03:00
2019-05-08 09:24:24 +02:00
2019-05-08 09:24:24 +02:00
2019-05-21 13:08:19 +02:00
2019-05-21 13:08:19 +02:00
2019-04-02 11:39:43 -03:00
2019-04-25 19:41:23 -07:00
2019-05-14 13:46:10 +02:00
2019-05-21 13:08:19 +02:00
2019-05-21 13:08:19 +02:00
2019-05-21 13:08:19 +02:00
2019-03-19 06:57:41 +01:00
2019-03-19 06:57:41 +01:00
2019-03-19 06:57:41 +01:00
2019-04-01 20:37:05 +02:00
2019-06-21 14:46:34 +02:00
2019-07-01 07:22:04 +02:00
2019-05-12 10:18:38 +02:00
2019-05-12 10:18:38 +02:00
2019-06-08 13:35:04 +02:00
2019-06-14 10:45:03 +02:00
2019-06-14 10:45:03 +02:00
2019-04-02 11:39:43 -03:00
2019-06-30 18:28:12 -04:00
2019-06-30 18:28:12 -04:00
2019-06-30 18:28:12 -04:00
2019-05-08 09:24:24 +02:00