But not bounds checks, which are unfortunately what you need with respect to buffer overflows.
[1]: http://doc.rust-lang.org/std/primitive.slice.html#method.get...