Stream: t-compiler/wg-polonius

Topic: Make Polonius input facts public

Vytautas Astrauskas (Nov 12 2019 at 12:26, on Zulip):

Some compiler consumers like Prusti and MIRAI need information about aliasing that is available in the borrow checker. This pull request adds a way for compiler consumers to access inputs of any query. However, most of the borrow checker functions and structures are private and cannot be accessed. @nikomatsakis would it be fine with you (in principle, I am not sure yet when I will be able to start working on this) if I refactored do_mir_borrock so it was possible to access region IDs and Polonius input facts?

Last update: Jun 20 2021 at 00:00UTC