Stream: t-compiler/wg-prioritization/alerts

Topic: I-nominated #74384 Compiler doesn't terminate with --release


triagebot (Jul 16 2020 at 04:52, on Zulip):

@WG-prioritization/alerts #74384 has been nominated for discussion in T-compiler meeting.

Procedure

lcnr (Jul 16 2020 at 09:17, on Zulip):

I guess P-high :thinking: not sure how easy this is to hit, so it might even be P-critical

Yuki Okushi (Jul 16 2020 at 09:35, on Zulip):

(note that this is nominated issue, I'm not sure we should prioritize here)

lcnr (Jul 16 2020 at 09:40, on Zulip):

ups

lcnr (Jul 16 2020 at 09:41, on Zulip):

why is this one nominated? @Esteban K├╝ber

Santiago Pastorino (Jul 16 2020 at 12:48, on Zulip):

we could also prioritize it, why not?

Santiago Pastorino (Jul 16 2020 at 12:50, on Zulip):

yeah, I'm not sure why exactly was nominated

Santiago Pastorino (Jul 16 2020 at 12:50, on Zulip):

but I'm not saying it doesn't deserve a nomination :)

Santiago Pastorino (Jul 16 2020 at 12:50, on Zulip):

in general it would be great if people that nominate an issue give a reason for the nomination

Santiago Pastorino (Jul 16 2020 at 12:51, on Zulip):

I think when someone nominates an issue without a reason we could just ask them and slowly convince that it's a good idea to explain why? :)

Santiago Pastorino (Jul 16 2020 at 12:51, on Zulip):

@WG-prioritization :point_up:, thoughts?

Santiago Pastorino (Jul 16 2020 at 12:54, on Zulip):

added a comment https://github.com/rust-lang/rust/issues/74384#issuecomment-659391313

DPC (Jul 16 2020 at 13:23, on Zulip):

i'd leave it as nominated tbh

nagisa (Jul 18 2020 at 00:40, on Zulip):

Nominated because "important" for T-compiler to keep tabs on this, I guess.

nagisa (Jul 18 2020 at 00:41, on Zulip):

We did discuss it (yester-)yesterday though, so :shrug:

triagebot (Jul 22 2020 at 15:48, on Zulip):

#74384's nomination has been removed.

triagebot (Jul 22 2020 at 16:36, on Zulip):

@WG-prioritization/alerts #74384 has been nominated for discussion in T-compiler meeting.

Procedure

triagebot (Jul 31 2020 at 14:52, on Zulip):

#74384's nomination has been removed.

Last update: Apr 17 2021 at 00:15UTC