Stream: t-compiler/wg-prioritization

Topic: I-prioritize #71353 Type validation mistreats layout errors


triagebot (Apr 27 2020 at 15:40, on Zulip):

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

triagebot (Apr 27 2020 at 15:40, on Zulip):

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

DPC (Apr 27 2020 at 15:40, on Zulip):

twice :D

Santiago Pastorino (Apr 27 2020 at 18:58, on Zulip):

ohh @rustbot prioritize possibly fires twice here, one because of the command and another one because of the label being added? cc @LeSeulArtichaut

LeSeulArtichaut (Apr 27 2020 at 18:58, on Zulip):

Also cc @simulacrum

Santiago Pastorino (Apr 27 2020 at 19:04, on Zulip):

btw, this issue seems P-high to me

Santiago Pastorino (Apr 27 2020 at 19:05, on Zulip):

ohh right, it was P-high and we had the revert

Santiago Pastorino (Apr 27 2020 at 19:05, on Zulip):

going to check again

LeSeulArtichaut (Apr 27 2020 at 19:05, on Zulip):

Still need to assign a priority to the remaining issue of validation swallowing TooGeneric errors

Santiago Pastorino (Apr 27 2020 at 19:10, on Zulip):

LeSeulArtichaut said:

Still need to assign a priority to the remaining issue of validation swallowing TooGeneric errors

yeah, after reading it and said P-high realized about that

Santiago Pastorino (Apr 27 2020 at 19:10, on Zulip):

checking it again ...

Santiago Pastorino (Apr 27 2020 at 19:11, on Zulip):

I guess this is P-medium now

Santiago Pastorino (Apr 27 2020 at 19:22, on Zulip):

thoughts?

Santiago Pastorino (Apr 27 2020 at 19:24, on Zulip):

this one is the last one we need to prioritize, of course all of the rest can be reviewed :), please comment if you disagree on something

Wesley Wiser (Apr 27 2020 at 19:41, on Zulip):

P-medium seems fine

triagebot (Apr 27 2020 at 19:49, on Zulip):

Issue #71353's prioritization request has been removed.

Last update: Jun 05 2020 at 22:55UTC