bors ea1da921c8
Auto merge of #138915 - compiler-errors:binder-tweak, r=lcnr ...
Instantiate binder before registering nested obligations for auto/built-in traits
Instead of turning a `Binder<Vec<Ty>>` into a bunch of higher-ranked predicates, instantiate the binder eagerly *once* and turn them into a bunch of non-higher-ranked predicates.
Right now this feels like a noop, but this `enter_forall_and_leak_universe` call would be the singular place where we could instantiate bound lifetime assumptions for coroutine witnesses... if we had them. Thus consolidating the binder instantiation here is useful if we want to fix the coroutine-auto-trait problem.
r? lcnr
2025-03-27 04:35:12 +00:00
2025-03-10 18:12:47 +08:00
2025-03-15 06:34:36 +00:00
2025-03-11 13:14:21 +11:00
2025-03-26 19:40:28 +11:00
2025-03-20 08:59:43 +11:00
2025-03-26 19:40:30 +11:00
2025-03-25 10:12:07 +00:00
2025-03-25 16:44:59 +00:00
2025-03-19 17:37:35 +01:00
2025-03-25 16:48:03 +11:00
2025-03-11 13:14:21 +11:00
2025-03-22 06:55:52 +00:00
2025-03-26 19:40:28 +11:00
2025-03-24 00:29:21 +00:00
2025-03-17 14:08:09 +00:00
2025-03-26 07:54:26 +00:00
2025-03-26 07:54:26 +00:00
2025-03-21 06:56:47 +01:00
2025-03-21 07:54:35 +01:00
2025-03-10 18:12:47 +08:00
2025-03-23 19:08:54 +08:00
2025-03-25 16:48:03 +11:00
2025-03-13 11:28:35 +01:00
2025-03-14 19:50:03 +00:00
2025-03-26 19:40:28 +11:00
2025-03-23 14:11:04 +00:00
2025-03-11 13:14:21 +11:00
2025-03-10 18:12:47 +08:00
2025-03-11 13:14:21 +11:00
2025-03-10 18:12:47 +08:00
2025-03-22 10:56:14 +00:00
2025-03-22 06:55:52 +00:00
2025-03-19 20:54:10 +11:00
2025-03-23 18:34:33 +00:00
2025-03-24 15:02:09 +00:00
2025-03-15 06:34:36 +00:00
2025-03-11 13:14:21 +11:00
2025-03-23 18:18:47 +00:00
2025-03-25 18:09:05 +01:00
2025-03-18 13:28:56 +01:00
2025-03-25 18:09:07 +01:00
2025-03-25 08:22:35 +01:00
2025-03-20 12:40:36 +11:00
2025-03-20 08:59:43 +11:00
2025-03-15 06:42:48 +00:00
2025-03-26 19:40:27 +11:00
2025-03-26 00:15:34 +00:00
2025-03-26 19:40:31 +11:00
2025-03-12 17:27:43 +00:00
2025-03-21 21:23:50 +11:00
2025-03-25 11:30:57 +01:00
2025-03-24 16:57:06 +00:00
2025-03-26 19:40:28 +11:00
2025-03-23 07:30:18 +01:00
2025-03-25 16:20:43 +11:00
2025-03-20 14:31:34 +00:00
2025-03-25 12:40:02 +03:00
2025-03-25 18:09:05 +01:00
2025-03-26 17:36:52 +00:00
2025-03-26 19:40:28 +11:00
2025-03-20 08:59:43 +11:00
2025-03-20 08:59:50 +11:00
2025-03-26 19:40:27 +11:00
2025-03-20 08:59:43 +11:00
2025-03-26 14:11:48 +00:00
2025-03-20 08:59:43 +11:00
2025-03-26 00:06:46 +00:00
2025-03-24 23:52:08 +00:00
2025-03-12 10:19:32 -07:00
2025-03-18 07:17:16 +00:00
2025-03-24 16:57:07 +00:00
2025-03-23 18:13:52 +00:00
2025-03-15 06:34:36 +00:00
2025-03-22 11:59:17 +01:00
bors
ea1da921c8