Fix issue 19228 - hasAliasing fails on static arrays

dlang · Sep 6, 2018 · bcc9d57 · bcc9d57
1 parent f03cce2
commit bcc9d57
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/std/traits.d b/std/traits.d
@@ -2886,6 +2886,8 @@ private template hasRawAliasing(T...)
         {
             static if (is(T[0] foo : U*, U) && !isFunctionPointer!(T[0]))
                 enum has = !is(U == immutable);
+            else static if (is(T[0] foo : U[N], U, size_t N))
+                enum has = hasRawAliasing!U;
             else static if (is(T[0] foo : U[], U) && !isStaticArray!(T[0]))
                 enum has = !is(U == immutable);
             else static if (isAssociativeArray!(T[0]))
@@ -2918,6 +2920,16 @@ private template hasRawAliasing(T...)
     static assert(!hasRawAliasing!S2);
 }
 
+// Issue 19228
+@safe unittest
+{
+    static struct C
+    {
+        int*[1] a;
+    }
+    static assert(hasRawAliasing!C);
+}
+
 @safe unittest
 {
     // struct with a pointer member