3 ms·
> LLVM IR that Clang would produce You most certainly can’t unless your code is unsafe and in that case the comparison isn’t so interesting anymore.
by parhamn 5y ago
> LLVM IR that Clang would produce
You most certainly can’t unless your code is unsafe and in that case the comparison isn’t so interesting anymore.
- Aissen 5y agoIt is very interesting if you have properly verified invariants and you can guarantee (with manual checking) that your code is correct. It's an order of magnitude harder than just letting the borrow checker do its job, but it's entirely possible (just like in any other language).