Stream: t-compiler/wg-prioritization/alerts

Topic: #81373 Derived PartialOrd is incorrect when inner values ar…


triagebot (Jan 25 2021 at 12:17, on Zulip):

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

Procedure

lcnr (Jan 25 2021 at 12:23, on Zulip):

P-high probably.

rylev (Jan 25 2021 at 13:16, on Zulip):

Can this be "fixed" It seems like fixing this could break user code, and it's not a soundness issue

lcnr (Jan 25 2021 at 13:17, on Zulip):

well, we can short circuit on none

lcnr (Jan 25 2021 at 13:17, on Zulip):

not sure if there is code which relies on the current behavior

lcnr (Jan 25 2021 at 13:17, on Zulip):

i hope not

tm (Jan 25 2021 at 13:23, on Zulip):

This will require a crater run, but I hope we can fix this, since this break transitivity among other things.

triagebot (Jan 25 2021 at 15:03, on Zulip):

Issue #81373's prioritization request has been removed.

Last update: Apr 16 2021 at 23:30UTC