Noratrieb
e78d78868a
Allow #[deny(..)] inside #[forbid(..)] as a no-op with a warning
...
Forbid cannot be overriden. When someome tries to do this anyways,
it results in a hard error. That makes sense.
Except it doesn't, because macros. Macros may reasonably use `#[deny]`
in their expansion to assert
that their expanded code follows the lint. This is doesn't work when the
output gets expanded into a `forbid()` context. This is pretty silly,
since both the macros and the code agree on the lint!
Therefore, we allow `#[deny(..)]`ing a lint that's already forbidden,
keeping the level at forbid.
2024-10-18 18:18:41 +02:00
..
2024-10-11 17:41:52 -07:00
2024-10-15 11:50:31 +00:00
2024-10-07 11:15:04 -07:00
2024-10-15 11:50:31 +00:00
2024-10-15 14:21:34 +00:00
2024-10-15 11:50:31 +00:00
2024-10-16 09:41:49 +02:00
2024-10-17 10:22:52 +02:00
2024-10-15 11:50:31 +00:00
2024-10-11 15:32:56 -06:00
2024-10-11 15:32:56 -06:00
2024-10-16 01:16:44 +00:00
2024-10-15 12:33:36 -04:00
2024-10-16 14:40:08 +00:00
2024-10-16 14:40:08 +00:00
2024-10-07 11:10:53 -07:00
2024-10-09 10:28:16 -07:00
2024-10-07 12:23:54 +02:00
2024-10-15 11:50:31 +00:00
2024-10-15 20:13:55 -07:00
2024-10-15 11:50:31 +00:00
2024-10-17 12:07:19 +02:00
2024-10-14 09:20:38 -04:00
2024-10-17 12:07:23 +02:00
2024-10-06 23:28:30 +09:00
2024-10-10 12:49:18 +02:00
2024-10-14 23:22:51 +02:00
2024-10-17 10:22:52 +02:00
2024-10-15 13:11:00 +02:00
2024-10-08 18:21:16 -06:00
2024-10-18 18:18:41 +02:00
2024-10-18 18:18:41 +02:00
2024-10-11 16:53:50 -05:00
2024-10-11 13:11:13 +00:00
2024-10-17 10:22:52 +02:00
2024-10-16 19:18:30 +02:00
2024-10-14 16:35:47 +11:00
2024-10-17 04:34:51 +00:00
2024-10-14 16:37:54 +02:00
2024-10-17 10:22:52 +02:00
2024-10-15 11:50:31 +00:00
2024-10-14 23:22:51 +02:00
2024-10-15 14:39:49 -04:00
2024-09-29 13:31:30 +02:00
2024-10-04 23:31:55 +00:00
2024-10-03 12:47:08 +03:00
2024-10-01 21:23:20 -06:00
2024-10-16 23:50:13 -07:00
2024-10-04 14:02:09 -04:00
2024-10-16 15:44:16 +02:00
2024-10-15 13:11:00 +02:00
2024-10-06 19:00:09 +02:00
2024-10-15 01:30:01 +00:00
2024-10-17 12:07:20 +02:00
2024-10-17 10:22:52 +02:00
2024-10-17 10:22:52 +02:00
2024-10-04 14:02:09 -04:00
2024-10-11 10:04:22 +02:00
2024-10-17 12:07:22 +02:00
2024-10-16 20:15:56 +02:00