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

Finish implementing GATs #134

Merged
merged 11 commits into from
May 24, 2018
Merged

Finish implementing GATs #134

merged 11 commits into from
May 24, 2018

Commits on May 23, 2018

  1. Add Self: Foo to lowered ProjectionEq where clauses

    @tmandry
    tmandry committed May 23, 2018
    Configuration menu
    Copy the full SHA
    520c416 View commit details
    Browse the repository at this point in the history

  2. Write tests for GATs

    @tmandry
    tmandry committed May 23, 2018
    Configuration menu
    Copy the full SHA
    3408f36 View commit details
    Browse the repository at this point in the history

  3. Add GAT rules that don't involve bounds

    @tmandry
    tmandry committed May 23, 2018
    Configuration menu
    Copy the full SHA
    c29c033 View commit details
    Browse the repository at this point in the history

  4. Add and lower to ir::InlineBounds

    @tmandry
    tmandry committed May 23, 2018
    Configuration menu
    Copy the full SHA
    d109ff0 View commit details
    Browse the repository at this point in the history

  5. Lower bounds on associated types 

    Adds reverse rule and WF rules for associated type bounds.

The WF rules aren't quite right, but they'll be fixed in a later commit.
    @tmandry
    tmandry committed May 23, 2018
    Configuration menu
    Copy the full SHA
    446df30 View commit details
    Browse the repository at this point in the history

  6. Add test mixed_indices_check_projection_bounds

    @tmandry
    tmandry committed May 23, 2018
    Configuration menu
    Copy the full SHA
    9e52a13 View commit details
    Browse the repository at this point in the history

  7. Correctly instantiate where clauses / bounds on GATs in wf.rs

    @scalexm @tmandry
    scalexm authored and tmandry committed May 23, 2018
    Configuration menu
    Copy the full SHA
    b5d9422 View commit details
    Browse the repository at this point in the history

  8. Add failing tests for where clauses

    @tmandry
    tmandry committed May 23, 2018
    Configuration menu
    Copy the full SHA
    fcd7fe2 View commit details
    Browse the repository at this point in the history

  9. Correctly instantiate where clauses on GAT impl values

    @tmandry
    tmandry committed May 23, 2018
    Configuration menu
    Copy the full SHA
    dc524eb View commit details
    Browse the repository at this point in the history

Commits on May 24, 2018

  1. Add test implied_from_env and clean up

    @tmandry
    tmandry committed May 24, 2018
    Configuration menu
    Copy the full SHA
    a9ebee0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into GAT-step3

    @tmandry
    tmandry authored May 24, 2018
    Configuration menu
    Copy the full SHA
    4061896 View commit details
    Browse the repository at this point in the history