bors 607b8299c5 Auto merge of #4382 - jeremystucki:unnecessary_fold_span, r=flip1995 ...

Change span of unnecessary_fold lint

Resolves #4381

changelog: Change linted span of `unnecessary_fold`

2019-08-15 12:57:51 +00:00

..

auxiliary

…

ui

Auto merge of #4382 - jeremystucki:unnecessary_fold_span, r=flip1995

2019-08-15 12:57:51 +00:00

ui-toml

Update ui-toml tests

2019-08-14 09:58:00 +02:00

compile-test.rs

…

dogfood.rs

…

fmt.rs

…

matches.rs

…

missing-test-files.rs

…

needless_continue_helpers.rs

…

versioncheck.rs

…