Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #74739 Regression from 1.44 to 1.45


triagebot (Jul 25 2020 at 11:57, on Zulip):

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

Procedure

triagebot (Jul 25 2020 at 11:57, on Zulip):

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

Procedure

lcnr (Jul 25 2020 at 12:02, on Zulip):

This has already been fixed... was a bug in mir const prop

lcnr (Jul 25 2020 at 12:03, on Zulip):

did we forget to backport this/missed a beta cutoff?

lcnr (Jul 25 2020 at 12:04, on Zulip):

This should be a duplicate of the already closed #73609

lcnr (Jul 25 2020 at 12:10, on Zulip):

This should be P-critical btw :laughter_tears:

LeSeulArtichaut (Jul 25 2020 at 14:26, on Zulip):

Nah, this is not an important bug, everyone knows that 13 = 42 :big_smile:

triagebot (Jul 25 2020 at 14:26, on Zulip):

Issue #74739's prioritization request has been removed.

Last update: Apr 17 2021 at 00:15UTC