Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #80059 Unsafe checking skips pointer dereferen…

triagebot (Dec 15 2020 at 19:04, on Zulip):

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

Procedure

Léo Lanteri Thauvin (Dec 15 2020 at 22:03, on Zulip):

Probably P-low as it's sound as-is, and has been this way for over 3 years.

I think either P-low or P-medium are fine here

Camelid (Dec 15 2020 at 22:04, on Zulip):

P-medium seems better to me, since P-low is often "won't fix".

lcnr (Dec 15 2020 at 22:04, on Zulip):

P-medium seems good

Léo Lanteri Thauvin (Dec 15 2020 at 22:05, on Zulip):

Going with P-medium then

triagebot (Dec 15 2020 at 22:05, on Zulip):

Issue #80059's prioritization request has been removed.

apiraino (Dec 16 2020 at 12:18, on Zulip):

I'm going to link here a comment from nikomatsakis on issue #79735 at least partly relevant to this one, too

apiraino (Dec 30 2020 at 15:37, on Zulip):

@Léo Lanteri Thauvin 3 days ago you tried to remove the I-nominated label but still has that label - should that label be removed?

Léo Lanteri Thauvin (Dec 30 2020 at 15:38, on Zulip):

I was wondering if it was nominated for T-lang or T-compiler

Léo Lanteri Thauvin (Dec 30 2020 at 15:38, on Zulip):

I don't have the answer, but I think we should skip it in the agenda

Léo Lanteri Thauvin (Dec 30 2020 at 15:39, on Zulip):

(i.e. not include it)

Léo Lanteri Thauvin (Dec 30 2020 at 15:39, on Zulip):

Ultimately this needs a T-lang decision (see rust-lang/unsafe-code-guidelines#261)

apiraino (Dec 30 2020 at 15:41, on Zulip):

ok, will remove it. I was wondering how that label was still there after a deliberate action to remove it :thinking:

Léo Lanteri Thauvin (Dec 30 2020 at 15:41, on Zulip):

apiraino said:

ok, will remove it

From the agenda? Or remove the label from the issue?

apiraino (Dec 30 2020 at 15:41, on Zulip):

label from issue

apiraino (Dec 30 2020 at 15:42, on Zulip):

do the t-lang pick that label somehow? (sorry always asking the same questions...)

Léo Lanteri Thauvin (Dec 30 2020 at 15:42, on Zulip):

I think it should stay there for T-lang

Léo Lanteri Thauvin (Dec 30 2020 at 15:42, on Zulip):

I'm pretty sure they do

apiraino (Dec 30 2020 at 15:43, on Zulip):

ok, then I'd apply the I-nominated back (fix my mistake) but then ... maybe remove T-compilerso it doesnt appear in our agenda?

Léo Lanteri Thauvin (Dec 30 2020 at 15:44, on Zulip):

Seems fine to me, with a comment explaining that I guess

Léo Lanteri Thauvin (Dec 30 2020 at 15:44, on Zulip):

I can do it if you want

apiraino (Dec 30 2020 at 15:47, on Zulip):

ok, left a brief note (hope it's fine). Just a small detail so when tomorrow we refresh the agenda this issue doesnt show up

Last update: Apr 15 2021 at 02:15UTC