Nicholas Nethercote
e7724a2e31
Add level
arg to into_diagnostic
.
...
And make all hand-written `IntoDiagnostic` impls generic, by using
`DiagnosticBuilder::new(dcx, level, ...)` instead of e.g.
`dcx.struct_err(...)`.
This means the `create_*` functions are the source of the error level.
This change will let us remove `struct_diagnostic`.
Note: `#[rustc_lint_diagnostics]` is added to `DiagnosticBuilder::new`,
it's necessary to pass diagnostics tests now that it's used in
`into_diagnostic` functions.
2023-12-19 09:19:25 +11:00
..
2023-12-15 10:59:32 +11:00
2023-09-26 09:37:55 +02:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-11-21 20:13:40 +01:00
2023-11-21 20:13:40 +01:00
2023-12-02 09:01:19 +11:00
2023-11-08 22:55:28 +01:00
2023-10-13 08:59:36 +00:00
2023-12-10 10:56:22 +08:00
2023-11-26 21:05:08 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-11 23:11:20 +01:00
2023-11-15 21:45:48 -05:00
2023-12-14 08:30:36 -05:00
2023-11-21 20:13:40 +01:00
2023-12-15 23:56:24 +01:00
2023-10-06 15:46:11 +00:00
2023-10-30 10:29:08 +01:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-10-20 21:14:01 +00:00
2023-10-10 11:17:27 +02:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-19 09:19:25 +11:00
2023-10-20 21:10:38 +00:00
2023-11-21 20:13:40 +01:00
2023-12-17 19:50:38 +00:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-12 19:28:13 +01:00
2023-12-10 10:56:22 +08:00
2023-12-02 09:01:19 +11:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-10-10 11:17:27 +02:00
2023-11-21 20:13:40 +01:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-09-21 08:12:30 +02:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-11-28 21:11:24 +01:00
2023-12-10 10:56:22 +08:00
2023-09-21 08:12:30 +02:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2023-11-14 17:07:34 +01:00
2023-11-21 20:13:40 +01:00
2023-12-10 10:56:22 +08:00