Benjamin Sago 002080cde8 Clippy pedantic lints
This commit fixes a couple of Clippy warnings, and adds the list of lints we're OK with.

It does raise some important warnings, such as those to do with casting, which aren't allowed so they can be fixed later.
2020-10-13 01:46:17 +01:00
..
2020-10-13 01:46:17 +01:00
2020-10-10 15:30:19 +01:00
2020-10-13 00:54:06 +01:00
2020-10-13 01:46:17 +01:00
2020-10-13 01:46:17 +01:00
2020-10-10 20:02:55 +01:00