Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #69398 ICE issue-36839.rs could not fully norm…


triagebot (Dec 20 2020 at 09:40, on Zulip):

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

Procedure

Camelid (Dec 20 2020 at 22:02, on Zulip):

P-low IMO

lcnr (Dec 20 2020 at 22:04, on Zulip):

as it's only with emit=mir p-low seems fine

Léo Lanteri Thauvin (Dec 20 2020 at 22:06, on Zulip):

It ICEs on build in the playground

Léo Lanteri Thauvin (Dec 20 2020 at 22:06, on Zulip):

But not on "run"?

Léo Lanteri Thauvin (Dec 20 2020 at 22:07, on Zulip):

Does the "build" mode in playground use --emit=mir?

lcnr (Dec 20 2020 at 22:08, on Zulip):

hmm that's interesting

lcnr (Dec 20 2020 at 22:08, on Zulip):

not sure why we don't ICE with "run"

lcnr (Dec 20 2020 at 22:09, on Zulip):

it does ice locally as well with Build

lcnr (Dec 20 2020 at 22:09, on Zulip):

I guess P-medium because of that

triagebot (Dec 20 2020 at 22:12, on Zulip):

Issue #69398's prioritization request has been removed.

Last update: Apr 15 2021 at 03:00UTC