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

[WIP] Move Self: Trait predicate to trait items instead of the trait itself #50183

Closed
wants to merge 11 commits into from
Closed

[WIP] Move Self: Trait predicate to trait items instead of the trait itself #50183

wants to merge 11 commits into from

Commits on Apr 27, 2018

  1. WIP: Remove Self:Trait from predicates_of

    @tmandry
    tmandry committed Apr 27, 2018
    Configuration menu
    Copy the full SHA
    b914418 View commit details
    Browse the repository at this point in the history

  2. Filter out trait predicate in compare_predicate_entailment

    @tmandry
    tmandry committed Apr 27, 2018
    Configuration menu
    Copy the full SHA
    75884d4 View commit details
    Browse the repository at this point in the history

  3. Fix panic, tidy error

    @tmandry
    tmandry committed Apr 27, 2018
    Configuration menu
    Copy the full SHA
    32a0a76 View commit details
    Browse the repository at this point in the history

  4. Remove slice hack from lowering module 

    Fixes rust-lang#49953.
    @tmandry
    tmandry committed Apr 27, 2018
    Configuration menu
    Copy the full SHA
    defc7e9 View commit details
    Browse the repository at this point in the history

  5. Update chalkify test

    @tmandry
    tmandry committed Apr 27, 2018
    Configuration menu
    Copy the full SHA
    f52d4de View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2018

  1. ty::wf: Add Self: Trait predicate back in

    @tmandry
    tmandry committed Apr 30, 2018
    Configuration menu
    Copy the full SHA
    edeb9c4 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2018

  1. compare_impl_method: Make trait predicate filter specific to Self

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

Commits on May 2, 2018

  1. compute_trait_ref: Restore original order of predicates 

    This can matter for obligation causes that get reported as errors,
when there are more than one of the same obligation in the forest.
    @tmandry
    tmandry committed May 2, 2018
    Configuration menu
    Copy the full SHA
    9374cd2 View commit details
    Browse the repository at this point in the history

  2. compute_trait_ref: Optimize Self:Trait predicate

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

  3. Clean up Self: Trait predicate code

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

Commits on Jun 4, 2018

  1. Fix DefId handling in ty::is_trait

    @tmandry
    tmandry committed Jun 4, 2018
    Configuration menu
    Copy the full SHA
    671ede2 View commit details
    Browse the repository at this point in the history