Will mojo upstream its borrow checker to llvm?
I understand mojo's borrow checker is built upon mlir, like everything in mojo, and I suspect you guys might have developed a lot of infrastructure that could benefit other projects using mlir. I wonder if mlir could include a standard dialect for doing borrow checking, and I think mojo could provide a great starting point. Would you mind sharing some details about how borrow-checking currently works internally?
