On Fri, Oct 4, 2013 at 12:35 AM, Florian Weimer <[email protected]> wrote:
> * 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). Then perhaps I misunderstood something. What safety claims are they making? Jonathan
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
