Support for bounds-checked indexing of `std::vec`

[ranjitjhala]

I can't figure out the fn fake_impl mystery (rustc refuses to agree its in scope, am probably doing something very silly?)