Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #77112 trait selection arbitrarily resolves pr…


triagebot (Sep 23 2020 at 15:58, on Zulip):

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

Procedure

Santiago Pastorino (Sep 23 2020 at 16:07, on Zulip):

agree with @Jonas Schievink here, this shouldn't compile

Santiago Pastorino (Sep 23 2020 at 16:07, on Zulip):

I wonder what kind of bad things could happen

Stu (Sep 23 2020 at 16:34, on Zulip):

This seems really bad. I would go with critical but I’m fine with high too

Joshua Nelson (Sep 23 2020 at 16:41, on Zulip):

it's not unsound but it seems like the fix would have to be backwards-incompatible

lcnr (Sep 23 2020 at 17:02, on Zulip):

I don't feel like this is P-critical. I am not even sure if it's P-high.

lcnr (Sep 23 2020 at 17:03, on Zulip):

We already have a bunch of similar issues, #66057 as mentioned in the issue itself

lcnr (Sep 23 2020 at 17:08, on Zulip):

#34979

lcnr (Sep 23 2020 at 17:08, on Zulip):

#73653

lcnr (Sep 23 2020 at 17:08, on Zulip):

and the most relevant one is probably #41756

Santiago Pastorino (Sep 23 2020 at 18:11, on Zulip):

agree with @lcnr but I do wonder if something bad could happen

Santiago Pastorino (Sep 23 2020 at 18:12, on Zulip):

anyway to me seems like P-high or P-medium

apiraino (Sep 23 2020 at 18:12, on Zulip):

If we assign a P-medium the issue may finish up under the radar for a while. Could it make sense to also mention these other issues as related so we minimize the risk of forgetting it?

DPC (Sep 23 2020 at 19:04, on Zulip):

looking at that issue, it feels fine to be p-medium to me and go under a radar "a bit"

lcnr (Sep 23 2020 at 20:31, on Zulip):

yeah, I don't expect that we can get unsoundness here

lcnr (Sep 23 2020 at 20:31, on Zulip):

so I don't mind not prioritizing things like this

DPC (Sep 23 2020 at 21:34, on Zulip):

you mean prioritising it as medium or not prioritising at all?

lcnr (Sep 24 2020 at 08:03, on Zulip):

Prioritizing it as P-medium is fine, but I don't think we should put a high priority on fixing this

apiraino (Sep 24 2020 at 08:07, on Zulip):

Ok, based on context P-medium seems the reasonable choice here :thumbs_up: I'll apply the tag.
thanks @lcnr for helping getting more context

triagebot (Sep 24 2020 at 08:09, on Zulip):

Issue #77112's prioritization request has been removed.

Last update: Apr 10 2021 at 22:30UTC