NLL: re-triage all NLL-deferred issues (and delete NLL-deferred label) #56754

pnkfelix · 2018-12-12T21:02:06Z

The NLL team marked issues as NLL-deferred every time we wanted to leave something for "after the 2018 edition is out"

The edition is out. We want to re-triage those issues, probably now assigning them the P-high/P-medium/P-low priorities, and potentially also tagging them with NLL-{sound, complete, diagnostics} when appropriate.

pnkfelix · 2018-12-19T16:03:30Z

work queue

pnkfelix · 2018-12-21T15:02:05Z

I have finished processing the full work queue.

I think the only task left is to delete the NLL-deferred label so that no one will accidentally tag anything with it. (Update: done)

pnkfelix self-assigned this Dec 12, 2018

pnkfelix added A-NLL Area: Non-lexical lifetimes (NLL) P-high High priority labels Dec 12, 2018

pnkfelix closed this as completed Dec 21, 2018

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

NLL: re-triage all NLL-deferred issues (and delete NLL-deferred label) #56754

NLL: re-triage all NLL-deferred issues (and delete NLL-deferred label) #56754

pnkfelix commented Dec 12, 2018

pnkfelix commented Dec 19, 2018 •

edited

Loading

pnkfelix commented Dec 21, 2018 •

edited

Loading

NLL: re-triage all NLL-deferred issues (and delete NLL-deferred label) #56754

NLL: re-triage all NLL-deferred issues (and delete NLL-deferred label) #56754

Comments

pnkfelix commented Dec 12, 2018

pnkfelix commented Dec 19, 2018 • edited Loading

pnkfelix commented Dec 21, 2018 • edited Loading

pnkfelix commented Dec 19, 2018 •

edited

Loading

pnkfelix commented Dec 21, 2018 •

edited

Loading