* Jonathan S. Shapiro: > Have the type rules for Rust borrowed pointers been published? For that > matter, have the type rules for *any* of Rust been published?
I don't think so. > If not, what is our basis for confidence in the safety of Rust? They still have known, non-intentional holes (and quite a few unknown ones, I suspect). _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
