Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #27675 object-safe traits can have associated …


triagebot (Sep 22 2020 at 20:26, on Zulip):

@WG-prioritization/alerts issue #27675 has been requested for prioritization.

Procedure

LeSeulArtichaut (Sep 22 2020 at 20:29, on Zulip):

Being able make any type Copy seems very scary indeed

Mason Stallmo (Sep 22 2020 at 20:29, on Zulip):

I'm not as familiar with this issue as other but looking through the conversation it seems like this would be a good candidate for P-Critical.

Mason Stallmo (Sep 22 2020 at 20:29, on Zulip):

Yeah that seems like a very scary/bad thing indeed

LeSeulArtichaut (Sep 22 2020 at 20:31, on Zulip):

Was that bug unnoticed since 2015?

LeSeulArtichaut (Sep 22 2020 at 20:34, on Zulip):

If so I’m not sure it should be P-critical

Mason Stallmo (Sep 22 2020 at 20:38, on Zulip):

I just noticed that it's at least been around since 2016.

Do the new comments on the issue warrant upgrading from a P-medium since that's what it was labeled as previously?

LeSeulArtichaut (Sep 22 2020 at 20:39, on Zulip):

See also https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/Soundness.20issue.20that.20makes.20any.20type.20Copy

LeSeulArtichaut (Sep 22 2020 at 20:43, on Zulip):

I think P-high would be fine here

Mason Stallmo (Sep 22 2020 at 20:44, on Zulip):

Seems good to me :+1:

LeSeulArtichaut (Sep 22 2020 at 20:45, on Zulip):

If this bug stayed this long unnoticed, I guess it means that it's hard to encounter it in real code

LeSeulArtichaut (Sep 22 2020 at 20:45, on Zulip):

@lcnr any additional thoughts?

lcnr (Sep 22 2020 at 21:01, on Zulip):

The bug is already old and you can't easily trigger it by accident, so P-high seems fine

lcnr (Sep 22 2020 at 21:02, on Zulip):

that's one of these bugs which makes rust look bad though, so I really want to see this fixed

lcnr (Sep 22 2020 at 21:03, on Zulip):

(similar to https://blog.rust-lang.org/2020/07/30/Rust-1.45.1.html)

Mason Stallmo (Sep 22 2020 at 21:08, on Zulip):

Tagging as P-highunless there are any objections

triagebot (Sep 22 2020 at 21:19, on Zulip):

Issue #27675's prioritization request has been removed.

Last update: Apr 15 2021 at 02:00UTC