Matthias Krüger
a99209738e
Rollup merge of #111991 - BoxyUwU:change_error_term_display, r=compiler-errors
...
Change ty and const error's pretty printing to be in braces
`[const error]` and `[type error]` are slightly confusing since they look like either a slice with an error type for the element ty or a slice with a const argument as the type ???. This PR changes them to display as `{const error}` and `{type error}` similar to `{integer}`.
This does not update the `Debug` impls for them which is done in #111988 .
I updated some error logic to avoid printing the substs of trait refs when unable to resolve an assoc item for them, this avoids emitting errors with `{type error}` in them. The substs are not relevant for these errors since we don't take into account the substs when resolving the assoc item.
r? ``@compiler-errors``
2023-05-27 00:24:01 +02:00
..
2023-04-30 00:06:26 +08:00
2023-05-08 03:36:30 +00:00
2023-05-05 22:40:04 +12:00
2023-05-24 01:17:38 +02:00
2023-05-03 19:41:15 +00:00
2023-05-12 00:10:52 +00:00
2023-05-23 03:43:09 +00:00
2023-05-21 14:16:41 +02:00
2023-05-18 17:37:08 +05:30
2023-05-06 18:40:47 +02:00
2023-05-12 00:10:52 +00:00
2023-05-25 13:58:00 -07:00
2023-05-12 00:10:52 +00:00
2023-05-27 00:24:01 +02:00
2023-05-05 20:36:21 +02:00
2023-05-26 09:53:05 +02:00
2023-05-12 00:10:52 +00:00
2023-05-08 17:58:01 -03:00
2023-05-05 01:22:17 -05:00
2023-05-08 17:58:01 -03:00
2023-05-12 00:10:52 +00:00
2023-05-05 22:40:05 +12:00
2023-05-21 14:16:41 +02:00
2023-05-04 18:06:07 +00:00
2023-05-12 00:10:52 +00:00
2023-05-25 03:35:14 +00:00
2023-05-26 13:15:15 -04:00
2023-05-09 20:49:32 +02:00
2023-05-15 00:00:00 +00:00
2023-05-18 01:47:55 +00:00
2023-05-21 14:16:41 +02:00
2023-05-11 21:41:07 +01:00
2023-05-09 20:35:39 -04:00
2023-05-05 13:02:43 -07:00
2023-05-13 21:34:05 +00:00
2023-05-11 12:14:57 -07:00
2023-05-08 17:58:01 -03:00
2023-05-21 14:16:41 +02:00
2023-05-16 11:39:38 +02:00
2023-05-01 16:37:00 +08:00
2023-05-21 13:37:32 +02:00
2023-05-26 08:24:08 +02:00
2023-05-23 13:14:34 +08:00
2023-05-09 20:49:31 +02:00
2023-05-03 20:09:10 +03:00
2023-05-16 18:50:26 +02:00
2023-05-18 01:47:55 +00:00
2023-05-15 21:16:35 +03:00
2023-05-13 21:34:05 +00:00
2023-05-05 16:05:04 -07:00
2023-05-05 21:42:54 +01:00
2023-05-27 00:23:57 +02:00
2023-05-21 13:37:32 +02:00
2023-05-21 13:37:32 +02:00
2023-04-30 14:08:26 +00:00
2023-05-26 13:15:15 -04:00
2023-05-12 00:10:52 +00:00
2023-05-08 03:36:30 +00:00
2023-05-05 18:54:06 +01:00
2023-05-24 19:16:07 +00:00
2023-05-21 14:16:41 +02:00
2023-05-03 20:09:10 +03:00
2023-05-11 18:06:31 +04:00
2023-05-12 00:10:52 +00:00
2023-05-20 15:20:27 +02:00
2023-05-21 14:16:41 +02:00
2023-04-29 13:01:46 +01:00
2023-05-17 17:56:26 +08:00
2023-05-16 11:39:38 +02:00
2023-05-25 18:17:02 +00:00
2023-05-21 13:37:32 +02:00
2023-05-08 03:42:21 +00:00
2023-05-09 20:49:31 +02:00
2023-05-03 20:09:10 +03:00
2023-05-21 13:37:32 +02:00
2023-05-01 15:05:39 +01:00
2023-05-19 22:11:54 +08:00
2023-05-21 14:16:41 +02:00
2023-05-22 14:52:52 +01:00
2023-05-21 13:37:32 +02:00
2023-05-22 14:52:52 +01:00
2023-05-05 16:19:18 +01:00
2023-05-02 10:32:08 +00:00
2023-05-21 13:37:32 +02:00
2023-05-03 22:41:29 +00:00
2023-05-23 03:23:52 +00:00
2023-05-05 14:58:52 -07:00
2023-05-09 12:33:45 +05:30
2023-05-09 12:33:46 +05:30
2023-04-29 13:01:46 +01:00
2023-05-21 13:37:32 +02:00
2023-05-08 03:36:30 +00:00
2023-05-08 14:58:09 +08:00
2023-05-19 20:58:06 +02:00
2023-04-30 00:06:26 +08:00
2023-05-24 11:18:20 -05:00
2023-05-25 03:35:14 +00:00
2023-05-21 14:16:41 +02:00
2023-05-16 11:39:39 +02:00
2023-05-22 23:33:34 +00:00
2023-05-08 03:36:30 +00:00
2023-05-01 16:15:17 +08:00
2023-05-26 16:01:29 +01:00
2023-05-18 09:29:48 +08:00
2023-05-24 19:16:07 +00:00
2023-05-03 20:09:10 +03:00
2023-05-18 01:53:01 +00:00
2023-05-23 12:46:25 -04:00
2023-04-29 13:01:46 +01:00
2023-05-16 20:30:48 +00:00
2023-05-12 00:10:52 +00:00
2023-05-09 20:35:39 -04:00
2023-05-09 20:35:39 -04:00
2023-05-21 13:37:32 +02:00
2023-05-09 20:35:39 -04:00
2023-05-21 14:16:41 +02:00
2023-05-21 14:16:41 +02:00
2023-05-10 19:36:02 +02:00
2023-05-04 15:39:21 +02:00
2023-05-03 20:09:10 +03:00
2023-05-15 21:22:13 +01:00