add range checks

dlang · Nov 18, 2015 · 919009d · 919009d
1 parent 5a34ae4
commit 919009d
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/std/experimental/range/ndslice.d b/std/experimental/range/ndslice.d
@@ -1635,7 +1635,10 @@ public:
     unittest {
         import std.range: iota;
         auto slice = 10000.iota.sliced(10, 20, 30);
+
         static assert(isRandomAccessRange!(typeof(slice)));
+        static assert(hasSlicing!(typeof(slice)));
+        static assert(hasLength!(typeof(slice)));
 
         assert(slice.shape == [10, 20, 30]);
         slice.popFront;
@@ -2366,6 +2369,22 @@ unittest
     assert(t0.length!3 == 40);
 }
 
+unittest {
+    import std.typetuple;
+    import std.range: iota;
+    foreach(R; TypeTuple!(
+        int*, int[], typeof(1.iota),
+        double*, double[], typeof(10.0.iota),
+        Tuple!(double, int[string])*, Tuple!(double, int[string])[]))
+    foreach(n; Iota!(1, 4))
+    {
+        alias S = Slice!(n, R);
+        static assert(isRandomAccessRange!S);
+        static assert(hasSlicing!S);
+        static assert(hasLength!S);
+    }
+}
+
 unittest {
     auto tensor = createSlice!int(3, 4, 8);
     assert(&(tensor.back.back.back()) is &tensor[2, 3, 7]);