bors
76c73827dc
Auto merge of #126130 - compiler-errors:goal-relations, r=lcnr
...
Make `ObligationEmittingRelation`s emit `Goal` rather than `Obligation`
Helps avoid needing to uplift `Obligation` into the solver. We still can't get rid of `ObligationCause`, but we can keep it as an associated type for `InferCtxtLike` and just give it a `dummy` function.
There's some shuttling between `Goal` and `Obligation` that may be perf-sensitive... Let's see what rust-timer says.
r? lcnr
2024-06-12 03:35:31 +00:00
..
2024-06-07 20:14:28 +02:00
2024-06-10 19:55:49 +10:00
2024-06-10 21:27:25 +03:00
2024-06-06 20:26:27 -05:00
2024-06-11 20:11:21 +00:00
2024-06-10 19:55:49 +10:00
2024-06-11 14:10:11 -04:00
2024-06-06 20:54:51 -05:00
2024-06-10 13:43:16 +02:00
2024-06-10 13:43:16 +02:00
2024-06-10 21:12:25 +02:00
2024-06-10 13:43:16 +02:00
2024-06-11 12:16:09 +02:00
2024-06-10 19:55:49 +10:00
2024-06-11 15:47:00 +02:00
2024-06-05 18:21:08 +02:00
2024-06-11 09:14:34 +01:00
2024-06-08 18:17:55 +02:00
2024-06-07 09:08:59 +00:00
2024-06-07 09:08:59 +00:00
2024-06-07 08:33:58 +00:00
2024-06-12 03:35:31 +00:00
2024-06-10 19:55:49 +10:00
2024-06-11 14:10:11 -04:00
2024-06-06 10:06:28 +00:00
2024-06-11 21:27:45 +01:00
2024-06-11 09:14:34 +01:00
2024-06-06 09:47:10 +00:00
2024-06-07 15:58:50 -04:00
2024-06-11 14:16:47 +01:00
2024-06-10 21:12:25 +02:00
2024-06-11 02:03:12 +00:00
2024-06-07 04:02:59 +00:00
2024-06-10 19:55:49 +10:00
2024-06-07 20:14:30 +02:00
2024-06-11 09:08:28 +02:00
2024-06-10 13:43:16 +02:00
2024-06-10 19:55:49 +10:00
2024-06-06 09:47:10 +00:00
2024-06-11 09:14:35 +01:00
2024-06-05 22:25:42 +01:00
2024-06-06 21:53:29 +02:00
2024-06-06 10:06:28 +00:00
2024-06-10 02:20:16 +03:00
2024-06-05 22:25:41 +01:00
2024-06-08 18:17:55 +02:00
2024-06-12 03:35:31 +00:00
2024-06-10 13:43:16 +02:00
2024-06-10 13:43:16 +02:00
2024-06-06 07:50:19 -04:00
2024-06-10 19:55:49 +10:00