Skip to content

Add mir_borrowck_with_facts to retrieve borrow-checking results and Polonius facts in a single pass#152175

Closed
stellanomia wants to merge 1 commit intorust-lang:mainfrom
stellanomia:borrowck-facts-api
Closed

Add mir_borrowck_with_facts to retrieve borrow-checking results and Polonius facts in a single pass#152175
stellanomia wants to merge 1 commit intorust-lang:mainfrom
stellanomia:borrowck-facts-api

Commits

Commits on Feb 5, 2026

Comments