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

NLL should identify and respect the lifetime annotations that the user wrote #48482

Merged
merged 17 commits into from
Mar 24, 2018
Merged

NLL should identify and respect the lifetime annotations that the user wrote #48482

merged 17 commits into from
Mar 24, 2018

Commits on Mar 22, 2018

  1. Added initial test for rust-lang#47184

    @davidtwco
    davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    c0fdb29 View commit details
    Browse the repository at this point in the history

  2. Added UserAssertTy statement.

    @davidtwco
    davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    17b285d View commit details
    Browse the repository at this point in the history

  3. Killing UserAssertTy in CleanupPostBorrowck pass.

    @davidtwco
    davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    1331cd4 View commit details
    Browse the repository at this point in the history

  4. Added initial processing of UserAssertTy statements.

    @davidtwco
    davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    5f21aa8 View commit details
    Browse the repository at this point in the history

  5. Changed location to at_self from at_successor.

    @davidtwco
    davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    239b3ec View commit details
    Browse the repository at this point in the history

  6. Added override in renumberer for UserAssertTy.

    @davidtwco
    davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    ee4c7ac View commit details
    Browse the repository at this point in the history

  7. Updated test with expected error message.

    @davidtwco
    davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    c8d81b1 View commit details
    Browse the repository at this point in the history

  8. Added comment in renumberer about UserAssertTy.

    @davidtwco
    davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    d4b9a78 View commit details
    Browse the repository at this point in the history

  9. No longer visiting user_assert_ty statements in constraint generation.

    @davidtwco
    davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    5d2a60c View commit details
    Browse the repository at this point in the history

  10. UserAssertTy can handle inference variables. 

    This commit modifies the UserAssertTy statement to take a canonicalized
type rather than a regular type so that we can handle the case where the
user provided type contains a inference variable.
    @davidtwco
    davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    692a931 View commit details
    Browse the repository at this point in the history

  11. Switched from canonicalize_query to canonicalize_response

    @davidtwco
    davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    e1648bd View commit details
    Browse the repository at this point in the history

  12. Temporarily only adding UserAssertTy on binding patterns.

    @davidtwco
    davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    fc5c4da View commit details
    Browse the repository at this point in the history

  13. Debug logs for replace_bound_regions_with_nll_infer_vars

    @nikomatsakis @davidtwco
    nikomatsakis authored and davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    04aeef8 View commit details
    Browse the repository at this point in the history

  14. Added flag to disable user type assertion.

    @davidtwco
    davidtwco committed Mar 22, 2018
    Configuration menu
    Copy the full SHA
    447ae76 View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2018

  1. Updated MIR with UserAssertTy in mir-opt tests.

    @davidtwco
    davidtwco committed Mar 23, 2018
    Configuration menu
    Copy the full SHA
    03481f1 View commit details
    Browse the repository at this point in the history

  2. Fixed issues with incremental tests.

    @davidtwco
    davidtwco committed Mar 23, 2018
    Configuration menu
    Copy the full SHA
    3a0162b View commit details
    Browse the repository at this point in the history

  3. Improved comments for UserAssertTy statement.

    @davidtwco
    davidtwco committed Mar 23, 2018
    Configuration menu
    Copy the full SHA
    4161ae7 View commit details
    Browse the repository at this point in the history