Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #75983 ICE: unexpected predicate TraitPredicat…


triagebot (Aug 27 2020 at 13:23, on Zulip):

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

Procedure

LeSeulArtichaut (Aug 28 2020 at 21:50, on Zulip):

This one is requires-nightly, so I suppose it's not really a regression-from-stable-to-beta...?

LeSeulArtichaut (Aug 28 2020 at 22:07, on Zulip):

Removed regression-from-stable-to-beta and added needs-mcve

LeSeulArtichaut (Aug 28 2020 at 22:07, on Zulip):

Unsure if we should ping cleanup though?

apiraino (Aug 31 2020 at 17:06, on Zulip):

+1 for a cleanup - maybe a bisect could nail the culprit down and help keep it in mind in case something is going to be stabilized

apiraino (Aug 31 2020 at 17:46, on Zulip):

pinged cleanup for a more rigorous bisect (I've just run something quick)

apiraino (Sep 01 2020 at 07:04, on Zulip):

The bisecting revelaed that the regression happened in a rollup merge of many fixes
https://github.com/rust-lang/rust/issues/75983#issuecomment-683999647

It's a big diff, how can the culprit be better isolated in these cases?

DPC (Sep 01 2020 at 12:52, on Zulip):

that's generally the issue with rollups - especially larger ones that make bisection a pain.

lcnr (Sep 01 2020 at 12:55, on Zulip):

i expect https://github.com/rust-lang/rust/pull/72788

apiraino (Sep 01 2020 at 13:05, on Zulip):

thanks @lcnr I'll note this into the meeting agenda :thumbs_up:

apiraino (Sep 02 2020 at 15:44, on Zulip):

ok so we have an mcve and a possible culprit, P-medium because it's a nightly-only issue with features not to be immediately stabilized? Makes sense?

Santiago Pastorino (Sep 02 2020 at 15:49, on Zulip):

hmm yeah P-medium I guess it's fine

triagebot (Sep 02 2020 at 15:52, on Zulip):

Issue #75983's prioritization request has been removed.

Last update: Apr 15 2021 at 03:00UTC