improve diagnostics message when swapping array elements (#597)

microsoft · Jun 13, 2022 · d46f8b8 · d46f8b8
1 parent 5f9ba1c
commit d46f8b8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Standard/src/Arrays/Arrays.qs b/Standard/src/Arrays/Arrays.qs
@@ -462,6 +462,8 @@ namespace Microsoft.Quantum.Arrays {
     /// Swapped(1, 3, [0, 1, 2, 3, 4]);
     /// ```
     function Swapped<'T>(firstIndex : Int, secondIndex : Int, arr : 'T[]) : 'T[] {
+        Fact(firstIndex >= 0 and firstIndex < Length(arr), "First index is out of bounds");
+        Fact(secondIndex >= 0 and secondIndex < Length(arr), "Second index is out of bounds");
         return arr
             w/ firstIndex <- arr[secondIndex]
             w/ secondIndex <- arr[firstIndex];