Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #79977 Failed to recover key for generics_of(-…


triagebot (Dec 12 2020 at 23:43, on Zulip):

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

Procedure

Camelid (Dec 12 2020 at 23:52, on Zulip):

Probably P-high: we really don't want it to hit beta/stable

Camelid (Dec 12 2020 at 23:52, on Zulip):

But probably makes sense to wait for a diagnosis first.

apiraino (Dec 16 2020 at 10:57, on Zulip):

this might be related to #79890, waiting for author to re-test after latest Aaron Hill patch
(mentioning also here for the record)

Santiago Pastorino (Dec 16 2020 at 22:24, on Zulip):

I'd go with P-high too

Santiago Pastorino (Dec 16 2020 at 22:25, on Zulip):

@Camelid @apiraino ?

Joshua Nelson (Dec 16 2020 at 22:26, on Zulip):

I think it's unclear whether this is actually still a bug

apiraino (Dec 16 2020 at 22:26, on Zulip):

reporter cant repro (yet)

Joshua Nelson (Dec 16 2020 at 22:26, on Zulip):

I would prefer to hold off prioritizing until it's confirmed I think

Santiago Pastorino (Dec 16 2020 at 22:29, on Zulip):

ok, fine

Camelid (Dec 16 2020 at 23:08, on Zulip):

sounds fine to me too

Camelid (Dec 21 2020 at 22:17, on Zulip):

It's been 5 days and we haven't had any further reports of it. I think we should close. If it occurs again, people can open a new issue.

If we don't feel comfortable closing, I think we should at least remove I-prioritize.

Léo Lanteri Thauvin (Dec 21 2020 at 22:18, on Zulip):

Let's just close I think

Camelid (Dec 21 2020 at 22:19, on Zulip):

Maybe let's wait for a bit to see if anyone else disagrees.

Léo Lanteri Thauvin (Dec 21 2020 at 22:19, on Zulip):

I'll leave a message to the author though

Camelid (Dec 21 2020 at 22:19, on Zulip):

On second thought, we probably don't need to wait. If people disagree, we can always reopen.

Camelid (Dec 21 2020 at 22:19, on Zulip):

Typo!

triagebot (Dec 21 2020 at 22:20, on Zulip):

Issue #79977's prioritization request has been removed.

Léo Lanteri Thauvin (Dec 21 2020 at 22:21, on Zulip):

Closed

Last update: Apr 11 2021 at 18:15UTC