diff options
| author | bors <bors@rust-lang.org> | 2023-05-22 17:56:26 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-05-22 17:56:26 +0000 |
| commit | cfcde247cd9ff23c193f520b4930ccedffa584b2 (patch) | |
| tree | f95bbd71d1f4152cff90a9e903b2003f029fd917 /compiler/rustc_codegen_llvm/src | |
| parent | 2fe47b966a8ee689d697583be4182262e7b4fd08 (diff) | |
| parent | c5ec1b8bc57797d3a01aa1258139fcfb3c629628 (diff) | |
| download | rust-cfcde247cd9ff23c193f520b4930ccedffa584b2.tar.gz rust-cfcde247cd9ff23c193f520b4930ccedffa584b2.zip | |
Auto merge of #111754 - lcnr:recursion-depth, r=matthewjasper
fix recursion depth handling after confirmation fixes #111729 I think having to use `Obligation::with_depth` correctly everywhere is very hard because e.g. the nested obligations from `eq` currently do not have the correct obligation depth. The new solver [completely removes `recursion_depth` from obligations](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/traits/solve/struct.Goal.html) and instead tracks the depth in the solver itself which is far easier to get right. Moving the old solver towards this shouldn't be that hard but is probably somewhat annoying. r? `@matthewjasper`
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions