Clean up (sub)diagnostic derives#101851
Merged
bors merged 9 commits intorust-lang:masterfrom Xiretza:diagnostic-derive-cleanupsSep 26, 2022
+912-762
Commits
Commits on Sep 22, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed