diff options
| author | lcnr <rust@lcnr.de> | 2024-07-23 14:21:52 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-08-12 10:33:04 +0200 |
| commit | 7b86c98068f0b4280598f36e655b5e83d21f9258 (patch) | |
| tree | b3174843c3a3459fa3d8c81d6f86e0569f4919f3 /compiler/rustc_llvm/llvm-wrapper/PassWrapper.cpp | |
| parent | 1d8f135b20fac63c493d5963ce02963b46ca0986 (diff) | |
| download | rust-7b86c98068f0b4280598f36e655b5e83d21f9258.tar.gz rust-7b86c98068f0b4280598f36e655b5e83d21f9258.zip | |
do not use the global solver cache for proof trees
doing so requires overwriting global cache entries and generally adds significant complexity to the solver. This is also only ever done for root goals, so it feels easier to wrap the `evaluate_canonical_goal` in an ordinary query if necessary.
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/PassWrapper.cpp')
0 files changed, 0 insertions, 0 deletions