Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

clear out projection subobligations after they are processed #43999

Merged
merged 1 commit into from
Aug 28, 2017
Merged

clear out projection subobligations after they are processed #43999

merged 1 commit into from
Aug 28, 2017

Commits on Aug 27, 2017

  1. 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 rust-lang#43787.

This is actually complementary to rust-lang#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
    @arielb1
    arielb1 committed Aug 27, 2017
    Configuration menu
    Copy the full SHA
    7534f73 View commit details
    Browse the repository at this point in the history