Stream: t-compiler/wg-prioritization

Topic: I-prioritize #70934 ICE: No `move_errors` should be allowed


triagebot (Apr 11 2020 at 16:58, on Zulip):

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

simulacrum (Apr 11 2020 at 16:58, on Zulip):

:tada:

DPC (Apr 11 2020 at 16:58, on Zulip):

do we need a ping though?

LeSeulArtichaut (Apr 11 2020 at 16:59, on Zulip):

DPC said:

do we need a ping though?

We should decide with the WG

Santiago Pastorino (Apr 13 2020 at 16:01, on Zulip):

DPC said:

do we need a ping though?

I think is ok to ping, but if bothers people I'd remove it

Santiago Pastorino (Apr 13 2020 at 16:01, on Zulip):

this issue is already tagged as P-high

Santiago Pastorino (Apr 13 2020 at 16:01, on Zulip):

going to remove I-prioritize label

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

ohh this issue was waiting an mcve, still I think P-high is correct, let me know if you think otherwise

LeSeulArtichaut (Apr 13 2020 at 16:49, on Zulip):

I agree for P-high

centril (Apr 13 2020 at 19:52, on Zulip):

@Santiago Pastorino it already has an mcve

Santiago Pastorino (Apr 13 2020 at 19:52, on Zulip):

centril said:

Santiago Pastorino it already has an mcve

yeah, that's what I meant

Santiago Pastorino (Apr 13 2020 at 19:52, on Zulip):

sorry my message was confusing but I meant that

Santiago Pastorino (Apr 13 2020 at 19:53, on Zulip):

Santiago Pastorino said:

ohh this issue was waiting an mcve, still I think P-high is correct, let me know if you think otherwise

should have been ... ohh this issue was waiting an mcve, but already have one, still I think P-high is correct, let me know if you think otherwise

Last update: Jun 05 2020 at 23:20UTC