diff options
| author | Ariel Ben-Yehuda <ariel.byd@gmail.com> | 2017-08-20 19:16:36 +0300 |
|---|---|---|
| committer | Ariel Ben-Yehuda <ariel.byd@gmail.com> | 2017-08-27 18:13:23 +0300 |
| commit | 7534f7375badadec6b1e41c98f0953b3e547c42d (patch) | |
| tree | f6accb2dc2f2c304b7d5dd95549dca0638f9c3db /src/rustllvm/RustWrapper.cpp | |
| parent | 78e95bb7ac92f8f92654705a47cef652b6a0b259 (diff) | |
| download | rust-7534f7375badadec6b1e41c98f0953b3e547c42d.tar.gz rust-7534f7375badadec6b1e41c98f0953b3e547c42d.zip | |
clear out projection subobligations after they are processed
After a projection was processed, its derived subobligations no longer need any processing when encountered, and can be removed. This improves the status of #43787. This is actually complementary to #43938 - that PR fixes selection caching (and @remram44's example, which "accidentally" worked because of the buggy projection caching) while this PR fixes projection caching
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions