diff options
| author | Aaron Hill <aa1ronham@gmail.com> | 2021-03-16 19:28:27 -0400 |
|---|---|---|
| committer | Aaron Hill <aa1ronham@gmail.com> | 2021-03-24 16:01:37 -0400 |
| commit | 102b5789b266dc28d2781d6a8689ffdd3c0f9e47 (patch) | |
| tree | c6b200355ac74ca9f26c08442907f41c7ccc1fc5 /compiler/rustc_llvm/llvm-wrapper/PassWrapper.cpp | |
| parent | f5fe425c925ef36d5f4c18cfa44173fc42de31b8 (diff) | |
| download | rust-102b5789b266dc28d2781d6a8689ffdd3c0f9e47.tar.gz rust-102b5789b266dc28d2781d6a8689ffdd3c0f9e47.zip | |
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.
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/PassWrapper.cpp')
0 files changed, 0 insertions, 0 deletions