bors
ad963232d9
Auto merge of #113471 - compiler-errors:new-solver-norm-escaping, r=lcnr
...
Allow escaping bound vars during `normalize_erasing_regions` in new solver
Add `AllowEscapingBoundVars` to `deeply_normalize`, and use it in the new solver in the `query_normalize` routine.
Ideally, we'd make all `query_normalize` calls handle pass in `AllowEscapingBoundVars` individually, because really the only `query_normalize` call that needs `AllowEscapingBoundVars::Yes` is the one in `try_normalize_generic_arg_after_erasing_regions`, but I think that's kind of overkill. I am happy to be convinced otherwise, though.
r? `@lcnr`
2023-07-14 21:14:30 +00:00
..
2023-07-03 13:40:20 +01:00
2023-06-18 18:44:14 +08:00
2023-07-10 20:09:26 +00:00
2023-06-23 19:39:57 +02:00
2023-06-25 23:03:22 +09:00
2023-07-03 18:46:14 +02:00
2023-07-08 18:21:34 -03:00
2023-06-12 20:24:48 +08:00
2023-07-12 12:11:09 +00:00
2023-06-22 23:31:06 +00:00
2023-07-10 20:09:26 +00:00
2023-07-14 07:12:38 +08:00
2023-07-10 20:09:26 +00:00
2023-07-14 07:12:35 +08:00
2023-06-24 21:45:17 +08:00
2023-07-14 13:27:35 +01:00
2023-06-19 09:01:29 +02:00
2023-07-10 20:09:28 +00:00
2023-06-29 23:31:25 +08:00
2023-07-14 03:47:02 +00:00
2023-07-10 20:09:26 +00:00
2023-06-27 23:31:06 +00:00
2023-06-29 23:31:25 +08:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:26 +00:00
2023-06-15 12:01:38 +02:00
2023-07-05 19:52:28 -04:00
2023-07-14 13:11:31 +00:00
2023-06-10 00:06:34 +08:00
2023-06-19 16:22:21 +01:00
2023-06-08 12:33:17 +00:00
2023-07-10 20:09:26 +00:00
2023-06-26 08:56:32 +00:00
2023-06-22 16:50:31 +00:00
2023-07-10 19:01:30 +00:00
2023-06-27 23:31:06 +00:00
2023-07-03 09:12:15 +02:00
2023-06-12 20:24:48 +08:00
2023-07-10 20:09:26 +00:00
2023-07-07 13:13:18 +00:00
2023-06-30 00:34:14 +00:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:26 +00:00
2023-07-14 01:59:08 +00:00
2023-07-10 19:01:30 +00:00
2023-06-05 21:20:51 +00:00
2023-07-01 11:53:31 +08:00
2023-07-11 21:00:28 -07:00
2023-06-12 20:24:48 +08:00
2023-07-13 12:19:22 +02:00
2023-06-27 23:31:06 +00:00
2023-06-19 20:00:41 +00:00
2023-06-08 16:30:05 +00:00
2023-06-10 14:46:11 -04:00
2023-07-10 20:09:26 +00:00
2023-07-05 19:52:28 -04:00
2023-07-05 19:52:28 -04:00
2023-07-13 08:26:02 +08:00
2023-07-14 07:12:35 +08:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:26 +00:00
2023-06-17 16:10:57 +00:00
2023-06-27 23:31:06 +00:00
2023-06-10 00:06:34 +08:00
2023-07-10 20:09:28 +00:00
2023-07-10 20:09:26 +00:00
2023-06-27 23:31:06 +00:00
2023-07-14 13:27:35 +01:00
2023-06-27 23:31:06 +00:00
2023-07-10 20:09:26 +00:00
2023-06-21 11:43:14 +03:00
2023-06-27 23:31:06 +00:00
2023-06-15 12:01:38 +02:00
2023-07-11 02:40:59 +00:00
2023-07-11 01:19:11 +02:00
2023-07-01 02:28:15 -04:00
2023-06-12 20:24:48 +08:00
2023-07-11 17:52:43 +08:00
2023-06-29 13:42:58 +03:00
2023-06-29 16:24:07 +03:00
2023-06-27 23:31:06 +00:00
2023-06-22 16:50:31 +00:00
2023-07-07 16:02:24 +00:00
2023-07-10 20:09:26 +00:00
2023-07-13 08:26:02 +08:00
2023-06-26 08:56:32 +00:00
2023-07-12 12:11:09 +00:00
2023-06-29 13:42:58 +03:00
2023-07-05 11:04:28 -05:00
2023-07-10 20:09:26 +00:00
2023-06-06 18:43:20 +00:00
2023-06-28 03:47:02 +00:00
2023-06-20 19:46:01 -04:00
2023-06-22 16:50:31 +00:00
2023-07-14 07:12:35 +08:00
2023-07-01 07:07:50 +00:00
2023-07-14 13:27:35 +01:00
2023-06-15 12:01:38 +02:00
2023-07-14 15:03:21 +00:00
2023-06-29 15:11:35 -07:00
2023-06-27 16:12:07 +02:00
2023-06-12 20:24:48 +08:00
2023-06-27 23:31:06 +00:00
2023-06-12 20:24:48 +08:00
2023-06-27 23:31:06 +00:00
2023-07-08 20:53:27 +02:00
2023-07-04 05:00:46 -04:00
2023-07-08 20:53:27 +02:00
2023-06-27 23:31:06 +00:00
2023-06-30 00:34:14 +00:00
2023-06-27 17:10:14 +00:00
2023-06-15 12:01:38 +02:00
2023-06-13 15:48:57 +02:00
2023-06-20 08:42:37 +00:00
2023-06-13 07:02:28 +02:00
2023-07-10 20:09:26 +00:00
2023-07-11 01:19:11 +02:00
2023-06-22 16:50:31 +00:00
2023-06-12 20:24:48 +08:00
2023-07-10 20:09:26 +00:00
2023-06-12 20:24:48 +08:00
2023-06-12 20:24:48 +08:00
2023-06-08 16:17:30 +00:00
2023-07-10 20:09:26 +00:00
2023-06-19 20:22:35 -07:00