diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2021-12-02 22:16:10 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-02 22:16:10 +0100 |
| commit | fd6e66f42382f40625dc8f03cefc9a26af320d6f (patch) | |
| tree | bb563d26de6b5826e95127657c1408e78935d123 /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | b56e3d955ade558ed68b774fdb382310830ada26 (diff) | |
| parent | 4910fe6889174a432201958043e19e2222e46b69 (diff) | |
| download | rust-fd6e66f42382f40625dc8f03cefc9a26af320d6f.tar.gz rust-fd6e66f42382f40625dc8f03cefc9a26af320d6f.zip | |
Rollup merge of #91329 - Aaron1011:modulo-regions-test, r=jackh726
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