Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #79146 ICE with higher-order trait-bounds (`As…


triagebot (Nov 17 2020 at 20:41, on Zulip):

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

Procedure

triagebot (Nov 17 2020 at 20:45, on Zulip):

Issue #79146's prioritization request has been removed.

Léo Lanteri Thauvin (Nov 17 2020 at 20:46, on Zulip):

Oh, does rustbot automatically remove I-prioritize when someone marks an issue as duplicate?

Joshua Nelson (Nov 17 2020 at 20:46, on Zulip):

when the issue is closed, I think

Joshua Nelson (Nov 17 2020 at 20:47, on Zulip):

oh hmm it happened before, weird

Camelid (Nov 17 2020 at 20:53, on Zulip):

I think danielhenrymantilla must have posted a rustbot label comment and then deleted it so it wouldn't clog up the issue

Camelid (Nov 17 2020 at 20:54, on Zulip):

It confused me too, but I don't think rustbot did it autonomously :)

Léo Lanteri Thauvin (Nov 17 2020 at 20:54, on Zulip):

That's an idea to keep in mind though :D

Last update: Apr 11 2021 at 19:00UTC