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

convert higher ranked Predicates to PredicateKind::ForAll #73503

Merged
merged 28 commits into from
Jul 27, 2020
Merged

convert higher ranked Predicates to PredicateKind::ForAll #73503

merged 28 commits into from
Jul 27, 2020

Commits on Jul 27, 2020

  1. add PredicateKint, because who doesn't like bodging

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    104cb87 View commit details
    Browse the repository at this point in the history

  2. minimal

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    9a33b59 View commit details
    Browse the repository at this point in the history

  3. Handle trait/projection predicates with bound regions correctly

    @matthewjasper @lcnr
    matthewjasper authored and lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    1b33f39 View commit details
    Browse the repository at this point in the history

  4. anonymize_predicate

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    cd30894 View commit details
    Browse the repository at this point in the history

  5. query_outlives_constraints_into_obligations

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    fb36c8b View commit details
    Browse the repository at this point in the history

  6. convert trivial predicates

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    c1d244f View commit details
    Browse the repository at this point in the history

  7. wf

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    653f56a View commit details
    Browse the repository at this point in the history

  8. somewhat related cleanup

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    1fda8c2 View commit details
    Browse the repository at this point in the history

  9. subst_supertrait

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    7f39b0c View commit details
    Browse the repository at this point in the history

  10. elaborate

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    4c3b1e8 View commit details
    Browse the repository at this point in the history

  11. progress

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    506f430 View commit details
    Browse the repository at this point in the history

  12. PredicateKint -> PredicateKind, the beginning of the end

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    9852b42 View commit details
    Browse the repository at this point in the history

  13. rustdoc

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    b79f7fb View commit details
    Browse the repository at this point in the history

  14. clippy

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    8d4c99a View commit details
    Browse the repository at this point in the history

  15. fix elaborate for predicates with unbound variables

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    bbd581c View commit details
    Browse the repository at this point in the history

  16. review

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    c6c0d17 View commit details
    Browse the repository at this point in the history

  17. split ignore_qualifiers

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    1151d62 View commit details
    Browse the repository at this point in the history

  18. fix rustdoc

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    562d478 View commit details
    Browse the repository at this point in the history

  19. this might be unqualified, but at least it's now quantified

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    3ba6192 View commit details
    Browse the repository at this point in the history

  20. refactor query_outlives_constraints_into_obligations

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    d030752 View commit details
    Browse the repository at this point in the history

  21. add reuse_or_mk_predicate

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    52af82b View commit details
    Browse the repository at this point in the history

  22. introduce PredicateAtom

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    d8cf8ba View commit details
    Browse the repository at this point in the history

  23. directly contain PredicateAtom in PredicateKind::ForAll

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    cd9743b View commit details
    Browse the repository at this point in the history

  24. fix rebase

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    825cb5b View commit details
    Browse the repository at this point in the history

  25. it works again 🎉

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    072cc45 View commit details
    Browse the repository at this point in the history

  26. fix rustdoc

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    51cbcca View commit details
    Browse the repository at this point in the history

  27. cleanup

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    833b1d8 View commit details
    Browse the repository at this point in the history

  28. clippy

    @lcnr
    lcnr committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    602ef6b View commit details
    Browse the repository at this point in the history