rust-lang / rust-lang/polonius
Attempting to run a polonius check on my code
Nobody has claimed this yet.
- Dominant language
- Rust
- Stars
- 1.7k
- Forks
- 86
- PR merge metrics
- No merged PRs in 30d
Description
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?
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reproducing the linked StreamingIterator example and the Polonius run against inputs/streaming-iterator.rs, including the {{impl}}-next facts. Read the reported lifetime, move, and subset errors, then determine whether the output explains the compilation failure and document the result.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100