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

Permit T::Item based on bounds that appear in where clauses #22512

Merged
merged 10 commits into from
Feb 25, 2015
Merged

Permit T::Item based on bounds that appear in where clauses #22512

merged 10 commits into from
Feb 25, 2015

Commits on Feb 24, 2015

  1. Change collect to implement AstConv on a ItemCtxt rather than a 

    global context. Have this `ItemCtxt` carry a (currently unused) pointer
to the in-scope generics.
    @nikomatsakis
    nikomatsakis committed Feb 24, 2015
    Configuration menu
    Copy the full SHA
    e033a23 View commit details
    Browse the repository at this point in the history

  2. Convert astconv to request bounds through the AstConv interface 

    rather than poking through the `TypeParameterDef` directly.
    @nikomatsakis
    nikomatsakis committed Feb 24, 2015
    Configuration menu
    Copy the full SHA
    15ef2c2 View commit details
    Browse the repository at this point in the history

  3. Comprehence cycle detection in collect. In some cases, the cycles we 

    report are not *necessary* cycles, but we'll work on refactoring them
over time. This overlaps with the cycle detection that astconv already
does: I left that code in because it gives a more targeted error
message, though perhaps less helpful in that it doesn't give the full
details of the cycle.
    @nikomatsakis
    nikomatsakis committed Feb 24, 2015
    Configuration menu
    Copy the full SHA
    0d9e473 View commit details
    Browse the repository at this point in the history

  4. Rework the get_type_parameter_bounds impl to use a trait object 

    and act more generically.
    @nikomatsakis
    nikomatsakis committed Feb 24, 2015
    Configuration menu
    Copy the full SHA
    3c782b7 View commit details
    Browse the repository at this point in the history

  5. Remove bounds struct from TypeParameterDef. Bounds information is now 

    exclusively stored in the where clauses.
    @nikomatsakis
    nikomatsakis committed Feb 24, 2015
    Configuration menu
    Copy the full SHA
    36d0471 View commit details
    Browse the repository at this point in the history

  6. Rework trait-bound-conversion so be based on the AST and rework collect 

    to pass in the appropriate ast::generics etc
    @nikomatsakis
    nikomatsakis committed Feb 24, 2015
    Configuration menu
    Copy the full SHA
    cf73e36 View commit details
    Browse the repository at this point in the history

  7. Add handy switch -Z treat-err-as-bug -- it often happens that I am 

    compiling something I expect to succeed, and this lets me get
stacktraces and also abort compilation faster.
    @nikomatsakis
    nikomatsakis committed Feb 24, 2015
    Configuration menu
    Copy the full SHA
    31e09f7 View commit details
    Browse the repository at this point in the history

  8. Merge conflict: port default impls code

    @nikomatsakis
    nikomatsakis committed Feb 24, 2015
    Configuration menu
    Copy the full SHA
    eb77fe9 View commit details
    Browse the repository at this point in the history

  9. Remove two uses of old [] notation

    @nikomatsakis
    nikomatsakis committed Feb 24, 2015
    Configuration menu
    Copy the full SHA
    abdb42b View commit details
    Browse the repository at this point in the history

  10. Merge conflicts due to eddyb's UFCS branch

    @nikomatsakis
    nikomatsakis committed Feb 24, 2015
    Configuration menu
    Copy the full SHA
    1ef3598 View commit details
    Browse the repository at this point in the history