Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #80207 `!Sized` return type error panics with …


triagebot (Dec 20 2020 at 00:30, on Zulip):

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

Procedure

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

I feel quite confused by this one; why did the code used to compile even though the return type was unsized? It seems like the code shouldn't compile, though it definitely shouldn't be ICEing.

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

Anyway, maybe P-high.

lcnr (Dec 20 2020 at 08:54, on Zulip):

The code used to compile because of the Self: Sized bound

lcnr (Dec 20 2020 at 08:54, on Zulip):

so it was "just" uncallable as dyn Trait is never sized

lcnr (Dec 20 2020 at 08:55, on Zulip):

consider that you were actually unable to use that impl P-high seems fine to me even though it is a regression

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

Ah, I see: the impl wouldn't cause an error, but any call to the method would.

triagebot (Dec 20 2020 at 21:08, on Zulip):

Issue #80207's prioritization request has been removed.

Last update: Apr 11 2021 at 19:15UTC