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-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-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-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-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-24 04:13:27 +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-24 12:02:13 +00:00
2021-03-23 17:16:20 +00: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