From: bors <bors@rust-lang.org>
Date: Wed, 24 Mar 2021 20:51:37 +0000 (+0000)
Subject: Auto merge of #83220 - Aaron1011:fix/eval-region-cache, r=nikomatsakis
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=07e0e2ec268c140e607e1ac7f49f145612d0f597;p=rust.git

Auto merge of #83220 - Aaron1011:fix/eval-region-cache, r=nikomatsakis

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.
---

07e0e2ec268c140e607e1ac7f49f145612d0f597