Make some types and methods related to Polonius + Miri public#134191

Merged

bors merged 2 commits intorust-lang:masterfrom

willcrichton:dev

Dec 14, 2024

Commits on Dec 12, 2024

Make some types and methods related to Polonius + Miri public.
willcrichton
committed
Make BorrowSet/BorrowData fields accessible via public getters
willcrichton
committed