Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #58355 Compiler panic when implementing recurs…


triagebot (Dec 20 2020 at 10:35, on Zulip):

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

Procedure

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

Seems like this first started ICEing in 1.24 -> P-medium?

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

It seems like it should be emitting a typeck error instead of ICEing.

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

Seems like an issue a beginner might somewhat easily run into?

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

I don't think beginners usually start with recursive trait implementations :)

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

Yeah nevermind :D

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

Is this a regression btw?

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

It is a regression ... from 1.24

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

Damn, I can't read tonight, sorry :(

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

That's okay :)

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

isn't that actually not related to recursive traits

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

I don't actually understand what's going on :laughing:

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

but instead with trait objects for Fn() -> UnsizedTy?

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

which tries to create a shim for the trait object

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

which tries to create a function with an unsized return type which doesn't work

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

P-medium

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

imo

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

Sounds good to me

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

so these impls/function can actually never be used as they would need a function returning an unsized type which can't exist

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

so at least we don't break anything that should be working here

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

afaict

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

Issue #58355's prioritization request has been removed.

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

Done

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

Phew, now only 9 issues left to prioritize :sweat_smile:

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

Let's do it

Last update: Apr 15 2021 at 02:30UTC