Stream: t-compiler/wg-prioritization

Topic: I-prioritize #72115 ICE: The type checker should prevent rea


triagebot (May 11 2020 at 17:11, on Zulip):

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

Wesley Wiser (May 11 2020 at 17:14, on Zulip):

P-medium I'd say:

lcnr (May 11 2020 at 17:17, on Zulip):

Error message emitted before ICE is accurate

uff, didn't see that :sweat_smile: I still think it should be P-high. While this is does not cause UB directly, it seems to have evaded at least one internal safety check which kind of makes me worried.

LeSeulArtichaut (May 11 2020 at 17:40, on Zulip):

If it happens in a failing path, according to our definitions for the priority levels, this should be P-low

Wesley Wiser (May 11 2020 at 17:41, on Zulip):

I'm fine with P-low

LeSeulArtichaut (May 11 2020 at 17:42, on Zulip):

While this is does not cause UB directly, it seems to have evaded at least one internal safety check which kind of makes me worried.

Given this is an ICE issue I don't think we should be worried by soundness issues

Santiago Pastorino (May 11 2020 at 20:23, on Zulip):

Wesley Wiser said:

P-medium I'd say:

My first reaction was also P-medium

Santiago Pastorino (May 11 2020 at 20:23, on Zulip):

I wonder if something that ICEs should ever be P-low

DPC (May 12 2020 at 00:15, on Zulip):

yeh P-low is okay

triagebot (May 12 2020 at 00:52, on Zulip):

Issue #72115's prioritization request has been removed.

Last update: Jun 05 2020 at 23:10UTC