bors
595f783f22
Auto merge of #10321 - mkrasnitski:false-positives, r=flip1995
...
Fix false positives for `extra_unused_type_parameters`
Don't lint external macros. Also, if the function body is empty, any type parameters with bounds on them are not linted. Note that only the body needs be empty - this rule still applies if the function takes any arguments.
fixes #10318
fixes #10319
changelog: none
<!-- changelog_checked -->
2023-02-15 14:37:16 +00:00
..
2023-01-30 16:16:53 -07:00
2023-02-14 23:27:46 +00:00
2023-02-12 16:19:51 -03:00
2023-02-12 16:19:51 -03:00
2023-02-04 19:28:11 +00:00
2023-02-04 19:28:11 +00:00
2023-02-04 19:28:11 +00:00
2023-02-12 08:56:21 +01:00
2023-01-27 21:09:08 +01:00
2023-02-12 08:56:21 +01:00
2023-02-14 15:37:48 +01:00
2023-02-14 15:37:48 +01:00
2023-02-11 12:22:25 -05:00
2023-02-11 12:22:25 -05:00
2020-04-04 12:52:03 -07:00
2022-07-03 15:37:30 -04:00
2023-01-29 17:35:36 -05:00
2023-02-01 22:51:02 +01:00
2023-02-01 22:51:02 +01:00
2023-02-15 00:47:43 +01:00
2023-01-30 17:29:29 -07:00
2023-01-30 17:29:29 -07:00
2023-01-27 21:09:08 +01:00
2023-01-30 20:42:40 +03:00
2023-01-30 20:42:40 +03:00
2023-02-02 19:37:34 -05:00
2023-02-02 19:37:34 -05:00
2023-02-02 19:37:34 -05:00
2023-01-30 10:10:52 -07:00
2023-02-15 11:26:30 +08:00
2023-02-15 11:26:30 +08:00
2023-02-15 11:26:30 +08:00
2023-02-14 09:55:44 +01:00
2023-02-14 09:55:44 +01:00
2023-02-02 19:37:34 -05:00
2023-02-02 19:37:34 -05:00
2023-02-02 19:37:34 -05:00
2023-02-02 19:37:34 -05:00
2023-01-26 15:33:40 +00:00
2023-01-26 15:33:40 +00:00
2023-02-02 19:37:34 -05:00
2023-02-02 19:37:34 -05:00
2023-02-10 22:35:23 +01:00
2023-02-10 19:02:39 +01:00
2023-02-07 15:39:19 +05:30
2023-02-13 16:16:31 +09:00
2023-02-13 16:16:31 +09:00
2023-02-13 16:16:31 +09:00
2023-01-30 20:12:19 +00:00
2023-01-27 21:09:08 +01:00
2023-01-27 21:09:08 +01:00
2023-01-27 21:09:08 +01:00
2023-02-11 12:22:25 -05:00
2023-02-11 12:22:25 -05:00
2023-02-15 08:49:43 +01:00
2023-02-15 08:49:43 +01:00
2023-01-27 21:09:08 +01:00
2023-01-24 18:22:35 -05:00
2023-01-24 18:22:35 -05:00
2023-01-30 17:29:29 -07:00
2023-01-30 17:29:29 -07:00