On 12/10/14 03:16 PM, Nick Cameron wrote: > > On a different note, I would be really keen to see dynamic or static > analysis of unsafe blocks to show that they do in fact re-establish the > invariants that the rust compiler expects by the end of the unsafe > block. I expect this is hard to do, but would be super-interesting research.
Unsafety isn't currently contained within unsafe blocks even in correct code. The lack of unsafe fields means leaning on the privacy systems to implement much of the unsafe code in the standard libraries.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
