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

Implement higher-ranked trait bounds. #18993

Merged
merged 14 commits into from
Nov 18, 2014
Merged

Implement higher-ranked trait bounds. #18993

merged 14 commits into from
Nov 18, 2014

Commits on Nov 18, 2014

  1. Place parenthetical notation under the unboxed_closure feature-gate. 

    Consolidate the `unboxed_closure_sugar` and `unboxed_closure` feature gates.
    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    Configuration menu
    Copy the full SHA
    058abcc View commit details
    Browse the repository at this point in the history

  2. Pull out the fn-sig sub/lub/glb code and generalize it into a `higher… 

    …_ranked` module. Also moves the docs to a more suitable place.
    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    Configuration menu
    Copy the full SHA
    23652ef View commit details
    Browse the repository at this point in the history

  3. Switch the code to use De Bruijn indices rather than binder-ids.

    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    Configuration menu
    Copy the full SHA
    4ab0c58 View commit details
    Browse the repository at this point in the history

  4. Introduce some sanity checking assertions in trans, erase regions mor… 

    …e aggressively.
    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    Configuration menu
    Copy the full SHA
    0b90cde View commit details
    Browse the repository at this point in the history

  5. Make it an error to use parenthetical notation with 

    something other than a trait type.
    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    Configuration menu
    Copy the full SHA
    9c808ff View commit details
    Browse the repository at this point in the history

  6. Convert TyPolyTraitRef to accept arbitary bounds, so that things like 

    `Box<for<'a> Foo<&'a T> + 'a>` can be accepted. Also cleanup the visitor/fold
in general, exposing more callbacks.
    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    Configuration menu
    Copy the full SHA
    c8a94c5 View commit details
    Browse the repository at this point in the history

  7. Stop checking the correctness of explicit self twice; instead, just 

    use simple pattern matching to take a guess at what the method's self
category is in astconv, and check it more thoroughly later.
    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    Configuration menu
    Copy the full SHA
    efef81e View commit details
    Browse the repository at this point in the history

  8. Miscellaneous reformatttings and renamings.

    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    Configuration menu
    Copy the full SHA
    a298014 View commit details
    Browse the repository at this point in the history

  9. Test resolving of names with for binders.

    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    Configuration menu
    Copy the full SHA
    ecdb741 View commit details
    Browse the repository at this point in the history

  10. Introduce machinery for higher-ranked TraitRefs

    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    Configuration menu
    Copy the full SHA
    6fb68f1 View commit details
    Browse the repository at this point in the history

  11. Allow impl's to have late-bound regions. Introduces another level of 

    region binding at the impl site, so for method types that come from impls,
it is necessary to liberate/instantiate late-bound regions at multiple
depths.
    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    Configuration menu
    Copy the full SHA
    5a28d17 View commit details
    Browse the repository at this point in the history

  12. Update tests for () notation to use traits not structs

    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    Configuration menu
    Copy the full SHA
    7a846b8 View commit details
    Browse the repository at this point in the history

  13. Update test for equivalency to include region binders in object types… 

    …, add new tests relating to HRTB, consolidate the `unboxed_closures` and `overloaded_calls` feature gates.
    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    Configuration menu
    Copy the full SHA
    56ba260 View commit details
    Browse the repository at this point in the history

  14. Fix merge conflict about [] coercions in new tests

    @nikomatsakis
    nikomatsakis committed Nov 18, 2014
    5 Configuration menu
    Copy the full SHA
    6866bf3 View commit details
    Browse the repository at this point in the history