3 ms·
But the MIR definition of "safety" must be more encompassing than LLVM IR, right? LLVM IR has no concept of a borrow. Where in the MIR pipeline does borrow ch
by haberman 11y ago
But the MIR definition of "safety" must be more encompassing than LLVM IR, right? LLVM IR has no concept of a borrow. Where in the MIR pipeline does borrow checking happen?
- pcwalton 11y agoI believe that when it's implemented it will happen first before any optimization, in order to provide the best diagnostics possible and to avoid doing wasted optimization if there are errors. But Niko would really be able to answer this more definitively.