bors
983f4daddf
Auto merge of #100705 - compiler-errors:issue-100620, r=oli-obk
...
Avoid reporting overflow in `is_impossible_method`
Fixes #100620
We're evaluating a new predicate in a different param-env than it was checked during typeck, so be more careful about handling overflow errors. Instead of using `FulfillmentCtxt`, using `InferCtxt::evaluate_obligation` by itself will give us back the overflow error, so we can throw it away properly.
This may give us more false-positives, but it doesn't regress the `<HashMap as Iterator>::rev` example that originally motivated adding `is_impossible_method` in the first place.
2022-08-26 06:05:06 +00:00
..
2022-08-18 19:29:02 +01:00
2022-08-21 16:54:07 +02:00
2022-08-26 09:51:46 +09:00
2022-08-23 16:56:24 +10:00
2022-08-25 08:50:54 +09:00
2022-08-18 19:29:02 +01:00
2022-08-24 18:20:20 +02:00
2022-08-23 20:40:09 +05:30
2022-08-24 17:06:47 +00:00
2022-08-26 09:51:44 +09:00
2022-08-16 06:05:57 +02:00
2022-08-24 18:20:07 +02:00
2022-08-25 08:16:43 +00:00
2022-08-22 18:08:46 +08:00
2022-08-22 07:35:33 +10:00
2022-08-23 21:14:12 -05:00
2022-08-25 08:50:58 +09:00
2022-08-24 06:50:44 +09:00
2022-08-23 16:56:24 +10:00
2022-08-23 21:14:12 -05:00
2022-08-18 19:29:02 +01:00
2022-08-18 19:29:02 +01:00
2022-08-18 19:29:02 +01:00
2022-08-18 19:29:02 +01:00
2022-08-18 19:29:02 +01:00
2022-08-25 08:50:54 +09:00
2022-08-25 08:50:58 +09:00
2022-08-18 19:29:02 +01:00
2022-08-24 18:20:09 +02:00
2022-08-22 00:57:21 +09:00
2022-08-21 07:19:49 +00:00
2022-08-18 19:29:02 +01:00
2022-08-25 21:27:38 +00:00
2022-08-25 05:35:27 +00:00
2022-08-26 09:51:42 +09:00
2022-08-25 08:50:55 +09:00
2022-08-25 10:38:00 +02:00
2022-08-26 09:51:42 +09:00
2022-08-19 10:53:18 -07:00
2022-08-25 08:50:56 +09:00
2022-08-21 20:21:45 +00:00
2022-08-23 20:53:02 +09:00
2022-08-22 16:35:05 +01:00
2022-08-21 09:17:43 +02:00
2022-08-25 21:27:38 +00:00
2022-08-24 09:42:12 +08:00
2022-08-24 18:20:12 +02:00
2022-08-24 06:50:16 +09:00
2022-08-25 20:19:49 +00:00
2022-08-22 01:11:59 +09:00
2022-08-18 19:29:02 +01:00
2022-08-25 08:50:56 +09:00
2022-08-23 06:55:25 +02:00
2022-08-26 06:05:06 +00:00
2022-08-18 19:29:02 +01:00
2022-08-26 09:51:44 +09:00
2022-08-17 12:22:32 +02:00
2022-08-18 13:33:03 -04:00
2022-08-26 09:51:40 +09:00