This is not a slice. This is an array of type `[int, ..10]` (well, `<generic integer>`, but it'll be `int` unless constrained to something else).