rust/compiler/rustc_trait_selection
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