Stream: t-compiler/wg-polonius

Topic: NLL vs Polonius examples


RalfJ (Feb 29 2020 at 20:45, on Zulip):

@nikomatsakis in your talk, at some point you mention that you have some examples more complicated than "problem case #3" that even the (computationally infeasible) stronger NLL couldnt handle, but polonius can. Could you point me to such an example?

lqd (Mar 02 2020 at 14:34, on Zulip):

(maybe https://github.com/rust-lang/rust/issues/47680)

nikomatsakis (Mar 03 2020 at 20:10, on Zulip):

yes, @RalfJ, #47680 and similar issues were what I had in mind

RalfJ (Mar 04 2020 at 17:42, on Zulip):

okay... I'll eventually need to figure out what makes them so fundamentally hard them.^^

Last update: Apr 03 2020 at 16:35UTC