Nicholas Nethercote
30774b0061
Remove final unwanted unchecked_error_guaranteed
calls.
...
Now that error counts can't go up and down due to stashing/stealing, we
have a nice property:
(err_count > 0) iff (an ErrorGuaranteed has been produced)
So we can now record `ErrorGuaranteed`s within `DiagCtxt` and use that
in methods like `has_error`, instead of checking that the count is
greater than 0 and calling `unchecked_error_guaranteed` to create the
`ErrorGuaranteed`.
In fact, we can record a `Vec<ErrorGuaranteed>` and use its length to
count the number, instead of maintaining a separate count.
2024-02-12 18:29:19 +11:00
..
2024-02-06 13:12:33 +11:00
2024-02-10 18:15:11 +11:00
2024-02-10 03:52:13 +00:00
2024-02-09 14:41:50 +01:00
2024-02-09 14:41:50 +01:00
2024-02-06 13:12:33 +11:00
2024-02-10 12:24:46 +03:00
2024-02-09 14:41:50 +01:00
2024-02-09 15:34:48 +00:00
2024-02-09 14:41:50 +01:00
2024-02-10 12:26:14 +11:00
2024-02-10 13:12:31 +01:00
2024-02-11 23:19:09 +01:00
2024-02-10 00:58:38 +01:00
2024-02-09 14:41:50 +01:00
2024-02-10 16:12:55 +01:00
2024-02-09 14:41:50 +01:00
2024-02-12 18:29:19 +11:00
2024-02-09 14:41:50 +01:00
2024-02-10 16:12:55 +01:00
2024-02-06 13:12:33 +11:00
2024-02-06 13:12:33 +11:00
2024-02-06 13:12:33 +11:00
2024-02-11 23:19:08 +01:00
2024-02-12 05:05:57 +00:00
2024-02-09 14:41:50 +01:00
2024-02-11 23:19:08 +01:00
2024-02-06 13:12:33 +11:00
2024-02-06 13:12:33 +11:00
2024-02-08 07:44:34 -05:00
2024-02-11 23:19:08 +01:00
2024-02-09 14:41:52 +01:00
2024-02-06 13:12:33 +11:00
2024-02-11 23:19:08 +01:00
2024-02-10 12:26:14 +11:00
2024-02-09 14:41:50 +01:00
2024-02-06 13:12:33 +11:00
2024-02-09 14:41:50 +01:00
2024-02-10 22:58:26 +00:00
2024-02-12 00:34:22 +00:00
2024-02-11 23:19:08 +01:00
2024-02-10 18:15:11 +11:00
2024-02-11 22:13:52 +00:00
2024-02-11 01:37:55 +01:00
2024-02-06 02:22:58 +00:00
2024-02-09 14:41:50 +01:00
2024-02-06 13:12:33 +11:00
2024-02-11 23:19:08 +01:00
2024-02-09 14:41:50 +01:00
2024-02-09 14:41:50 +01:00
2024-02-06 13:12:33 +11:00
2024-02-09 14:41:50 +01:00
2024-02-09 14:41:50 +01:00
2024-02-06 13:12:33 +11:00
2024-02-09 14:41:50 +01:00
2024-02-08 11:49:08 -05:00
2024-02-11 01:37:54 +01:00
2024-02-09 14:41:50 +01:00
2024-02-10 18:15:11 +11:00
2024-02-11 23:19:08 +01:00
2024-02-06 13:12:33 +11:00
2024-02-06 13:12:33 +11:00
2024-02-11 22:13:52 +00:00
2024-02-09 14:41:50 +01:00
2024-02-08 11:49:08 -05:00