Use `builtin_index` instead of hand-rolling it#141638

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:builtin-indexoli-obk/rust:builtin-indexCopy head branch name to clipboard