Search results

Extremely slow while compiling pulldown-cmark

Status: Open.

#199 In rust-lang/polonius;

· Neutron3529 opened on Mar 6, 2025

Avoid materializing initialization data at all CFG nodes

Status: Open.

#182 In rust-lang/polonius;

· ecstatic-morse opened on Nov 5, 2021

Attempting to compile <code>unicode-general-category</code>

Status: Open.

#181 In rust-lang/polonius;

· HollayHorvath opened on Nov 1, 2021

Avoid <code>TC(x, z) :- TC(x, y), TC(y, z)</code> when computing transitive closures

Status: Open.

#176 In rust-lang/polonius;

· ecstatic-morse opened on Aug 4, 2021

Document the intuition behind the optimized ruleset

Status: Open.

#175 In rust-lang/polonius;

· ecstatic-morse opened on Aug 3, 2021

Check constraints arising from higher-rank trait bounds (HRTBs)

Status: Open.

#172 In rust-lang/polonius;

· ecstatic-morse opened on Jul 30, 2021

A bug from drop

Status: Open.

#166 In rust-lang/polonius;

· lengyijun opened on Jul 14, 2021

Runaway borrow-check times for <code>tinyvec</code> crate

Status: Open.

#162 In rust-lang/polonius;

· Byron opened on Apr 4, 2021

Attempting to run a polonius check on my code

Status: Open.

#154 In rust-lang/polonius;

· Plecra opened on Aug 19, 2020

subset errors

Status: Open.

#153 In rust-lang/polonius;

· nikomatsakis opened on Aug 5, 2020

Move errors: add rule to report partial assignment to moved variables

Status: Open.

#152 In rust-lang/polonius;

· utaal opened on Jun 30, 2020

Experiment with Lobster-like memory management

Status: Open.

#143 In rust-lang/polonius;

· LifeIsStrange opened on Mar 2, 2020