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

Normalize projections under binders #85499

Merged
merged 5 commits into from
Aug 25, 2021
Merged

Normalize projections under binders #85499

merged 5 commits into from
Aug 25, 2021

Commits on Aug 25, 2021

  1. Normalize associated types with bound vars

    @jackh726
    jackh726 committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    8d7707f View commit details
    Browse the repository at this point in the history

  2. Normalize only after failure

    @jackh726
    jackh726 committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    07ee86a View commit details
    Browse the repository at this point in the history

  3. Also ignore typeoutlives predicates

    @jackh726
    jackh726 committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    9891e47 View commit details
    Browse the repository at this point in the history

  4. Review comments

    @jackh726
    jackh726 committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    af14db1 View commit details
    Browse the repository at this point in the history

  5. Bless NLL compare mode

    @jackh726
    jackh726 committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    994a6bb View commit details
    Browse the repository at this point in the history