Attempting to run a polonius check on my code

[Plecra]

I was a little disappointed when this StreamingIterator implementation wouldn't compile. The complaint it had about lifetimes didn't seem to make sense to me, and brought Polonius to mind.

I'm not very familiar with the project, but I tried to run polonius on the the code's facts:

Directory: .\inputs\streaming-iterator.rs\nll-facts\{{impl}}-next\
Time: 0.024s
# errors
# move_errors
# subset_errors

Do I get to be excited?

[lqd]

Probably best to be a bit cautious at first: Polonius is still work-in-progress, it doesn't handle all the possible errors it needs to just yet. For example, there are also other patterns which seem likely to interact with GATs and will require integration with Chalk inside rustc, and this work is still in the design phase.