Georg Semmler
5b8a7a0917
#[diagnostic::on_unimplemented] without filters
...
This commit adds support for a `#[diagnostic::on_unimplemented]`
attribute with the following options:
* `message` to customize the primary error message
* `note` to add a customized note message to an error message
* `label` to customize the label part of the error message
Co-authored-by: León Orell Valerian Liehr <me@fmease.dev >
Co-authored-by: Michael Goulet <michael@errs.io >
2023-09-12 20:03:18 +02:00
..
2023-07-30 13:18:33 +02:00
2023-09-08 09:14:07 +02:00
2023-08-23 20:05:14 -04:00
2023-09-12 20:03:18 +02:00
2023-09-12 07:27:17 +08:00
2023-08-24 12:52:35 +00:00
2023-08-24 12:52:35 +00:00
2023-08-25 00:02:54 +00:00
2023-09-12 07:27:17 +08:00
2023-08-27 20:16:19 -04:00
2023-09-08 17:20:23 +00:00
2023-09-01 14:27:21 -07:00
2023-09-11 14:29:10 +10:00
2023-09-11 23:08:40 +03:00
2023-09-12 09:02:27 +00:00
2023-09-11 21:16:20 +02:00
2023-07-03 07:20:51 +00:00
2023-09-10 09:44:03 +00:00
2023-09-10 23:06:14 +02:00
2023-08-23 20:05:14 -04:00
2023-09-08 17:20:23 +00:00
2023-09-07 20:21:13 +00:00
2023-09-12 20:03:18 +02:00
2023-09-05 22:40:36 +02:00
2023-09-12 03:34:55 +00:00
2023-08-08 19:23:41 +00:00
2023-09-12 06:34:46 +02:00
2023-09-08 02:08:52 +02:00
2023-08-24 11:10:52 +00:00
2023-09-11 19:01:38 +00:00
2023-09-11 21:16:22 +02:00
2023-07-29 08:47:21 +08:00
2023-09-11 21:16:21 +02:00
2023-09-12 20:03:18 +02:00
2023-09-09 00:28:19 +02:00
2023-07-30 13:18:33 +02:00
2023-08-23 20:05:14 -04:00
2023-09-12 07:27:17 +08:00
2023-09-12 20:03:18 +02:00
2023-09-05 17:20:07 +00:00
2023-09-11 16:29:41 +00:00
2023-09-11 16:29:42 +00:00
2023-09-05 07:15:16 +02:00
2023-09-06 19:31:50 +02:00
2023-09-05 19:11:50 +02:00
2023-09-12 20:03:18 +02:00
2023-09-11 17:03:31 +02:00
2023-09-01 19:13:09 +03:00
2023-09-11 01:43:29 +00:00
2023-09-12 20:03:18 +02:00
2023-09-04 12:16:50 -04:00
2023-09-11 10:46:55 +00:00
2023-09-11 21:16:23 +02:00
2023-09-09 10:56:24 +00:00
2023-08-24 21:02:06 -07:00
2023-09-12 06:34:45 +02:00
2023-09-12 20:03:18 +02:00
2023-09-01 19:13:09 +03:00
2023-09-06 06:48:34 +08:00
2023-09-11 12:51:07 +10:00
2023-09-07 17:31:35 +10:00