Have the type rules for Rust borrowed pointers been published? For that matter, have the type rules for *any* of Rust been published?
If not, what is our basis for confidence in the safety of Rust? Jonathan
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
