diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-12-03 07:48:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-03 07:48:33 +0100 |
| commit | 68279097d478433ecba15d1823bef2d0fdc4107c (patch) | |
| tree | 8e4917597b63d3e4b4eaa7b1d3b5aa6f16016cda /compiler/rustc_codegen_llvm/src | |
| parent | 9709334061d7af36e696f1f020208d179b691419 (diff) | |
| parent | 398fd901d5f8afa982eeb0f9318d9d0e4e791f44 (diff) | |
| download | rust-68279097d478433ecba15d1823bef2d0fdc4107c.tar.gz rust-68279097d478433ecba15d1823bef2d0fdc4107c.zip | |
Rollup merge of #133517 - compiler-errors:deep-norm, r=lcnr
Deeply normalize when computing implied outlives bounds r? lcnr Unfortunately resolving regions is still slightly scuffed (though in an unrelated way). Specifically, we should be normalizing our param-env outlives when constructing the `OutlivesEnv`; otherwise, these assumptions (https://github.com/rust-lang/rust/blob/dd2837ec5de4301a692e05a7c4475e980af57a57/compiler/rustc_infer/src/infer/outlives/env.rs#L78) are not constructed correctly. Let me know if you want us to track that somewhere.
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions