diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-04-25 07:50:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-25 07:50:26 +0200 |
| commit | 9eb00785567276e621bbda3e1042847b3859a78a (patch) | |
| tree | a2515ba94a305b1911de5bdbdc5da244296dc058 /compiler/rustc_llvm/src | |
| parent | 564e5ccb5c91aa520c63266b0af5a912efcbb089 (diff) | |
| parent | e5e3a95c1e411a76a45283ca6c42671024227301 (diff) | |
| download | rust-9eb00785567276e621bbda3e1042847b3859a78a.tar.gz rust-9eb00785567276e621bbda3e1042847b3859a78a.zip | |
Rollup merge of #140236 - lcnr:normalizes-to-goals, r=compiler-errors
norm nested aliases before evaluating the parent goal see the explanation of the underlying issue in tests/ui/traits/next-solver/normalize/eager-norm-pre-normalizes-to.rs. This is also the cause of https://github.com/rust-lang/trait-system-refactor-initiative/issues/184, fixing the overflow errors with the new solver. I did not add any tests based on it directly as relying on that behavior to cause recursion limit shenanigans feels fragile. Thanks `@Nadrieril` for minimizing the issue [on zulip](https://rust-lang.zulipchat.com/#narrow/channel/364551-t-types.2Ftrait-system-refactor/topic/typenum.20.602.20.2F.201.60.20overflow.20error/with/513993621). r? `@compiler-errors`
Diffstat (limited to 'compiler/rustc_llvm/src')
0 files changed, 0 insertions, 0 deletions