diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-09-28 09:15:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-28 09:15:25 +0200 |
| commit | cb4c3ad41c87082111c9aaa443b66365e9a5db04 (patch) | |
| tree | 45365419ef3c4e007752d604476b59ab0e4f9ddf /compiler/rustc_pattern_analysis/src | |
| parent | f349faa25ff6c6f4c27643be15decae765a6c6db (diff) | |
| parent | 4e44d58bbc199ff7c17a98b283621a6df327d60f (diff) | |
| download | rust-cb4c3ad41c87082111c9aaa443b66365e9a5db04.tar.gz rust-cb4c3ad41c87082111c9aaa443b66365e9a5db04.zip | |
Rollup merge of #147061 - lcnr:provisional-cache-woops, r=BoxyUwU
fix rebasing cycle heads when not reaching a fixpoint
fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/232
annoyingly subtle, imagine the following proof tree
- A (no cycle head usages, final result Y)
- *ignored* B (depends on A with provisional result X)
- A (cycle, provisional result X)
- B (using the cache entry here incorrectly assumes A has final result X)
r? ``@BoxyUwU``
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions