bors
07c993eba8
Auto merge of #108369 - compiler-errors:ty-error-more, r=BoxyUwU
...
Use `tcx.ty_error_with_guaranteed` in more places, rename variants
1. Use `ty_error_with_guaranteed` more so we don't delay so many span bugs
2. Rename `ty_error_with_guaranteed` to `ty_error`, `ty_error` to `ty_error_misc`. This is to incentivize using the former over the latter in cases where we already are witness to a `ErrorGuaranteed` token.
Second commit is just name replacement, so the first commit can be reviewed on its own with more scrutiny.
2023-02-23 09:20:10 +00:00
..
2023-02-02 07:34:41 +01:00
2023-02-17 12:39:05 +01:00
2022-12-10 18:45:34 +01:00
2022-12-10 18:45:34 +01:00
2023-02-21 11:51:56 +11:00
2023-02-22 21:52:26 +00:00
2023-02-22 20:18:14 +00:00
2023-02-21 11:51:56 +11:00
2023-02-22 09:15:53 +00:00
2023-02-04 22:28:59 +01:00
2023-02-23 09:20:10 +00:00
2023-02-22 09:15:53 +00:00
2023-02-22 18:26:51 +00:00
2023-02-22 18:26:51 +00:00
2023-02-22 18:26:51 +00:00
2023-02-22 18:26:51 +00:00
2023-02-22 18:26:51 +00:00
2023-02-22 08:44:30 +00:00
2023-02-02 07:47:39 +01:00
2023-02-22 09:15:54 +00:00
2023-02-06 06:58:30 -05:00
2023-02-22 09:15:54 +00:00
2023-02-22 09:15:54 +00:00
2023-02-22 09:15:54 +00:00
2023-02-18 02:42:43 +00:00
2022-12-01 17:34:43 +00:00
2023-01-05 19:01:12 +01:00
2023-02-22 08:40:33 -07:00
2023-02-23 09:20:10 +00:00
2023-01-30 12:26:26 +00:00
2023-02-23 09:20:10 +00:00
2023-02-22 09:15:53 +00:00
2023-01-19 15:25:33 +00:00
2023-02-23 09:20:10 +00:00
2023-02-22 15:14:22 +00:00
2023-02-14 23:25:01 +08:00
2023-02-22 18:26:51 +00:00
2023-02-09 11:47:12 +11:00
2023-02-14 20:54:25 -05:00
2023-02-11 17:18:44 +01:00
2023-02-22 18:26:51 +00:00
2023-02-22 09:15:53 +00:00
2023-02-23 09:20:10 +00:00
2023-02-23 09:20:10 +00:00
2023-02-22 09:15:53 +00:00
2023-02-23 06:18:06 +01:00
2023-02-22 18:26:51 +00:00
2023-02-22 09:15:53 +00:00
2023-02-16 15:26:03 +00:00
2023-02-23 00:19:12 +00:00
2023-02-22 09:15:53 +00:00
2023-02-23 00:19:12 +00:00
2023-02-21 11:51:55 +11:00
2023-02-22 15:14:22 +00:00
2023-02-23 00:19:12 +00:00
2023-02-21 07:02:57 +00:00
2023-02-22 15:14:22 +00:00
2023-02-19 22:59:22 +00:00
2023-02-22 18:26:51 +00:00
2023-02-18 05:58:41 +00:00
2023-02-23 09:20:10 +00:00
2023-02-22 22:23:45 +00:00
2023-02-22 17:04:58 +00:00
2023-02-22 22:23:45 +00:00
2023-02-18 19:24:55 +00:00