diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2022-06-30 10:26:17 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2022-06-30 10:49:23 -0400 |
| commit | 7fda86249fd37e5ff148427771423bfefc0b1e4a (patch) | |
| tree | 869642f35b9b2a6a70101db53672001fc2e33c81 /compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp | |
| parent | 7425fb293f510a6f138e82a963a3bc599a5b9e1c (diff) | |
| download | rust-7fda86249fd37e5ff148427771423bfefc0b1e4a.tar.gz rust-7fda86249fd37e5ff148427771423bfefc0b1e4a.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_llvm/llvm-wrapper/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions