diff options
| author | Florian Diebold <[email protected]> | 2021-04-01 20:45:44 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-01 20:45:44 +0100 |
| commit | 0e8c4503bf4754f4437d8bd45a110b9d0ec671e0 (patch) | |
| tree | 0d09bc856ae7b8d5acc2dcc45226ea358dfa6412 /crates/profile/src/memory_usage.rs | |
| parent | 25201b2dad7b4b0d41494e238ebf643ad7ad8cd6 (diff) | |
Don't recheck obligations if we have learned nothing new
This is just the most trivial check: If no inference variables have been
updated, and there are no new obligations, we can just skip trying to
solve them again. We could be smarter about it, but this already helps
quite a bit, and I don't want to touch this too much before we replace
the inference table by Chalk's.
Fixes #8263 (well, improves it quite a bit).
Diffstat (limited to 'crates/profile/src/memory_usage.rs')
0 files changed, 0 insertions, 0 deletions