Stream: t-compiler/wg-prioritization

Topic: I-prioritize #72476 Incorrect non-exhaustive pattern error


triagebot (May 22 2020 at 23:00, on Zulip):

@WG-prioritization issue #72476 has been requested for prioritization.

lcnr (May 23 2020 at 06:38, on Zulip):

Seems to be a problem when pattern matching on structs/enums which contain a projection...
P-high/P-critical IMO.

DPC (May 23 2020 at 14:32, on Zulip):

I agree with P-critical

LeSeulArtichaut (May 23 2020 at 17:52, on Zulip):

Yeah, this seems like a pretty major breakage to me... Rejects valid code, and detected really quickly (within less than 2 days)

triagebot (May 23 2020 at 17:54, on Zulip):

Issue #72476's prioritization request has been removed.

Last update: Jun 05 2020 at 23:15UTC