Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #74224 is_type_structurally_recursive diverges


Santiago Pastorino (Jul 15 2020 at 15:10, on Zulip):

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

Procedure

Wesley Wiser (Jul 15 2020 at 15:14, on Zulip):

It looks like this is broken on stable.

Wesley Wiser (Jul 15 2020 at 15:15, on Zulip):

P-medium? It looks like you do get a reasonable and useful error before the divergence occurs.

Santiago Pastorino (Jul 15 2020 at 15:15, on Zulip):

haha I was just writing P-medium

Santiago Pastorino (Jul 15 2020 at 15:15, on Zulip):

:+1:

triagebot (Jul 15 2020 at 15:15, on Zulip):

Issue #74224's prioritization request has been removed.

Last update: Apr 17 2021 at 00:00UTC