Stream: t-compiler/wg-prioritization/alerts

Topic: #81839 "DefId isn't local" ICE

triagebot (Feb 06 2021 at 20:29, on Zulip):

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

Procedure

Léo Lanteri Thauvin (Feb 06 2021 at 20:33, on Zulip):

Is this an incremental issue?

tm (Feb 06 2021 at 22:30, on Zulip):

Nice! Incremental bug report with reproduction steps (I can reproduce by building the example).

apiraino (Feb 10 2021 at 16:28, on Zulip):

How do we classify these kinds of compilation errors? I think a P-medium would fit the case (although I'm wondering if such errors would turn out to be too confusing i.e. assign a P-high).
I'm not yet sure about the mcve. I cant interpret the comment from Aaron

Stu (Feb 10 2021 at 20:26, on Zulip):

I think P-high makes more sense because according to this comment it can reproduce even after cargo clean and I can also reproduce it locally.

apiraino (Feb 11 2021 at 10:42, on Zulip):

right, makes sense :thumbs_up: btw PR #81991 to fix this has also appeared in the meanwhile

triagebot (Feb 11 2021 at 10:42, on Zulip):

Issue #81839's prioritization request has been removed.

Last update: Apr 11 2021 at 18:00UTC