Skip to content

NLL: need 3rd round of review comparing .stderr and .nll.stderr output #54528

Closed

Description

@pnkfelix

NLL keeps getting better and better. But so does our test suite (or at least the percentage of our test suite that is exercising --compare-mode=nll)!

So once again, we need to do another round of review of the differences between AST borrowck diagnostic output and NLL borrowck diagnostic output.

Review started with the .nll.stderr files in the repository as of commit f99911a Tue Oct 23 17:44:19 2018 +0000

though I am actually going to review the state of these files that results from merging in PR #55221

Each file is mapped to a "card" on the project: https://github.com/rust-lang/rust/projects/10

You can use the search function to find a card (though note that most of the cards use a path like ui/vec/vec-mut-iter-borrow.nll.stderr and the search bar look for text within a token. So you need to type the path starting from ui/... into the search bar. I may go through and add spaces in the paths to counteract this.)

Activity

  1. added
    A-NLLArea: Non-lexical lifetimes (NLL)
    on Sep 25, 2018
  2. pnkfelix commented on Sep 25, 2018

    @pnkfelix
    ContributorAuthor

    triage of unassigned milestone issues at NLL meeting, assigning to self

  3. self-assigned this
    on Sep 25, 2018
  4. pnkfelix commented on Sep 26, 2018

    @pnkfelix
    ContributorAuthor

    Note: This is assigned to me, but I don't actually intend to start working on it there are fewer diagnostic changes in flight. In particular, I at least plan to address #54556 first

  5. added
    NLL-soundWorking towards the "invalid code does not compile" goal
    NLL-diagnosticsWorking towards the "diagnostic parity" goal
    NLL-completeWorking towards the "valid code works" goal
    on Oct 2, 2018
  6. pnkfelix commented on Oct 2, 2018

    @pnkfelix
    ContributorAuthor

    (This gets "all the labels" because it is actually a work item that can uncover arbitrary kinds of bugs as one goes through the exercise...)

  7. davidtwco commented on Oct 4, 2018

    @davidtwco
    Member

    Can we avoid using the same format for the results of this review as we did the last round of review? - the large table and comments was hard to keep up-to-date and not great for discoverability. I'd suggest a bunch of issues and a "NLL Diagnostic Review" project to view them all.

  8. pnkfelix commented on Oct 8, 2018

    @pnkfelix
    ContributorAuthor

    @davidtwco sure I'm happy to take suggestions. The method used in the previous round of reviews ( #52663) was meant to be an improvement on what was done before that (#49862), but I'm not wedded to any particular methodology, as long as I can operate with reasonable efficiency.

    In particular, if I happen to follow the methodology from #52663 for expediency's sake (e.g. because I am not familiar with this "project" feature of github), I won't object to someone translating the results into some other format.

  9. davidtwco commented on Oct 8, 2018

    @davidtwco
    Member

    @pnkfelix In order to use projects, I think we would just need issues. The main issue I found with having one large issue with comments is that it is hard to keep it up to date and know what still needs fixed - if we have issues then they get visited when looking over all the NLL issues and can be closed by PRs.

  10. nikomatsakis commented on Oct 17, 2018

    @nikomatsakis
    Contributor

    I'm bumping this to the release milestone -- it's not going to be an RC2 blocker, I don't think.

  11. 8 remaining items

  12. pnkfelix commented on Nov 9, 2018

    @pnkfelix
    ContributorAuthor

    Okay I finished the review.

    As noted above, there are still work items on the cards on the project (https://github.com/rust-lang/rust/projects/10).

    But the main thing I wanted to address for the Release milestone, namely the actual review task, is now dealt with.

  13. removed this from the Rust 2018 Release milestone on Nov 9, 2018
  14. pnkfelix commented on Nov 9, 2018

    @pnkfelix
    ContributorAuthor

    marking as NLL-deferred to reflect the lower priority nature of going through the set of work items on the project cards.

  15. pnkfelix commented on Dec 5, 2018

    @pnkfelix
    ContributorAuthor

    the remaining work items do not have NLL-sound issues, so I'm removing that label from this issue.

  16. removed
    NLL-soundWorking towards the "invalid code does not compile" goal
    on Dec 5, 2018
  17. pnkfelix commented on Dec 21, 2018

    @pnkfelix
    ContributorAuthor

    Re-triaging for #56754. P-medium.

  18. deleted a comment from on Sep 12, 2019
  19. deleted a comment from on Sep 12, 2019
  20. pnkfelix commented on Nov 5, 2019

    @pnkfelix
    ContributorAuthor

    I'd say that since we have now actually removed the AST-borrowck, this is effectively a non-issue anymore.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

A-NLLArea: Non-lexical lifetimes (NLL)NLL-completeWorking towards the "valid code works" goalNLL-diagnosticsWorking towards the "diagnostic parity" goalP-mediumMedium priority

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions