Rusts borrow checker, ownership and whole model is quite complicated actually. Remember we are going for a complete, sound model without holes.
There have been soundness bugs during development and I think we have some really amazing people behind the core language that have been able to refine and adapt rust as it grows.
There have been soundness bugs during development and I think we have some really amazing people behind the core language that have been able to refine and adapt rust as it grows.