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

..

src

Use EvaluatedToOkModuloRegions whenever we erase regions

2021-03-24 16:01:37 -04:00

Cargo.toml

bumped smallvec deps

2021-02-14 18:03:11 +03:00