bors 1927c2e1d8 Auto merge of #13830 - nyurik:lints, r=lnicola
Minor manual cleanup

* use default derive
* use `strip_prefix` where possible to avoid dup work
2022-12-24 17:58:32 +00:00
..
2022-12-23 02:52:14 -05:00
2022-12-23 02:52:14 -05:00
2022-12-23 02:52:14 -05:00
2022-12-23 02:20:03 -05:00
2022-12-23 02:52:14 -05:00
2022-12-23 02:52:14 -05:00
2022-12-23 02:20:03 -05:00
2022-12-23 03:11:53 -05:00
2022-12-23 02:52:14 -05:00
2022-12-23 02:52:14 -05:00
2022-12-23 02:52:14 -05:00
2022-12-23 03:11:53 -05:00