Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #80062 ICE: 'index out of bounds: the len is 0…


triagebot (Dec 20 2020 at 18:57, on Zulip):

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

Procedure

Ryan Levick (Dec 21 2020 at 16:34, on Zulip):

This is an ICE but it requires writing some pretty incorrect code: P-medium? though I could imagine with const generics becoming a thing, we might want to prioritize this more since it might be more likely people will write incorrect code like this.

Léo Lanteri Thauvin (Dec 21 2020 at 16:36, on Zulip):

It panics while creating the "mismatched types" error

Léo Lanteri Thauvin (Dec 21 2020 at 16:37, on Zulip):

Which is a shame because it's the error that matters the most here IMO

Léo Lanteri Thauvin (Dec 21 2020 at 16:39, on Zulip):

And the error it gives before ICEing is kind of confusing: the size for values of type T cannot be known at compilation time

Léo Lanteri Thauvin (Dec 21 2020 at 16:40, on Zulip):

P-medium sounds appropriate though

Ryan Levick (Dec 21 2020 at 16:43, on Zulip):

@Léo Lanteri Thauvin mind if I try to add the label? I'm not sure if I have permissions...

Léo Lanteri Thauvin (Dec 21 2020 at 16:44, on Zulip):

If you're interested in helping with prioritization we can add you to the WG :smile:

Ryan Levick (Dec 21 2020 at 16:45, on Zulip):

Yes I would love to devote ~20 minutes a day to the cause if I can :blush:

Léo Lanteri Thauvin (Dec 21 2020 at 16:46, on Zulip):

(Because you won't be able to add the P-* labels with @rustbot)

Ryan Levick (Dec 21 2020 at 16:46, on Zulip):

@Léo Lanteri Thauvin I don't have permissions indeed. You can add me to the team or I can just wait until 2021 to discuss with others about me joining

Léo Lanteri Thauvin (Dec 21 2020 at 16:47, on Zulip):

I don't see why anyone would object

Léo Lanteri Thauvin (Dec 21 2020 at 16:47, on Zulip):

I can't add you directly but I can file a PR to rust-lang/team

triagebot (Dec 21 2020 at 16:48, on Zulip):

Issue #80062's prioritization request has been removed.

Ryan Levick (Dec 21 2020 at 16:48, on Zulip):

Thanks!

Léo Lanteri Thauvin (Dec 21 2020 at 16:53, on Zulip):

(Filed team#500, requested approval from Santiago Pastorino)

apiraino (Dec 23 2020 at 12:56, on Zulip):

Léo Lanteri Thauvin said:

(Because you won't be able to add the P-* labels with @rustbot)

I usually add labels on the issue page (am not part of the allowed team to invoke @rustbot)

Léo Lanteri Thauvin (Dec 23 2020 at 13:10, on Zulip):

apiraino said:

Léo Lanteri Thauvin said:

(Because you won't be able to add the P-* labels with @rustbot)

I usually add labels on the issue page (am not part of the allowed team to invoke @rustbot)

Sorry, I didn't understand what you meant

apiraino (Dec 23 2020 at 13:20, on Zulip):

sorry :) i just meant that not having permissions to use the rustbot is not a blocker to assign labels (I usually apply these labels when I'm of the github issue page to understand what the issue is about)

Camelid (Dec 23 2020 at 21:00, on Zulip):

apiraino said:

Léo Lanteri Thauvin said:

(Because you won't be able to add the P-* labels with @rustbot)

I usually add labels on the issue page (am not part of the allowed team to invoke @rustbot)

Hmm, but you're part of WG-prioritization: you should be able to invoke rustbot.

Last update: Apr 10 2021 at 22:30UTC