This is also an array (`[int, ..10]`), not a slice.