Skip to content

Scalable Polonius support on nightly #285

@nikomatsakis

Description

@nikomatsakis
Metadata
Point of contact @lqd
Team(s) types
Goal document 2025h1/Polonius

Summary

Keep working on implementing a native rustc version of the [Polonius][pc3] next generation borrow checking algorithm, that would scale better than the previous datalog implementation, continuing from the 2024h2 goal.

Tasks and status

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions