I would love this, but when I have seen it mentioned in the past the kind of "shortest path" fix would need some kind of default type hinting. The (technically minor) breakage for all code that resembles
let i = 2;
let x = xs[i];
is pretty severe. So it would be nice in that case if the type of i were inferred to be usize.