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

Guts of trait reform: Reimplement trait matching algorithm #17197

Merged
merged 10 commits into from Sep 16, 2014
Merged

Guts of trait reform: Reimplement trait matching algorithm #17197

merged 10 commits into from Sep 16, 2014

Commits on Sep 15, 2014

  1. Update error messages in compile-fail tests

    @nikomatsakis
    nikomatsakis committed Sep 15, 2014
    Configuration menu
    Copy the full SHA
    b88f867 View commit details
    Browse the repository at this point in the history

  2. Take core as a dependency on librlibc. This is needed so that it can 

    see the lang-items for Sized etc. @acrichto and @thestinger had no
objections.
    @nikomatsakis
    nikomatsakis committed Sep 15, 2014
    Configuration menu
    Copy the full SHA
    713cf37 View commit details
    Browse the repository at this point in the history

  3. Guts of the new trait matching algorithm, not yet in use

    @nikomatsakis
    nikomatsakis committed Sep 15, 2014
    Configuration menu
    Copy the full SHA
    c5754f3 View commit details
    Browse the repository at this point in the history

  4. Port coherence to use the new trait matching code

    @nikomatsakis
    nikomatsakis committed Sep 15, 2014
    Configuration menu
    Copy the full SHA
    6349a61 View commit details
    Browse the repository at this point in the history

  5. trans -- stop tracking vtables precisely, instead recompute as needed.

    @nikomatsakis
    nikomatsakis committed Sep 15, 2014
    Configuration menu
    Copy the full SHA
    088c94a View commit details
    Browse the repository at this point in the history

  6. typeck/kind -- stop using old trait framework. 

    - Unify the "well-formedness" checking that typeck was already doing with what
  was taking place in kind.
- Move requirements that things be sized into typeck.
- I left the checking on upvars in kind, though I think it should eventually be
  refactored into regionck (which would perhaps be renamed).

This reflects a general plan to convert typeck so that it registers
obligations or other pending things for conditions it cannot check
eventually. This makes it easier to identify all the conditions that
apply to an AST expression, but can also influence inference in somec
cases (e.g., `Send` implies `'static`, so I already had to promote a lot
of the checking that `kind.rs` was doing into typeck, this branch just
continues the process).
    @nikomatsakis
    nikomatsakis committed Sep 15, 2014
    Configuration menu
    Copy the full SHA
    688ddf7 View commit details
    Browse the repository at this point in the history

  7. misc ppaux changes

    @nikomatsakis
    nikomatsakis committed Sep 15, 2014
    Configuration menu
    Copy the full SHA
    5ba0196 View commit details
    Browse the repository at this point in the history

  8. add Send bound on impl because stricter trait checking requires it

    @nikomatsakis
    nikomatsakis committed Sep 15, 2014
    Configuration menu
    Copy the full SHA
    a2b9562 View commit details
    Browse the repository at this point in the history

  9. silence various warnings in stdlib, no idea why they suddenly started

    @nikomatsakis
    nikomatsakis committed Sep 15, 2014
    4 Configuration menu
    Copy the full SHA
    48bc291 View commit details
    Browse the repository at this point in the history

  10. Update docs to include Sized trait, which is needed

    @nikomatsakis
    nikomatsakis committed Sep 15, 2014
    13 Configuration menu
    Copy the full SHA
    eafeb33 View commit details
    Browse the repository at this point in the history