Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #69487 ICE: The type checker should prevent re…


triagebot (Dec 20 2020 at 19:31, on Zulip):

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

Procedure

Camelid (Dec 20 2020 at 21:28, on Zulip):

Note that this ICEs on stable.

Camelid (Dec 20 2020 at 21:28, on Zulip):

oli-obk: this is a general issue with const eval. Typeck needs to const eval certain constants, for which we may not have invoked typeck yet. This ordering issue has existed since 1.0 afaik.

Camelid (Dec 20 2020 at 21:28, on Zulip):

Apparently Oli's example ICEs since 1.36.

Camelid (Dec 20 2020 at 21:29, on Zulip):

I kind of feel like we shouldn't prioritize this one. What do you think?

lcnr (Dec 20 2020 at 22:00, on Zulip):

well, it still shouldn't ice

lcnr (Dec 20 2020 at 22:01, on Zulip):

P-medium imo

Léo Lanteri Thauvin (Dec 20 2020 at 22:01, on Zulip):

The example ICE is kind of obviously wrong

Léo Lanteri Thauvin (Dec 20 2020 at 22:02, on Zulip):

Though I'd imagine that in more complex code this might not be as obvious

Léo Lanteri Thauvin (Dec 20 2020 at 22:02, on Zulip):

I'm fine with P-medium or even P-low

lcnr (Dec 20 2020 at 22:02, on Zulip):

this is something I want to see fixed

lcnr (Dec 20 2020 at 22:02, on Zulip):

so P-low doesn't seem appropriate to me here

Léo Lanteri Thauvin (Dec 20 2020 at 22:02, on Zulip):

Right, let's go for P-medium

triagebot (Dec 20 2020 at 22:03, on Zulip):

Issue #69487's prioritization request has been removed.

Camelid (Dec 20 2020 at 22:03, on Zulip):

Done.

Last update: Apr 10 2021 at 22:45UTC