Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #77188 rustc panic during cargo check


triagebot (Nov 17 2020 at 01:48, on Zulip):

@WG-prioritization/alerts issue #77188 has been requested for prioritization.

Procedure

Wesley Wiser (Nov 17 2020 at 01:49, on Zulip):

Because there's basically no way to repro this, I'd say P-low.

Joshua Nelson (Nov 17 2020 at 01:50, on Zulip):

I pinged the author asking for the repo

Joshua Nelson (Nov 17 2020 at 01:50, on Zulip):

hmm, I'm not sure reproducibility should affect the priority

Joshua Nelson (Nov 17 2020 at 01:50, on Zulip):

if we really think it can't be reproduced maybe it should jsut be closed

Joshua Nelson (Nov 17 2020 at 01:50, on Zulip):

otherwise it will be open forever, because we'll never notice if it's fixed

Wesley Wiser (Nov 17 2020 at 01:51, on Zulip):

I assumed when they said "can't share", it's not open source

Joshua Nelson (Nov 17 2020 at 01:52, on Zulip):

ok, let's wait for a response and if they say they can't share either the original or an MCVE, then close it

Wesley Wiser (Nov 17 2020 at 01:53, on Zulip):

There's quite a few A-incr-comp issues similar to this one. I'm not sure whether it's valuable to leave them all open or perhaps we should deduplicate to one generic issue which links to closed duplicates?

Joshua Nelson (Nov 17 2020 at 01:53, on Zulip):

is there one that's reproducible maybe? but I agree there should be at most one open

Joshua Nelson (Nov 17 2020 at 02:06, on Zulip):

'whichever has the most info' is normally what I go with

Wesley Wiser (Nov 17 2020 at 02:08, on Zulip):

hmm we have lots of issues with similar errors but slightly different stack traces. I'll leave this alone for now and hopefully the author can provide a small repro.

apiraino (Nov 18 2020 at 11:43, on Zulip):

I agree. let's leave it pending for now

triagebot (Dec 11 2020 at 22:28, on Zulip):

Issue #77188's prioritization request has been removed.

Camelid (Dec 11 2020 at 22:29, on Zulip):

Closed. Reopen if you disagree.

Joshua Nelson (Dec 11 2020 at 22:29, on Zulip):

is that a dare? :laughing:

Camelid (Dec 11 2020 at 22:30, on Zulip):

No, just saying that we should reopen if people think it's better to leave it open for some reason :)

Camelid (Dec 11 2020 at 22:30, on Zulip):

(I'm trying to triage some older I-prioritize issues)

Last update: Apr 16 2021 at 22:30UTC