Stream: t-compiler/wg-prioritization

Topic: I-prioritize #71113 Normalization error with `ToOwned`


LeSeulArtichaut (Apr 14 2020 at 11:32, on Zulip):

@WG-prioritization issue #71113 has been requested for prioritization

Santiago Pastorino (Apr 14 2020 at 12:30, on Zulip):

:+1:, @Jonas Schievink thanks for requesting prioritization, note the existance of @rustbot prioritize command :slight_smile:

simulacrum (Apr 14 2020 at 12:31, on Zulip):

we're working on making it do this with the label

simulacrum (Apr 14 2020 at 12:31, on Zulip):

I'm about to have a fix

Jonas Schievink (Apr 14 2020 at 12:32, on Zulip):

Yeah, still have to get used to that

Santiago Pastorino (Apr 14 2020 at 12:32, on Zulip):

ohh that's cool :)

Santiago Pastorino (Apr 14 2020 at 12:32, on Zulip):

Jonas Schievink said:

Yeah, still have to get used to that

no worries, it was just to let you know, and also if just adding the label can fire the bot automatically would be waaay better

triagebot (Apr 14 2020 at 12:51, on Zulip):

Issue #71113's prioritization request has been removed.

triagebot (Apr 14 2020 at 12:51, on Zulip):

@WG-prioritization issue #71113 has been requested for prioritization.

simulacrum (Apr 14 2020 at 12:51, on Zulip):

:tada:

simulacrum (Apr 14 2020 at 12:52, on Zulip):

cc @Jonas Schievink

LeSeulArtichaut (Apr 14 2020 at 12:52, on Zulip):

nice

DPC (Apr 14 2020 at 12:52, on Zulip):

ah the label change trigger.... neat

DPC (Apr 14 2020 at 12:53, on Zulip):

are we restricting it one time? so if i remove and add the label again i'm assuming it will send another notification?

LeSeulArtichaut (Apr 14 2020 at 12:55, on Zulip):

But requesting prioritization multiple times is nice too

Jonas Schievink (Apr 14 2020 at 12:56, on Zulip):

oh, nice! that was fast!

LeSeulArtichaut (Apr 14 2020 at 12:56, on Zulip):

So if an issue is assigned P-high for the first investigation, we'd want to request prioritization again when we have MCVE/bisection ready

Santiago Pastorino (Apr 14 2020 at 13:00, on Zulip):

@LeSeulArtichaut are you talking about this issue in particular #71113 or as a general idea?

Santiago Pastorino (Apr 14 2020 at 13:19, on Zulip):

https://github.com/rust-lang/rust/issues/71113#issuecomment-613434122

Santiago Pastorino (Apr 14 2020 at 13:19, on Zulip):

I'm not sure if this happens because at that point is failing before in the process and then the code that makes the ICE fire is not hit

DPC (Apr 14 2020 at 13:22, on Zulip):

i think that was in general, in reply to my comment

LeSeulArtichaut (Apr 14 2020 at 13:24, on Zulip):

Yes

Santiago Pastorino (Apr 14 2020 at 14:32, on Zulip):

about this particular issue I think I'd go with P-high or P-medium, hmmm

Wesley Wiser (Apr 14 2020 at 15:07, on Zulip):

I'd vote for P-medium

Santiago Pastorino (Apr 14 2020 at 15:11, on Zulip):

:+1:, let's wait to see if there are other thoughts

Yuki Okushi (Apr 14 2020 at 15:13, on Zulip):

+1 for P-medium

Santiago Pastorino (Apr 14 2020 at 15:13, on Zulip):

let's do it then, we all agree :)

triagebot (Apr 14 2020 at 15:14, on Zulip):

Issue #71113's prioritization request has been removed.

Last update: Jun 05 2020 at 21:50UTC