diff options
| author | Aaron Hill <aa1ronham@gmail.com> | 2021-11-28 14:31:22 -0500 |
|---|---|---|
| committer | Aaron Hill <aa1ronham@gmail.com> | 2021-11-28 15:03:58 -0500 |
| commit | 4910fe6889174a432201958043e19e2222e46b69 (patch) | |
| tree | 7973428d3accd803a432cd9d00ab724721e607d6 /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | e6d2de9483a27f846f003fc745713339a9122473 (diff) | |
| download | rust-4910fe6889174a432201958043e19e2222e46b69.tar.gz rust-4910fe6889174a432201958043e19e2222e46b69.zip | |
Fix incorrect usage of `EvaluatedToOk` when evaluating `TypeOutlives`
A global predicate is not guarnatenteed to outlive all regions. If the predicate involves late-bound regions, then it may fail to outlive other regions (e.g. `for<'b> &'b bool: 'static` does not hold) We now only produce `EvaluatedToOk` when a global predicate has no late-bound regions - in that case, the ony region that can be present in the type is 'static
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions