@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?
yes, @RalfJ, #47680 and similar issues were what I had in mind
okay... I'll eventually need to figure out what makes them so fundamentally hard them.^^