Can we skip borrow checking by caching MIRs and borrowck results?

compiler
1

We are experimenting with caching MIRs and borrowck results to skip borrow checking for already checked code. Is this possible? The mir_borrowck function takes a TyCtxt as an argument, so we are not confident.

2

Incr comp already caches the MIR and borrowck results from previous compilations if no dependency changed.

3 Likes
3

Thank you for your reply. Can you show me which functions (or files, etc.) do this? I'm interested in.

4

You may want to read Incremental compilation - Rust Compiler Development Guide

2 Likes
5

Thank you! I will read it.