bors
547ace8051
Auto merge of #117742 - weiznich:turn_overlapping_diagnostic_options_into_warnings, r=compiler-errors
...
Add some additional warnings for duplicated diagnostic items
This commit adds warnings if a user supplies several diagnostic options where we can only apply one of them. We explicitly warn about ignored options here. In addition a small test for these warnings is added.
r? `@compiler-errors`
For now that's the last PR to improve the warnings generated by misused `#[diagnostic::on_unimplemented]` attributes. I'm not sure what needs to be done next to move this closer to stabilization.
2023-11-18 02:57:09 +00:00
..
2023-10-30 08:46:02 +11:00
2023-11-15 19:41:28 -05:00
2023-11-15 19:41:28 -05:00
2023-11-17 20:57:12 +00:00
2023-11-17 23:04:22 +01:00
2023-11-15 21:45:48 -05:00
2023-11-16 16:19:04 +00:00
2023-11-15 19:41:28 -05:00
2023-11-15 19:41:28 -05:00
2023-11-17 14:27:20 +00:00
2023-11-15 21:45:48 -05:00
2023-11-16 21:15:07 +00:00
2023-11-15 19:41:28 -05:00
2023-11-17 23:04:21 +01:00
2023-11-17 23:04:21 +01:00
2023-11-17 08:58:18 +00:00
2023-11-15 19:41:28 -05:00
2023-11-15 19:41:28 -05:00
2023-11-17 23:04:23 +01:00
2023-11-15 19:41:28 -05:00
2023-11-15 19:41:28 -05:00
2023-11-15 19:41:28 -05:00
2023-11-16 16:19:04 +00:00
2023-11-15 19:41:28 -05:00
2023-11-15 19:41:28 -05:00
2023-10-30 08:46:02 +11:00
2023-11-15 19:41:28 -05:00
2023-11-06 16:23:09 +00:00
2023-11-17 09:29:48 +00:00
2023-11-04 19:48:44 +01:00
2023-11-17 09:29:48 +00:00
2023-11-15 19:41:28 -05:00
2023-11-13 17:09:26 +11:00
2023-11-17 23:04:22 +01:00
2023-11-17 17:30:41 +11:00
2023-10-30 08:46:02 +11:00
2023-11-17 23:04:22 +01:00
2023-11-08 20:42:32 +00:00
2023-11-16 12:45:27 +00:00
2023-11-11 15:24:33 +01:00
2023-11-15 21:45:48 -05:00
2023-11-17 09:29:48 +00:00
2023-11-17 23:04:22 +01:00
2023-11-17 09:29:48 +00:00
2023-11-08 22:55:28 +01:00
2023-11-17 09:29:48 +00:00
2023-11-02 19:35:00 +11:00
2023-11-17 20:57:12 +00:00
2023-11-15 14:55:35 +00:00
2023-11-15 21:45:48 -05:00
2023-11-15 19:41:28 -05:00
2023-11-15 19:41:28 -05:00
2023-11-16 16:49:22 +11:00
2023-11-17 23:04:23 +01:00
2023-11-15 19:41:28 -05:00
2023-11-17 13:28:07 +03:00
2023-11-17 23:28:17 +03:00
2023-11-15 19:41:28 -05:00
2023-11-15 19:41:28 -05:00
2023-11-17 23:04:21 +01:00
2023-11-18 02:57:09 +00:00
2023-11-13 09:45:20 +11:00
2023-10-30 08:46:02 +11:00
2023-11-17 23:04:22 +01:00
2023-11-15 01:24:44 +00:00
2023-11-17 23:28:17 +03:00