bors e960b5e774 Auto merge of #104863 - nnethercote:reduce-lint-macros, r=cjgillot
Reduce macro usage for lints

r? `@cjgillot`
2022-12-02 15:31:15 +00:00
..
2022-10-23 10:09:44 +02:00
2022-12-02 15:24:01 +11:00
2022-10-23 10:09:44 +02:00
2022-10-23 10:09:44 +02:00
2022-10-23 10:09:44 +02:00
2022-10-23 10:09:44 +02:00
2022-10-23 10:09:44 +02:00
2022-11-24 17:49:42 +00:00
2022-10-23 10:09:44 +02:00
2022-11-25 00:04:54 -03:00