On 05/26/2012 06:57 PM, Niko Matsakis wrote:
For the moment, we are trying to avoid introducing arbitrary arithmetic into the type system. It's possible typestate could be used here in some limited cases.
And I suspect LLVM can hoist out a bunch of bounds checks if we provide it with type-based alias analysis.
Patrick _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
