diff options
| author | bors <bors@rust-lang.org> | 2024-01-12 07:04:42 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-01-12 07:04:42 +0000 |
| commit | 2b1365b34f0d5ee43944c4266a625923a7b312dd (patch) | |
| tree | 96d391dd71accc4a0e703f32174c1278c901380b /compiler/rustc_resolve | |
| parent | 5431404b87967c69438ea1e698edbe96505f0798 (diff) | |
| parent | 13aa90042fca87b4209e81fbd6b7d4d03285b4a4 (diff) | |
| download | rust-2b1365b34f0d5ee43944c4266a625923a7b312dd.tar.gz rust-2b1365b34f0d5ee43944c4266a625923a7b312dd.zip | |
Auto merge of #119735 - lcnr:provisional-cache-readd, r=compiler-errors
next solver: provisional cache this adds the cache removed in #115843. However, it should now correctly track whether a provisional result depends on an inductive or coinductive stack. While working on this, I was using the following doc: https://hackmd.io/VsQPjW3wSTGUSlmgwrDKOA. I don't think it's too helpful to understanding this, but am somewhat hopeful that the inline comments are more useful. There are quite a few future perf improvements here. Given that this is already very involved I don't believe it is worth it (for now). While working on this PR one of my few attempts to significantly improve perf ended up being unsound again because I was not careful enough :sparkles: r? `@compiler-errors`
Diffstat (limited to 'compiler/rustc_resolve')
0 files changed, 0 insertions, 0 deletions