rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
95 stars 19 forks source link

Location-sensitive polonius #114

Open nikomatsakis opened 1 year ago

nikomatsakis commented 1 year ago

Stabilize a location-sensitive version of polonius. It should accept the "famous" Problem Case 3 from the NLL RFC as well as the dreaded https://github.com/rust-lang/rust/issues/47680. See Polonius Update blog post for more background.

Currently owned by @lqd (who cannot presently be assigned to the issue) with @nikomatsakis as types-team liaison.

Required #108