"hasAliasing" reports true even for static arrays.

struct X { float[3] vals; }
pragma(msg, hasAliasing!(X)?"true":"false"); --> true

---
One fix would be to change this (around line 342):
        else static if (is(T[0] foo : U[], U))
            enum hasRawAliasing = !is(U == invariant);

To this:
        else static if (is(T[0] foo : U[], U))
            enum hasRawAliasing = !is(U == invariant) && (!isStaticArray!(T[0]) || hasRawPointerImpl!(U).result);