Aaron Hill
102b5789b2
Use EvaluatedToOkModuloRegions
whenever we erase regions
...
Fixes #80691
When we evaluate a trait predicate, we convert an
`EvaluatedToOk` result to `EvaluatedToOkModuloRegions` if we erased any
regions. We cache the result under a region-erased 'freshened'
predicate, so `EvaluatedToOk` may not be correct for other predicates
that have the same cache key.
2021-03-24 16:01:37 -04:00
..
2021-03-19 19:45:32 -05:00
2021-03-19 15:03:24 +01:00
2021-03-23 17:16:20 +00:00
2021-03-23 17:16:20 +00:00
2021-03-23 17:16:20 +00:00
2021-03-23 17:16:20 +00:00
2021-03-19 19:45:32 -05:00
2021-03-19 19:45:32 -05:00
2021-03-20 17:22:24 +01:00
2021-03-22 19:48:27 +00:00
2021-03-22 19:48:27 +00:00
2021-03-22 12:18:57 +00:00
2021-03-24 12:02:13 +00:00
2021-03-23 17:16:20 +00:00
2021-03-17 09:52:45 -04:00
2021-03-23 10:15:43 +09:00
2021-03-23 10:15:43 +09:00
2021-03-23 17:16:20 +00:00
2021-03-23 17:16:20 +00:00
2021-03-22 19:22:06 +01:00
2021-03-23 20:01:40 +00:00
2021-03-21 20:10:53 +01:00
2021-03-19 19:45:32 -05:00
2021-03-14 21:31:46 -04:00
2021-03-22 14:37:49 -04:00
2021-03-23 17:16:20 +00:00
2021-03-23 17:16:20 +00:00
2021-03-23 17:16:20 +00:00
2021-03-22 19:48:27 +00:00
2021-03-23 10:15:43 +09:00
2021-03-19 19:45:32 -05:00
2021-03-24 04:13:27 +00:00
2021-03-23 17:16:20 +00:00
2021-03-16 22:42:56 +00:00
2021-03-19 21:47:57 -04:00
2021-03-23 17:16:20 +00:00
2021-03-23 17:16:20 +00:00
2021-03-19 19:35:22 +01:00
2021-03-24 12:02:13 +00:00
2021-03-23 17:16:20 +00:00
2021-03-19 19:45:32 -05:00
2021-03-23 04:39:58 +08:00
2021-03-24 16:01:37 -04:00
2021-03-23 17:16:20 +00:00
2021-03-21 20:10:53 +01:00
2021-03-24 14:45:16 +00:00