4 ms·
I very much doubt that Core Guidelines Checker can do the job of the Rust borrow checker without the lifetime info the borrow checker needs. Is there some doc
by hsivonen 10y ago
I very much doubt that Core Guidelines Checker can do the job of the Rust borrow checker without the lifetime info the borrow checker needs.
Is there some doc that explains how the Core Guidelines Checker could achieve Rust-like safety given what it has to work with?
- corysama 10y agohttp://www.stroustrup.com/resource-model.pdf http://www.stroustrup.com/resource-model.pdf discussion https://news.ycombinator.com/item?id=10907573 https://news.ycombinator.com/item?id=10907573
- Manishearth 10y agoIIRC it's simultaneously not 100% safe because it can't stop R-W bugs (iterator invalidation, etc), and also more restrictive because it allows a smaller set of lifetime relations. This may have changed since I last saw it, which was admittedly quite a while ago. Still, major improvement. Could very well be "enough", practically speaking.