Stream: t-compiler/wg-prioritization

Topic: I-prioritize #71699 XXL Arrays


triagebot (Apr 30 2020 at 09:36, on Zulip):

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

DPC (Apr 30 2020 at 12:13, on Zulip):

i'm working on the solution btw :slight_smile: i guess P-medium? (this error has been there for a while)

Wesley Wiser (Apr 30 2020 at 13:12, on Zulip):

Yeah, seems P-medium

simulacrum (Apr 30 2020 at 13:13, on Zulip):

hm, I would personally say P-low

triagebot (Apr 30 2020 at 13:13, on Zulip):

Issue #71699's prioritization request has been removed.

simulacrum (Apr 30 2020 at 13:13, on Zulip):

it ... is highly improbable that this will ever actually work

simulacrum (Apr 30 2020 at 13:14, on Zulip):

well I guess it's size zero anyway

Wesley Wiser (Apr 30 2020 at 13:14, on Zulip):

I think a valid solution would be a "nice" compiler error instead of an ICE

Wesley Wiser (Apr 30 2020 at 13:14, on Zulip):

or for it to work

simulacrum (Apr 30 2020 at 13:14, on Zulip):

yeah, that I would agree with

simulacrum (Apr 30 2020 at 13:14, on Zulip):

imo providing a span would be enough

simulacrum (Apr 30 2020 at 13:16, on Zulip):

historically there's been a lot of issues with large arrays I think

simulacrum (Apr 30 2020 at 13:16, on Zulip):

e.g. https://github.com/rust-lang/rust/issues/68010 https://github.com/rust-lang/rust/issues/55795 as some examples

DPC (Apr 30 2020 at 13:17, on Zulip):

yeh p-low should be fine. I'm working on resolving the ICE in https://github.com/rust-lang/rust/pull/71696. So will look at adding the span after that

Santiago Pastorino (Apr 30 2020 at 13:50, on Zulip):

@DPC feel free to assign P-low if you consider that's better

DPC (Apr 30 2020 at 14:47, on Zulip):

rdone

Last update: Jun 05 2020 at 22:25UTC