rust-lang/polonius

View on GitHub

Defines the Rust borrow checker.

Stars: 1.7k
Forks: 86
Open beginner issues: 0
Indexed issues: 28

Dominant language: Rust
License: Apache-2.0
Last GitHub push: Aug 17, 2026
Latest indexed: Sep 19, 2026
Contributing guide: No contributing guide
Code of conduct: Code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

28 open issues indexed

Extremely slow while compiling pulldown-cmark Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

rust-lang/polonius#199 · Opened Mar 6, 2025
Avoid materializing initialization data at all CFG nodes Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

rust-lang/polonius#182 · 1 comment · 2 reactions · Opened Nov 5, 2021
Attempting to compile `unicode-general-category` Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

rust-lang/polonius#181 · 2 comments · Opened Nov 1, 2021
Avoid `TC(x, z) :- TC(x, y), TC(y, z)` when computing transitive closures Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

rust-lang/polonius#176 · 2 reactions · Opened Aug 4, 2021
Document the intuition behind the optimized ruleset Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rust-lang/polonius#175 · 2 comments · 2 reactions · Opened Aug 3, 2021
Check constraints arising from higher-rank trait bounds (HRTBs) Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

rust-lang/polonius#172 · 1 comment · Opened Jul 30, 2021
A bug from drop Open

rust-lang/polonius#166 · 1 reaction · 1 assignee · Opened Jul 14, 2021
Runaway borrow-check times for `tinyvec` crate Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rust-lang/polonius#162 · 2 comments · Opened Apr 4, 2021
Attempting to run a polonius check on my code Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

rust-lang/polonius#154 · 1 comment · Opened Aug 19, 2020
subset errors Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

rust-lang/polonius#153 · 4 comments · 1 reaction · Opened Aug 5, 2020
Move errors: add rule to report partial assignment to moved variables Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rust-lang/polonius#152 · Opened Jun 30, 2020
Experiment with Lobster-like memory management Open

Difficulty 5/5 Over a week Newbie friendliness 18/100

rust-lang/polonius#143 · 3 comments · 10 reactions · Opened Mar 2, 2020
Import the rules from HackMD into the Polonius book Open

Difficulty 2/5 1-3 hours Newbie friendliness 48/100

rust-lang/polonius#141 · Opened Feb 16, 2020
update polonius-parser to handle facts for liveness Open

Difficulty 3/5 1-2 days Newbie friendliness 42/100

rust-lang/polonius#138 · Opened Nov 12, 2019
child facts should only contain immediate children Open

fact-generation

Difficulty 4/5 3-5 days Newbie friendliness 20/100

rust-lang/polonius#120 · 3 comments · Opened Sep 6, 2019
document how to run Polonius in Rust's unit tests in the book Open

Difficulty 2/5 1-3 hours Newbie friendliness 30/100

rust-lang/polonius#119 · Opened Sep 4, 2019
profile Polonius using measureme Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rust-lang/polonius#118 · Opened Sep 4, 2019
refactor the fact-generation code to be less messy, use fewer MIR walks Open

fact-generation

Difficulty 5/5 Over a week Newbie friendliness 25/100

rust-lang/polonius#117 · Opened Sep 4, 2019
break the analysis pipeline into components Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rust-lang/polonius#112 · Opened Aug 30, 2019
possible refinement to avoid tracking subset relations Open

wontfix

Difficulty 5/5 Over a week Newbie friendliness 20/100

rust-lang/polonius#107 · 2 comments · 5 reactions · Opened Jun 6, 2019
bring this crate into conformance with compiler-team crate policy Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

rust-lang/polonius#101 · Opened Mar 7, 2019
The `subset` relation contains regions subsets of themselves Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

rust-lang/polonius#62 · Opened May 29, 2018
Front-end: Compute liveness to emit all `region_live_at` facts Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rust-lang/polonius#61 · Opened May 29, 2018
friendlier front end Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

rust-lang/polonius#26 · 1 comment · Opened May 14, 2018
Revisit the "Location::All" hack Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

rust-lang/polonius#24 · 2 comments · Opened May 12, 2018
Idea: condense CFG Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

rust-lang/polonius#20 · Opened May 10, 2018
experiment with bespoke graph representation Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

rust-lang/polonius#5 · 4 comments · Opened May 1, 2018
improve unit tests, add more Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

rust-lang/polonius#1 · Opened May 1, 2018

rust-lang/polonius

Get new issues in your inbox