Turns out we don’t need a borrow checker after all. We can just use vague “AI code reasoning”. This seems highly credible and I’m sure we’re going to see a fully functional compiler and source release within the next 10 decades.