Stream: t-compiler/wg-polonius

Topic: Getting outlives constraints from mir::TerminatorKind::Call


Vytautas Astrauskas (Aug 02 2020 at 13:29, on Zulip):

We are exploring whether we could migrate our Rust verifier Prusti from Polonius to Stacked Borrows. Since Prusti is modular, we need a way to get outlives constraints between lifetimes for function calls in optimized_mir. Does anyone have a suggestion on how to do that? Thanks!

Last update: Jun 20 2021 at 01:30UTC