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.

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

Implement the new-style trait solver #56384

Merged
merged 19 commits into from Dec 27, 2018
Merged

Implement the new-style trait solver #56384

merged 19 commits into from Dec 27, 2018

Commits on Dec 27, 2018

  1. Implement is_coinductive 

    Fixes rust-lang#55096.
    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    9b87f59 View commit details
    Browse the repository at this point in the history

  2. Implement "lifetime juggling" methods from chalk integration trait 

    Fixes rust-lang#55097.
    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    69007bd View commit details
    Browse the repository at this point in the history

  3. Add a def-id in ty::ParamEnv

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    50f8ae3 View commit details
    Browse the repository at this point in the history

  4. Fix visit_ex_clause_with 

    The sub-visits were incorrectly combined with an `&&` instead of
an `||`.
    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    37ef0c3 View commit details
    Browse the repository at this point in the history

  5. Correctly lift empty lists of clauses and goals

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    8cadd59 View commit details
    Browse the repository at this point in the history

  6. Return an instantiated environment instead of a generic one

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    ec73624 View commit details
    Browse the repository at this point in the history

  7. Add utilities for creating generic types

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    7b8da79 View commit details
    Browse the repository at this point in the history

  8. Rename functions giving WF clauses for builtin types

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    6f488b9 View commit details
    Browse the repository at this point in the history

  9. Add builtin impls for Sized in chalk_context::program_clauses

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    dfcad82 View commit details
    Browse the repository at this point in the history

  10. Fix Sized requirement for empty tuples in program_clauses

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    e5992e7 View commit details
    Browse the repository at this point in the history

  11. Fix replacement of escaping bound types 

    Multiple references to the same `BoundTy` were not using the same
result.
    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    c0d7803 View commit details
    Browse the repository at this point in the history

  12. Fix binding levels in implied bounds rules

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    ea4187a View commit details
    Browse the repository at this point in the history

  13. Integrate chalk engine

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    ba6314a View commit details
    Browse the repository at this point in the history

  14. Handle sub-typing in chalk-engine

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    da9467d View commit details
    Browse the repository at this point in the history

  15. Use TraitEngine in enter_canonical_trait_query

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    26e0ea8 View commit details
    Browse the repository at this point in the history

  16. Add wf_clause_for_fn_def

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    8e2bdaa View commit details
    Browse the repository at this point in the history

  17. Fix tcx.environment for inherent impls

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    3790f08 View commit details
    Browse the repository at this point in the history

  18. Add tests

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    81d6f9c View commit details
    Browse the repository at this point in the history

  19. Set a def_id in ParamEnv only with -Z chalk

    @scalexm
    scalexm committed Dec 27, 2018
    Copy the full SHA
    993d213 View commit details
    Browse the repository at this point in the history