Dylan DPC
64f6c00772
Rollup merge of #112443 - compiler-errors:next-solver-opportunistically-resolve-regions, r=lcnr ...
Opportunistically resolve regions in new solver
Use `opportunistic_resolve_var` during canonicalization to collapse some regions.
We have to start using `CanonicalVarValues::is_identity_modulo_regions`. We also have to modify that function to consider responses like `['static, ^0, '^1, ^2]` to be an "identity" response, since because we opportunistically resolve regions, there's no longer a 1:1 mapping between canonical var values and bound var indices in the response...
There's one nasty side-effect -- one test (`tests/ui/dyn-star/param-env-infer.rs`) starts to ICE because the certainty goes from `Yes` to `Maybe(Overflow)`... Not exactly sure why, though? Putting this up for discussion/investigation.
r? ```@lcnr```
2023-06-16 14:46:15 +05:30
2023-06-11 00:27:03 +00:00
2023-06-11 22:18:23 +00:00
2023-06-12 20:24:48 +08:00
2023-06-12 20:24:48 +08:00
2023-06-12 20:24:48 +08:00
2023-05-29 22:33:46 +03:00
2023-06-02 19:22:25 +00:00
2023-06-06 12:00:33 +02:00
2023-06-12 20:24:48 +08:00
2023-05-31 17:45:45 +00:00
2023-06-14 09:28:54 +02:00
2023-05-24 19:35:59 -03:00
2023-05-30 12:40:35 +02:00
2023-05-30 13:03:40 +02:00
2023-06-15 12:01:38 +02:00
2023-06-01 14:45:18 +00:00
2023-06-12 20:24:48 +08:00
2023-05-26 06:55:06 +10:00
2023-06-05 21:00:08 +00:00
2023-05-21 14:16:41 +02:00
2023-06-15 12:01:38 +02:00
2023-05-31 17:45:45 +00:00
2023-05-26 13:15:15 -04:00
2023-06-10 00:06:34 +08:00
2023-06-08 12:33:17 +00:00
2023-06-12 01:02:19 +03:00
2023-05-21 14:16:41 +02:00
2023-06-12 15:15:45 +08:00
2023-06-12 20:24:48 +08:00
2023-06-13 21:54:11 +00:00
2023-06-12 20:24:48 +08:00
2023-05-21 14:16:41 +02:00
2023-06-15 12:01:38 +02:00
2023-06-12 20:24:48 +08:00
2023-06-12 20:24:48 +08:00
2023-06-10 00:06:34 +08:00
2023-06-14 05:20:31 +00:00
2023-06-05 21:20:51 +00:00
2023-05-27 18:49:07 +08:00
2023-06-08 16:30:05 +00:00
2023-06-01 02:28:31 +08:00
2023-06-12 20:24:48 +08:00
2023-06-15 17:59:13 +08:00
2023-06-09 21:57:37 +00:00
2023-06-13 15:32:42 -04:00
2023-06-08 16:30:05 +00:00
2023-06-10 14:46:11 -04:00
2023-05-21 17:48:36 -07:00
2023-05-29 19:58:11 +03:00
2023-06-15 22:04:56 +02:00
2023-05-25 17:40:46 +00:00
2023-05-31 16:51:25 +00:00
2023-06-12 20:24:48 +08:00
2023-06-15 06:50:56 -04:00
2023-05-26 13:15:15 -04:00
2023-06-12 20:24:48 +08:00
2023-06-05 08:34:06 +00:00
2023-06-10 00:06:34 +08:00
2023-06-12 20:24:48 +08:00
2023-06-15 22:04:57 +02:00
2023-06-01 14:45:18 +00:00
2023-06-15 12:01:38 +02:00
2023-05-21 14:16:41 +02:00
2023-06-15 12:01:38 +02:00
2023-05-27 16:35:16 +02:00
2023-06-12 15:15:45 +08:00
2023-05-31 14:02:57 +00:00
2023-06-12 20:24:48 +08:00
2023-05-21 13:37:32 +02:00
2023-06-12 01:02:19 +03:00
2023-06-10 05:07:53 +00:00
2023-05-27 00:18:28 +02:00
2023-06-12 01:02:19 +03:00
2023-06-12 20:24:48 +08:00
2023-06-09 21:57:37 +00:00
2023-05-21 13:37:32 +02:00
2023-06-15 18:19:09 +08:00
2023-06-12 20:24:48 +08:00
2023-06-13 23:04:00 -07:00
2023-06-01 23:22:54 +00:00
2023-05-23 03:23:52 +00:00
2023-06-06 18:43:20 +00:00
2023-06-01 14:45:18 +00:00
2023-06-05 21:00:08 +00:00
2023-05-29 12:07:41 -03:00
2023-06-15 12:01:38 +02:00
2023-06-01 18:21:42 +00:00
2023-05-24 11:18:20 -05:00
2023-05-26 18:55:02 +01:00
2023-05-26 12:16:30 -05:00
2023-06-15 12:01:38 +02:00
2023-06-16 14:46:15 +05:30
2023-06-12 16:56:21 -07:00
2023-05-24 14:52:19 -07:00
2023-05-21 14:16:41 +02:00
2023-06-12 20:24:48 +08:00
2023-06-12 20:24:48 +08:00
2023-06-01 11:09:43 +05:30
2023-06-14 18:10:30 +02: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-06-15 12:01:38 +02:00
2023-06-13 15:48:57 +02:00
2023-06-15 12:01:38 +02:00
2023-06-13 07:02:28 +02:00
2023-05-24 19:35:59 -03:00
2023-06-12 20:24:48 +08:00
2023-05-27 16:35:16 +02:00
2023-05-21 13:37:32 +02:00
2023-06-12 20:24:48 +08:00
2023-05-21 14:16:41 +02:00
2023-05-21 14:16:41 +02:00
2023-06-12 20:24:48 +08:00
2023-06-08 16:17:30 +00:00
2023-06-12 20:24:48 +08:00
64f6c00772