Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #77638 Type inference regression in nightly 20…


triagebot (Oct 07 2020 at 06:24, on Zulip):

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

Procedure

Mason Stallmo (Oct 07 2020 at 06:28, on Zulip):

Looks like this has already been bisected and we're still waiting on more information from the author of the commit that caused the regression.

I'm thinking P-high for this as it seems there is a workaround for the issue by including type annotations.

LeSeulArtichaut (Oct 07 2020 at 07:19, on Zulip):

It's still a breaking change though

LeSeulArtichaut (Oct 07 2020 at 07:19, on Zulip):

That has been caught very early

LeSeulArtichaut (Oct 07 2020 at 07:25, on Zulip):

I think it should be P-critical

Mason Stallmo (Oct 07 2020 at 07:28, on Zulip):

I'm good with a P-critical. I was on the fence myself initially between the two.

triagebot (Oct 07 2020 at 07:33, on Zulip):

Issue #77638's prioritization request has been removed.

Joshua Nelson (Oct 07 2020 at 14:17, on Zulip):

I'm thinking P-high for this as it seems there is a workaround for the issue by including type annotations.

that caused another ICE haha

Joshua Nelson (Oct 07 2020 at 14:17, on Zulip):

so I definitely agree with P-critical

LeSeulArtichaut (Oct 07 2020 at 14:18, on Zulip):

One bug can hide another :eyes:

lzutao (Oct 07 2020 at 14:19, on Zulip):

I would like opening another issue to track the ICE.

LeSeulArtichaut (Oct 07 2020 at 14:20, on Zulip):

Sure, feel free to add I-prioritize so we can label it with regression labels

Joshua Nelson (Oct 07 2020 at 14:20, on Zulip):

I'd expect them to be caused by the same thing

lzutao (Oct 07 2020 at 14:21, on Zulip):

yeah, that could be. but they're not the same bug I think.

LeSeulArtichaut (Oct 07 2020 at 14:21, on Zulip):

I guess we should keep them separated as long as we don't know

LeSeulArtichaut (Oct 07 2020 at 14:22, on Zulip):

We don't want to close an issue which is not resolved or tracked elsewhere

Last update: Apr 16 2021 at 22:45UTC