Revert "Remove an inconsistent rule about indexing"

asmeurer · asmeurer · commit 0009a8245224 · 2021-03-05T15:21:29.000-07:00
This reverts commit d9d51aa.
diff --git a/spec/API_specification/indexing.md b/spec/API_specification/indexing.md
@@ -105,6 +105,11 @@ Slice syntax must have the following defaults. Let `n` be the axis (dimension) s
 -   If `k` is greater than `0` and `j` is not provided (e.g., `0::2`), `j` must equal `n`.
 -   If `k` is less than `0` and `i` is not provided (e.g., `:10:-2`), `i` must equal `n-1`.
 -   If `k` is less than `0` and `j` is not provided (e.g., `0::-2`), `j` must equal `-n-1`.
+
+Using a slice to index a single array axis must adhere to the following rules. Let `n` be the axis (dimension) size.
+
+-   If `i` equals `j`, a slice must return an empty array, whose axis (dimension) size along the indexed axis is `0`.
+
 -   Indexing via `:` and `::` must be equivalent and have defaults derived from the rules above. Both `:` and `::` indicate to select all elements along a single axis (dimension).
 
 ```{note}
@@ -179,4 +184,4 @@ The result of an indexing operation (e.g., multi-axis indexing, boolean array in
 ```{note}
 
 The specified return value behavior includes indexing operations which return a single value (e.g., accessing a single element within a one-dimensional array).
-```
+```
