Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #77694 Raw pointer deref of uninhabited type a…


triagebot (Oct 08 2020 at 12:37, on Zulip):

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

Procedure

LeSeulArtichaut (Oct 08 2020 at 13:19, on Zulip):

I guess this is an unsoundness bug, labeled it as such

LeSeulArtichaut (Oct 08 2020 at 13:19, on Zulip):

Can you violate memory safety with this bug? My impression is no

LeSeulArtichaut (Oct 08 2020 at 13:21, on Zulip):

I think this is P-medium, but I’d be fine with P-high too

lzutao (Oct 08 2020 at 13:22, on Zulip):

LeSeulArtichaut said:

I guess this is an unsoundness bug, labeled it as such

I'm not sure, quite often @RalfJ will tag the unsoundness label when he see fit.

lcnr (Oct 08 2020 at 13:22, on Zulip):

I don't think this is an unsoundness bug

lcnr (Oct 08 2020 at 13:23, on Zulip):

this mostly looks like an error in const checking to me

lcnr (Oct 08 2020 at 13:24, on Zulip):

(executing fn infallible is UB though)

RalfJ (Oct 08 2020 at 14:15, on Zulip):

yeah, it's a const-stability-checking bug

RalfJ (Oct 08 2020 at 14:15, on Zulip):

but it causes neither runtime nor const-time unsoundness

RalfJ (Oct 08 2020 at 14:16, on Zulip):

so this is like any other case of "oops a nightly-only feature is usable on stable"

RalfJ (Oct 08 2020 at 14:16, on Zulip):

I leave it up to you if that implies P-high ;)

Camelid (Oct 08 2020 at 20:14, on Zulip):

I would say P-medium or P-high, but I don't know this part of Rust that well, so maybe let's go with RalfJ's implication of P-high?

Joshua Nelson (Oct 08 2020 at 20:37, on Zulip):

personally I would say p-high or p-critical, feature gates should never be allowed on stable

Joshua Nelson (Oct 08 2020 at 20:37, on Zulip):

this caused one of our other issues, a feature gate was available so long people thought it was part of the language: https://github.com/rust-lang/rust/issues/77713

Camelid (Oct 08 2020 at 20:57, on Zulip):

Okay, I'm fine with either. How about P-high?

triagebot (Oct 08 2020 at 21:01, on Zulip):

Issue #77694's prioritization request has been removed.

Last update: Apr 11 2021 at 19:30UTC