The borrow checker within (via vi_mi) — discussion

#rust