diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2022-06-30 10:26:17 -0400 |
|---|---|---|
| committer | Mark Rousskov <mark.simulacrum@gmail.com> | 2022-07-15 18:50:33 -0400 |
| commit | 44b476eb2bc9adddd3a247180d57782d8d07f788 (patch) | |
| tree | 3f6a267be8c10077dc667a041aa107848a98e728 /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | bcb9c2352bc8f45a5f4e5d57fdb68cfbc6161b24 (diff) | |
| download | rust-44b476eb2bc9adddd3a247180d57782d8d07f788.tar.gz rust-44b476eb2bc9adddd3a247180d57782d8d07f788.zip | |
promote placeholder bounds to 'static obligations
In NLL, when we are promoting a bound out from a closure, if we have a requirement that `T: 'a` where `'a` is in a higher universe, we were previously ignoring that, which is totally wrong. We should be promoting those constraints to `'static`, since universes are not expressible across closure boundaries.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions