It means that the compiler knows that pointers/arrays don't overlap in memory. Data can therefore be safely stored in registers, instead of continually re-read from memory, to account for possible alterations between computations [1].

[1]: http://stackoverflow.com/questions/146159/is-fortran-faster-...

I wonder if Rust is fundamentally able to take advantage of its borrow checker and outperform C in this regard.