Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #79033 Confusing lifetime error: expected `(&L…

triagebot (Nov 13 2020 at 20:00, on Zulip):

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


apiraino (Nov 18 2020 at 11:17, on Zulip):

I would mark this as P-medium like the sister issue mentioned (#41078)

Camelid (Nov 18 2020 at 19:25, on Zulip):

I kind of think this should be P-high (disclaimer: I'm the author of the issue). On stable, the error is:

expected &Location<'_>, found &Location<'_>

but nightly (maybe beta too now), shows:

expected (&Location<'_>,), found (&Location<'_>,)

which I find quite weird. The error is weird enough as it is since it shows two things that are equal, but it's even weirder that it has changed to showing tuples on nightly. I'm guessing the reason the two things look equal but are not is because of constraints on inference variables? I don't know enough about the type-checker to know for sure though.

Santiago Pastorino (Nov 18 2020 at 20:15, on Zulip):

bump, unprioritized

Joshua Nelson (Nov 18 2020 at 21:03, on Zulip):

I think P-medium since it's a diagnostics bug with a workaround

triagebot (Nov 18 2020 at 21:14, on Zulip):

Issue #79033's prioritization request has been removed.

Last update: Apr 11 2021 at 18:00UTC