diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-05-22 16:04:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-22 16:04:16 +0200 |
| commit | 580bd6e16f4236a8bb8eb2b0df301dbbafbaca7d (patch) | |
| tree | 3aef83b7182867f8c7e5c18c7df3836ed83ffbee /compiler/rustc_codegen_llvm/src | |
| parent | abba16400756c3cef27ba90477ea485a81f35858 (diff) | |
| parent | 16b6ffe0dbced4eeb1828b3a5674786dedc56cfc (diff) | |
| download | rust-580bd6e16f4236a8bb8eb2b0df301dbbafbaca7d.tar.gz rust-580bd6e16f4236a8bb8eb2b0df301dbbafbaca7d.zip | |
Rollup merge of #141390 - compiler-errors:poly-select-new-solver, r=lcnr
Don't allow `poly_select` in new solver I added a `poly_select` call in #140519, but this causes an ICE since the new solver doesn't properly handle the "instantiate binder -> recanonicalize" step in the proof tree visitor. While we could fix the select visitor to look at the next step in proof tree, it's not really necessary. Instead, let's enforce that all callees call the non-higher-ranked `select` function in the new solver. Fixes https://github.com/rust-lang/rust/issues/141322 r? lcnr
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions