Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #77329 Stable ICE: assertion failed: `(left ==…


triagebot (Sep 29 2020 at 10:25, on Zulip):

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

Procedure

Stu (Sep 29 2020 at 10:28, on Zulip):

I would go with P-high. The code is very special, but is also really short and simple.

Hameer Abbasi (Sep 29 2020 at 10:28, on Zulip):

Sounds like medium, since no one noticed it for so long, and doesn't seem like a lot of crates depend on it.

Hameer Abbasi (Sep 29 2020 at 10:30, on Zulip):

I'd be okay with high too.

Hameer Abbasi (Sep 29 2020 at 10:33, on Zulip):

cc @lcnr (the const-generics superhuman).

lzutao (Sep 29 2020 at 10:46, on Zulip):

P-medium or P-low, this is invalid code and unnoticed for long time.

Nelson J Morais (Sep 29 2020 at 10:57, on Zulip):

the array of type unit with that expression should compile? :thinking:

Hameer Abbasi (Sep 29 2020 at 10:59, on Zulip):

I don't know, the size of the array is a lambda, which should be invalid.

tamuhey (Sep 29 2020 at 11:33, on Zulip):

As I posted (https://github.com/rust-lang/rust/issues/77329#issuecomment-700635636), this bug seems to occur in more general code: impl Trait with array type whose size is closure.

Hameer Abbasi (Sep 29 2020 at 12:00, on Zulip):

Medium still seems good to me; it's still invalid code.

triagebot (Sep 29 2020 at 12:13, on Zulip):

Issue #77329's prioritization request has been removed.

lcnr (Sep 29 2020 at 19:23, on Zulip):

Hameer Abbasi [said](https://rust-lang.zulipchat.com/#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6/near/211603848):

cc lcnr (the const-generics superhuman).

thanks for notifying me :heart: using closures in constants currently doesn't make much sense as they can't actually be called yet, so medium seems good to me

Last update: Apr 11 2021 at 19:45UTC