Performs the borrow-checker algorithm. More...
#include <gyoji-analysis.hpp>
Performs the borrow-checker algorithm.
The borrow-checker is modelled after the 'polonius' borrow checker from Rust.