bors
dd104ef163
Auto merge of #126623 - oli-obk:do_not_count_errors, r=davidtwco
...
Replace all `&DiagCtxt` with a `DiagCtxtHandle<'_>` wrapper type
r? `@davidtwco`
This paves the way for tracking more state (e.g. error tainting) in the diagnostic context handle
Basically I will add a field to the `DiagCtxtHandle` that refers back to the `InferCtxt`'s (and others) `Option<ErrorHandled>`, allowing us to immediately taint these contexts when emitting an error and not needing manual tainting anymore (which is easy to forget and we don't do in general anyway)
2024-06-18 16:49:19 +00:00
..
2024-06-16 21:35:21 -04:00
2024-06-18 15:30:46 +02:00
2024-06-16 21:35:21 -04:00
2024-06-16 21:35:21 -04:00
2024-05-13 08:20:18 +10:00
2023-12-10 10:56:22 +08:00
2023-12-10 10:56:22 +08:00
2024-06-14 16:54:29 -04:00
2023-12-10 10:56:22 +08:00
2024-05-09 22:55:00 -04:00
2024-01-23 08:09:05 +11:00
2024-05-13 08:20:18 +10:00
2024-04-20 16:01:35 +02:00
2024-04-20 19:20:38 +00:00
2024-06-16 21:35:21 -04:00
2024-02-12 09:33:52 +00:00
2024-03-19 09:19:58 +00:00
2023-11-21 20:13:40 +01:00
2024-06-10 13:43:16 +02:00
2024-05-13 08:20:18 +10:00
2024-04-17 13:00:43 +02:00
2024-01-07 15:12:10 +00:00
2023-12-10 10:56:22 +08:00
2024-05-31 00:22:40 +00:00
2024-04-19 08:31:41 -04:00
2024-04-08 19:20:07 +08:00
2024-05-13 08:20:18 +10:00
2024-06-03 13:24:44 +10:00
2024-06-18 15:42:11 +00:00
2024-05-13 08:20:18 +10:00
2024-05-17 18:33:37 -03:00
2024-06-13 12:13:54 +02:00
2024-06-16 21:35:21 -04:00
2024-06-05 22:25:41 +01:00
2024-05-27 08:25:57 +02:00
2024-06-13 15:37:13 +02:00
2024-05-08 16:57:31 +10:00
2024-06-16 21:35:21 -04:00
2024-01-15 19:07:11 +01:00
2024-05-28 09:28:51 -07:00
2024-04-17 13:00:43 +02:00
2024-06-10 13:43:16 +02:00
2024-05-09 22:55:00 -04:00
2023-12-10 10:56:22 +08:00
2024-06-05 22:25:41 +01:00
2024-05-31 00:22:40 +00:00
2024-03-19 16:59:23 -04:00
2023-12-10 10:56:22 +08:00
2024-06-13 15:37:13 +02:00
2024-05-13 08:20:18 +10:00
2024-02-15 15:54:28 +01:00
2023-12-10 10:56:22 +08:00
2024-01-23 20:58:44 +01:00
2023-12-10 10:56:22 +08:00
2024-01-07 15:12:10 +00:00
2024-02-06 02:22:58 +00:00
2024-06-13 15:37:13 +02:00
2024-06-13 15:37:13 +02:00
2024-06-16 21:35:21 -04:00
2024-03-24 12:53:03 +01:00
2024-06-10 13:43:16 +02:00
2024-04-03 19:06:22 +03:00
2024-06-10 00:06:02 -07:00
2024-06-14 16:54:29 -04:00
2024-05-13 08:20:18 +10:00
2024-05-13 08:20:18 +10:00
2024-05-13 08:20:18 +10:00
2024-06-16 21:35:21 -04:00