Stream: t-compiler/wg-prioritization

Topic: I-prioritize #34979 Mismatched types error with mixed lifeti


triagebot (May 07 2020 at 19:47, on Zulip):

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

Bastian Kauschke (May 07 2020 at 19:48, on Zulip):

^ I think this is probably P-low but I wanted someone who actually understands what's going on to look at this

DPC (May 07 2020 at 19:56, on Zulip):

i'd say p-medium

lcnr (May 11 2020 at 09:26, on Zulip):

Let's set it to P-medium then :shrug:

triagebot (May 11 2020 at 09:26, on Zulip):

Issue #34979's prioritization request has been removed.

Last update: Jun 05 2020 at 23:20UTC