Stream: t-compiler/wg-prioritization

Topic: I-prioritize #72315 Trait object with non-static lifetime is


triagebot (May 21 2020 at 13:21, on Zulip):

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

Santiago Pastorino (May 21 2020 at 13:21, on Zulip):

I think we should prioritize this one

Santiago Pastorino (May 21 2020 at 13:22, on Zulip):

I'd say P-critical

Santiago Pastorino (May 21 2020 at 13:22, on Zulip):

it may be the same as #71550

LeSeulArtichaut (May 21 2020 at 13:22, on Zulip):

Unsoundness with lifetimes? Seems scary...

LeSeulArtichaut (May 21 2020 at 13:24, on Zulip):

I propose to tag it as P-high, merge #71896, and if it didn't fix #72315, bump it to P-critical

LeSeulArtichaut (May 21 2020 at 13:25, on Zulip):

Also let's ping cleanup to reduce the example?

Santiago Pastorino (May 21 2020 at 13:25, on Zulip):

LeSeulArtichaut said:

I propose to tag it as P-high, merge #71896, and if it didn't fix #72315, bump it to P-critical

well no because that one if uncertain if will ever be merged

Santiago Pastorino (May 21 2020 at 13:26, on Zulip):

this is also why I'd go with P-critical

LeSeulArtichaut (May 21 2020 at 13:26, on Zulip):

I see no reason to not tag it as critical then

Santiago Pastorino (May 21 2020 at 13:26, on Zulip):

LeSeulArtichaut said:

Also let's ping cleanup to reduce the example?

definitely :)

Santiago Pastorino (May 21 2020 at 13:26, on Zulip):

let's do it and ping cleanup

Santiago Pastorino (May 21 2020 at 13:26, on Zulip):

doing that

LeSeulArtichaut (May 21 2020 at 13:27, on Zulip):

Go for it, let's avoid data races, that's also unsound :D

triagebot (May 21 2020 at 13:28, on Zulip):

Issue #72315's prioritization request has been removed.

LeSeulArtichaut (May 21 2020 at 13:33, on Zulip):

@Santiago Pastorino Did you include this in today's agenda?

Santiago Pastorino (May 21 2020 at 13:34, on Zulip):

yes

Last update: Jun 05 2020 at 22:50UTC