Add __traits isDynamicArray

changelog/dmd.traits.isDynamicArray.dd

@@ -0,0 +1,5 @@
+Add __trait `isDynamicArray`
+
+Add a new unary builtin trait `isDynamicArray` that evalutes to true
+iff its single type argument is a D (fat-pointer) array (slice) of any
+type.

compiler/src/dmd/id.d

@@ -424,6 +424,7 @@ immutable Msgtable[] msgtable =
     { "isIntegral" },
     { "isScalar" },
     { "isStaticArray" },
+    { "isDynamicArray" },
     { "isUnsigned" },
     { "isVirtualFunction" },
     { "isVirtualMethod" },

compiler/src/dmd/traits.d

@@ -511,6 +511,10 @@ Expression semanticTraits(TraitsExp e, Scope* sc)
     {
         return isTypeX(t => t.toBasetype().ty == Tsarray);
     }
+    if (e.ident == Id.isDynamicArray)
+    {
+        return isTypeX(t => t.toBasetype().ty == Tarray);
+    }
     if (e.ident == Id.isAbstractClass)
     {
         return isTypeX((t)

compiler/test/runnable/traits.d

@@ -10,7 +10,7 @@ Creating library {{RESULTS_DIR}}/runnable/traits_0.lib and object {{RESULTS_DIR}
 TRANSFORM_OUTPUT: remove_lines("Creating library")
 TEST_OUTPUT:
 ---
-__lambda_L1073_C5
+__lambda_L1109_C5
 ---
 */
 
@@ -236,6 +236,12 @@ void test6()
 /********************************************************/
 
 void test7()
+{
+    test7s();
+    test7d();
+}
+
+void test7s()
 {
     assert(__traits(isStaticArray) == false);
     assert(__traits(isStaticArray, S) == false);
@@ -265,6 +271,36 @@ void test7()
     assert(__traits(isStaticArray, dchar) == false);
 }
 
+void test7d()
+{
+    assert(__traits(isDynamicArray) == false);
+    assert(__traits(isDynamicArray, S) == false);
+    assert(__traits(isDynamicArray, C) == false);
+    assert(__traits(isDynamicArray, E) == false);
+    assert(__traits(isDynamicArray, void*) == false);
+    assert(__traits(isDynamicArray, void[]) == true);
+    assert(__traits(isDynamicArray, void[3]) == false);
+    assert(__traits(isDynamicArray, int[char]) == false);
+    assert(__traits(isDynamicArray, float, float) == false);
+    assert(__traits(isDynamicArray, float, S) == false);
+
+    assert(__traits(isDynamicArray, void) == false);
+    assert(__traits(isDynamicArray, byte) == false);
+    assert(__traits(isDynamicArray, ubyte) == false);
+    assert(__traits(isDynamicArray, short) == false);
+    assert(__traits(isDynamicArray, ushort) == false);
+    assert(__traits(isDynamicArray, int) == false);
+    assert(__traits(isDynamicArray, uint) == false);
+    assert(__traits(isDynamicArray, long) == false);
+    assert(__traits(isDynamicArray, ulong) == false);
+    assert(__traits(isDynamicArray, float) == false);
+    assert(__traits(isDynamicArray, double) == false);
+    assert(__traits(isDynamicArray, real) == false);
+    assert(__traits(isDynamicArray, char) == false);
+    assert(__traits(isDynamicArray, wchar) == false);
+    assert(__traits(isDynamicArray, dchar) == false);
+}
+
 /********************************************************/
 
 void test8()