Stream: t-compiler/wg-prioritization

Topic: I-prioritize #72076 ICE: associated type missing default wit


triagebot (May 13 2020 at 19:18, on Zulip):

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

o0Ignition0o - Jeremy Lempereur (May 13 2020 at 19:19, on Zulip):

ICE instead of a compile error, regression, and has a patch already ? I suggest P-High

Santiago Pastorino (May 13 2020 at 19:20, on Zulip):

I was suggesting P-medium given that doesn't seem to be a huge deal

DPC (May 13 2020 at 19:21, on Zulip):

i guess p-high, looks like code people would attempt more often

Santiago Pastorino (May 13 2020 at 19:22, on Zulip):

my reasoning is that it's code that shouldn't compile and the ice also point more or less in some direction

o0Ignition0o - Jeremy Lempereur (May 13 2020 at 19:23, on Zulip):

yeah it wouldnt compile anyway, so p-medium is fine by me, i bumped it because it was a stable -> nightly regression, but it ahs a patch already so uh ^^ P-medium then

Santiago Pastorino (May 13 2020 at 19:26, on Zulip):

yeah in this case it kind of doesn't really matter :)

Santiago Pastorino (May 13 2020 at 19:27, on Zulip):

unless we would have considered P-critical

Santiago Pastorino (May 13 2020 at 19:27, on Zulip):

which is definitely not

triagebot (May 13 2020 at 19:27, on Zulip):

Issue #72076's prioritization request has been removed.

Last update: Jun 05 2020 at 23:05UTC