Stream: t-compiler/wg-polonius

Topic: Polonius for rust-analyzer


Will Crichton (Feb 27 2021 at 15:40, on Zulip):

Question for the Polonius team: I'm interested in building a program slicer for Rust, ideally integrated into rust-analyzer (see this thread).

Program slicing requires alias analysis / borrow checking, and RA has not implemented these features. Someone pointed out that I could consider using Polonius as a substitute borrow checker. Does that seem even remotely feasible right now?

Vytautas Astrauskas (Feb 27 2021 at 16:16, on Zulip):

I have replied to the original thread.

Last update: Jun 20 2021 at 01:15UTC