Matthias Krüger
09b255d3d4
Rollup merge of #130116 - veera-sivarajan:freeze-suggestions, r=chenyukang
...
Implement a Method to Seal `DiagInner`'s Suggestions
This PR adds a method on `DiagInner` called `.seal_suggestions()` to prevent new suggestions from being added while preserving existing suggestions.
This is useful because currently there is no way to prevent new suggestions from being added to a diagnostic. `.disable_suggestions()` is the closest but it gets rid of all suggestions before and after the call.
Therefore, `.seal_suggestions()` can be used when, for example, misspelled keyword is detected and reported. In such cases, we may want to prevent other suggestions from being added to the diagnostic, as they would likely be meaningless once the misspelled keyword is identified. For context: https://github.com/rust-lang/rust/pull/129899#discussion_r1741307132
To store an additional state, the type of the `suggestions` field in `DiagInner` was changed into a three variant enum. While this change affects files across different crates, care was taken to preserve the existing code's semantics. This is validated by the fact that all UI tests pass without any modifications.
r? chenyukang
2024-09-18 04:42:31 +02:00
..
2024-04-12 12:59:40 +09:00
2024-08-04 00:11:16 +08:00
2024-07-12 03:02:57 +00:00
2024-06-19 00:27:41 +02:00
2024-09-12 21:27:44 -04:00
2024-07-24 13:16:46 -04:00
2024-07-18 20:08:38 +00:00
2024-09-12 21:27:44 -04:00
2024-07-18 19:23:42 +00:00
2024-08-28 22:55:57 +09:00
2024-08-01 13:11:24 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-07-18 19:23:42 +00:00
2024-07-18 20:08:38 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-07-12 03:02:57 +00:00
2023-11-24 19:15:52 +01:00
2024-07-07 17:11:04 +02:00
2024-07-07 17:11:04 +02:00
2023-12-12 15:54:25 +11:00
2023-12-12 15:54:25 +11:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-02-20 16:09:09 +00:00
2024-02-20 16:09:09 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-03-01 02:03:00 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-07-11 00:00:03 -04:00
2024-07-11 00:00:03 -04:00
2023-11-10 12:13:53 -08:00
2024-07-25 17:01:32 +08:00
2023-10-09 22:48:10 +00:00
2024-05-22 19:47:32 +08:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-10-09 19:24:05 +00:00
2024-07-12 03:02:57 +00:00
2024-07-18 20:08:38 +00:00
2023-11-24 19:15:52 +01:00
2024-07-16 12:06:25 -04:00
2024-07-16 12:06:25 -04:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-03-08 20:56:25 +00:00
2023-10-25 19:07:34 +00:00
2023-11-24 19:15:52 +01:00
2024-07-12 03:02:57 +00:00
2023-09-06 09:05:07 +05:30
2024-04-12 12:59:40 +09:00
2023-11-11 16:00:13 +01:00
2023-11-11 16:00:13 +01:00
2024-07-18 20:08:38 +00:00
2024-03-12 21:32:21 +01:00
2024-03-12 21:32:21 +01:00
2024-07-12 03:02:57 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-10-20 02:54:45 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-06-04 14:19:42 -03:00
2024-06-04 14:19:42 -03:00
2024-05-11 15:49:51 -07:00
2024-05-11 15:49:51 -07:00
2024-02-22 18:05:28 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-12-26 20:59:14 -08:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-09-21 22:20:58 +02:00
2024-04-22 17:47:35 +02:00
2024-04-22 17:47:35 +02:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-09-06 23:07:45 -04:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-07-08 10:04:03 +04:00
2024-07-08 10:04:03 +04:00
2023-11-16 16:19:04 +00:00
2023-11-16 16:19:04 +00:00
2024-02-28 20:59:32 +11:00
2024-02-28 20:59:32 +11:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-09-14 18:07:06 +02:00
2024-09-14 18:07:06 +02:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-07-12 03:02:57 +00:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-03-07 23:03:42 +00:00
2024-03-07 23:03:42 +00:00
2024-07-11 12:12:00 +04:00
2024-07-11 12:12:00 +04:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-14 21:04:51 +00:00
2024-03-18 16:08:58 +00:00
2023-11-24 19:15:52 +01:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2024-03-05 00:12:15 +01:00
2024-03-05 00:12:15 +01:00
2024-06-30 17:08:45 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-08-04 00:11:16 +08:00
2024-02-16 20:02:50 +00:00
2024-08-04 00:11:16 +08:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-07-12 03:02:57 +00:00
2023-11-24 19:15:52 +01:00
2024-04-21 15:43:43 -03:00
2024-04-21 15:43:43 -03:00
2024-04-21 15:43:43 -03:00
2024-04-21 15:43:43 -03:00
2023-10-28 08:53:51 +08:00
2023-10-28 08:53:51 +08:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2024-02-01 16:18:03 +01:00
2024-02-01 16:18:03 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-07-12 03:02:57 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-14 20:15:13 +00:00
2024-07-12 03:02:57 +00:00
2024-05-18 18:12:18 +02:00
2024-01-29 11:25:09 +11:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-07-12 03:02:57 +00:00
2024-07-12 03:02:57 +00:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-07-12 03:22:32 +00:00
2023-12-12 14:42:04 +01:00
2024-07-12 03:02:57 +00:00
2024-07-12 03:02:57 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-07-25 17:01:32 +08:00
2024-07-25 17:01:32 +08:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-03-01 02:03:00 +00:00
2023-11-24 19:15:52 +01:00
2024-07-08 10:04:03 +04:00
2024-07-08 10:04:03 +04:00
2024-07-08 10:04:03 +04:00
2024-07-08 10:04:03 +04:00
2023-11-24 19:15:52 +01:00
2023-10-04 01:35:07 +00:00
2023-10-04 01:35:07 +00:00
2024-07-08 10:04:03 +04:00
2024-07-08 10:04:03 +04:00
2024-07-08 10:04:03 +04:00
2024-07-08 10:04:03 +04:00
2024-07-08 10:04:03 +04:00
2024-07-08 10:04:03 +04:00
2024-07-08 10:04:03 +04:00
2024-07-08 10:04:03 +04:00
2023-11-24 19:15:52 +01:00
2024-07-08 10:04:03 +04:00
2024-07-08 10:04:03 +04:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-10-21 15:56:01 +00:00
2024-02-16 20:02:50 +00:00
2023-10-21 15:56:01 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-07-12 03:02:57 +00:00
2023-11-24 19:15:52 +01:00
2024-03-01 02:03:00 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-06-04 14:19:43 -03:00
2024-06-26 08:50:50 +08:00
2024-07-12 03:02:57 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-03-22 17:25:57 +01:00
2024-07-18 20:08:38 +00:00
2024-07-18 20:08:38 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-12-28 15:02:17 +01:00
2023-12-28 15:02:17 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-01-28 16:12:21 +01:00
2024-01-28 16:12:21 +01:00
2024-01-28 16:12:21 +01:00
2024-01-28 16:12:21 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-01-28 16:12:21 +01:00
2024-01-28 16:12:21 +01:00
2024-01-28 16:12:21 +01:00
2024-01-28 16:12:21 +01:00
2024-01-28 16:12:21 +01:00
2024-01-28 16:12:21 +01:00
2024-01-28 16:12:21 +01:00
2024-01-28 16:12:21 +01:00
2024-01-28 16:12:21 +01:00
2024-07-12 03:02:57 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-07-12 03:02:57 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-01-08 16:06:37 -08:00
2024-01-08 16:06:37 -08:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2023-12-04 10:40:09 -08:00
2023-12-04 10:40:09 -08:00
2023-11-24 19:15:52 +01:00
2024-07-12 03:02:57 +00:00
2024-07-16 12:06:25 -04:00
2024-07-16 12:06:25 -04:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-11-09 00:31:42 -08:00
2023-11-09 00:31:42 -08:00
2024-07-18 20:08:38 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-07-12 03:02:57 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-01-30 21:28:18 +00:00
2023-08-28 10:30:48 +01:00
2023-08-28 10:30:48 +01:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2023-08-28 10:30:48 +01:00
2023-08-28 10:30:48 +01:00
2023-09-21 22:20:58 +02:00
2024-07-18 18:20:35 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-07-11 20:39:24 +00:00
2023-11-24 19:15:52 +01:00
2024-08-09 05:52:53 +00:00
2024-08-09 05:52:53 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-07 10:42:01 +08:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-05-20 19:55:59 -07:00
2024-03-18 21:35:18 -07:00
2023-10-26 23:04:20 +00:00
2023-10-26 23:04:20 +00:00
2024-07-18 19:23:42 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-06-17 22:35:25 -04:00
2024-07-12 03:02:57 +00:00
2024-07-12 03:02:57 +00:00
2024-07-12 03:02:57 +00:00
2024-07-12 03:02:57 +00:00
2024-07-25 20:53:33 +03:00
2024-02-16 20:02:50 +00:00
2024-04-12 12:59:40 +09:00
2024-04-12 12:59:40 +09:00
2024-04-12 12:59:40 +09:00
2024-02-16 20:02:50 +00:00
2024-02-14 20:15:13 +00:00
2024-02-16 20:02:50 +00:00
2024-07-18 20:08:38 +00:00
2023-11-24 19:15:52 +01:00
2024-07-18 20:08:38 +00:00
2023-11-24 19:15:52 +01:00
2024-03-17 23:35:18 +00:00
2024-03-17 23:35:18 +00:00
2024-07-12 03:02:57 +00:00
2024-07-18 20:08:43 +00:00
2024-07-18 20:08:38 +00:00
2024-07-12 03:02:57 +00:00
2023-11-24 19:15:52 +01:00
2024-07-12 03:02:57 +00:00
2024-07-23 00:29:39 -03:00
2024-07-23 00:29:39 -03:00
2024-07-23 00:29:39 -03:00
2023-10-21 15:56:01 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2024-07-12 03:02:57 +00:00
2023-11-24 19:15:52 +01:00
2024-02-16 20:02:50 +00:00
2024-07-18 20:08:38 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-07-18 20:08:38 +00:00
2024-02-16 20:02:50 +00:00
2024-07-18 20:08:38 +00:00
2024-06-01 20:57:15 +02:00
2024-06-01 20:57:15 +02:00
2024-06-22 23:30:31 -07:00
2024-06-22 23:30:31 -07:00
2024-02-16 20:02:50 +00:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00
2023-11-24 19:15:52 +01:00