Stream: t-compiler/wg-prioritization

Topic: I-prioritize #71550 Unsoundness due to variance of trait obj


triagebot (Apr 25 2020 at 11:52, on Zulip):

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

LeSeulArtichaut (Apr 25 2020 at 12:37, on Zulip):

This seems P-high to me, since (IIUC) it has been in the compiler since Rust 1.16

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

about this one, I'm also in doubt if P-high or P-critical

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

thoughts on why one over the other one?

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

It's been in the compiler for quite a long time

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

I don't know if that's enough to "downgrade" to P-high though

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

well, let's go with P-high I guess

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

Issue #71550's prioritization request has been removed.

Santiago Pastorino (Apr 29 2020 at 14:56, on Zulip):

was talking with nikomatsakis about this and it seems to be more P-critical than P-high going to bump the priority of it

Last update: Jun 05 2020 at 23:15UTC