diff --git a/.gitattributes b/.gitattributes
index 4a889550f9..c56bc0f80b 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -12091,6 +12091,7 @@ tests/test/tarrconstr1.pp svneol=native#text/pascal
 tests/test/tarrconstr2.pp svneol=native#text/pascal
 tests/test/tarrconstr3.pp svneol=native#text/pascal
 tests/test/tarrconstr4.pp svneol=native#text/pascal
+tests/test/tarrconstr5.pp svneol=native#text/pascal
 tests/test/tasm1.pp svneol=native#text/plain
 tests/test/tasm10.pp svneol=native#text/plain
 tests/test/tasm2.inc svneol=native#text/plain
diff --git a/tests/test/tarrconstr5.pp b/tests/test/tarrconstr5.pp
new file mode 100644
index 0000000000..eb72659887
--- /dev/null
+++ b/tests/test/tarrconstr5.pp
@@ -0,0 +1,233 @@
+program tarrconstr5;
+
+{$mode objfpc}{$H+}
+
+type
+  TSet = set of (One, Two, Three);
+
+  TLongIntArray = array of LongInt;
+  TLongIntArrayArray = array of TLongIntArray;
+  TSetArray  =array of TSet;
+  TSetArrayArray = array of TSetArray;
+  TStringArray = array of String;
+  TStringArrayArray = array of TStringArray;
+  TStringArrayArray2 = specialize TArray<specialize TArray<String>>;
+
+var
+  code: LongInt = 1;
+
+procedure CheckLongInt(aActual, aExpected: array of LongInt);
+var
+  i: LongInt;
+begin
+  if Length(aActual) <> Length(aExpected) then
+    Halt(code);
+  Inc(code);
+  for i := Low(aActual) to High(aActual) do
+    if aActual[i] <> aExpected[i] then
+      Halt(code);
+  Inc(code);
+end;
+
+procedure CheckLongInt(aActual, aExpected: array of TLongIntArray);
+var
+  i: LongInt;
+begin
+  if Length(aActual) <> Length(aExpected) then
+    Halt(code);
+  Inc(code);
+  for i := Low(aActual) to High(aActual) do
+    CheckLongInt(aActual[i], aExpected[i]);
+end;
+
+procedure CheckSet(aActual, aExpected: array of TSet);
+var
+  i: LongInt;
+begin
+  if Length(aActual) <> Length(aExpected) then
+    Halt(code);
+  Inc(code);
+  for i := Low(aActual) to High(aActual) do
+    if aActual[i] <> aExpected[i] then
+      Halt(code);
+  Inc(code);
+end;
+
+procedure CheckSet(aActual, aExpected: array of TSetArray);
+var
+  i: LongInt;
+begin
+  if Length(aActual) <> Length(aExpected) then
+    Halt(code);
+  Inc(code);
+  for i := Low(aActual) to High(aActual) do
+    CheckSet(aActual[i], aExpected[i]);
+end;
+
+procedure CheckString(aActual, aExpected: array of String);
+var
+  i: LongInt;
+begin
+  if Length(aActual) <> Length(aExpected) then
+    Halt(code);
+  Inc(code);
+  for i := Low(aActual) to High(aActual) do
+    if aActual[i] <> aExpected[i] then
+      Halt(code);
+  Inc(code);
+end;
+
+procedure CheckString(aActual, aExpected: array of TStringArray);
+var
+  i: LongInt;
+begin
+  if Length(aActual) <> Length(aExpected) then
+    Halt(code);
+  Inc(code);
+  for i := Low(aActual) to High(aActual) do
+    CheckString(aActual[i], aExpected[i]);
+end;
+
+var
+  la1: TLongIntArray;
+  la2: array of LongInt;
+  la3: specialize TArray<LongInt>;
+  laa1: TLongIntArrayArray;
+  laa2: array of TLongIntArray;
+  laa3: array of array of LongInt;
+  sa1: TSetArray;
+  sa2: array of TSet;
+  sa3: specialize TArray<TSet>;
+  saa1: array of TSetArray;
+  saa2: TSetArrayArray;
+  stra1: TStringArray;
+  stra2: array of String;
+  stra3: specialize TArray<String>;
+  straa1: array of TStringArray;
+  straa2: TStringArrayArray;
+  straa3: specialize TArray<TStringArray>;
+  straa4: specialize TArray<specialize TArray<String>>;
+begin
+  la1 := [];
+  CheckLongInt(la1, []);
+
+  laa1 := [[]];
+  CheckLongInt(laa1, [[]]);
+  CheckLongInt(laa1, [nil]);
+
+  laa1 := [nil];
+  CheckLongInt(laa1, [[]]);
+  CheckLongInt(laa1, [nil]);
+
+  laa1 := [[], nil];
+  CheckLongInt(laa1, [[], nil]);
+  CheckLongInt(laa1, [[], []]);
+  CheckLongInt(laa1, [nil, nil]);
+  CheckLongInt(laa1, [nil, []]);
+
+  laa1 := [nil, nil];
+  CheckLongInt(laa1, [nil, nil]);
+  CheckLongInt(laa1, [[], []]);
+  CheckLongInt(laa1, [nil, []]);
+  CheckLongInt(laa1, [[], nil]);
+
+  laa1 := [[], []];
+  CheckLongInt(laa1, [[], []]);
+  CheckLongInt(laa1, [nil, nil]);
+  CheckLongInt(laa1, [nil, []]);
+  CheckLongInt(laa1, [[], nil]);
+
+  laa1 := [nil, [], nil];
+  CheckLongInt(laa1, [nil, [], nil]);
+  CheckLongInt(laa1, [nil, nil, nil]);
+  CheckLongInt(laa1, [[], [], []]);
+  CheckLongInt(laa1, [[], nil, []]);
+
+  la1 := [1, 3, 5];
+  CheckLongInt(la1, [1, 3, 5]);
+
+  la2 := [2, 4, 6];
+  CheckLongInt(la2, [2, 4, 6]);
+
+  la3 := [5, 6, 7, 8];
+  CheckLongInt(la3, [5, 6, 7, 8]);
+
+  laa1 := [la1, la2];
+  CheckLongInt(laa1, [la1, la2]);
+
+  laa2 := [la2, la1];
+  CheckLongInt(laa2, [la2, la1]);
+
+  laa3 := [la1, la3];
+  CheckLongInt(laa3, [la1, la3]);
+
+  laa1 := [[1, 3, 5], [2, 4, 6], [1, 3, 5]];
+  CheckLongInt(laa1, [la1, la2, la1]);
+
+  laa2 := [[2, 4, 6], [1, 3, 5], [5, 6, 7, 8]];
+  CheckLongInt(laa2, [la2, la1, la3]);
+
+  laa3 := [[5, 6, 7, 8]];
+  CheckLongInt(laa3, [la3]);
+
+  laa3 := [[], [], []];
+  CheckLongInt(laa3, [nil, nil, nil]);
+
+  sa1 := [[]];
+  CheckSet(sa1, [[]]);
+
+  sa1 := [[], []];
+  CheckSet(sa1, [[], []]);
+
+  saa1 := [[[]]];
+  CheckSet(saa1, [[[]]]);
+
+  saa1 := [nil];
+  CheckSet(saa1, [nil]);
+
+  saa1 := [[]];
+  CheckSet(saa1, [[]]);
+
+  sa1 := [[One], [Two, Three]];
+  sa2 := [[]];
+  sa3 := [[Three], []];
+
+  saa1 := [[[One], [Two, Three]], [[]], [[Three], []]];
+  CheckSet(saa1, [sa1, sa2, sa3]);
+
+  sa1 := [[Two], [Three]];
+  sa2 := [[One]];
+
+  saa2 := [[[Two], [Three]], [[One]]];
+  CheckSet(saa2, [sa1, sa2]);
+
+  stra1 := ['Hello', 'World'];
+  CheckString(stra1, ['Hello', 'World']);
+
+  stra2 := ['Hello'];
+  CheckString(stra2, ['Hello']);
+
+  stra3 := [];
+  CheckString(stra3, []);
+
+  stra1 := ['Hello'];
+  stra2 := ['World'];
+
+  straa1 := [['Hello'], ['World']];
+  CheckString(straa1, [stra1, stra2]);
+
+  stra1 := ['Hello', 'FPC'];
+  stra2 := [];
+  stra3 := ['World'];
+
+  straa2 := [['Hello', 'FPC'], [], ['World']];
+  CheckString(straa2, [stra1, stra2, stra3]);
+
+  straa3 := [[], ['World'], ['Hello', 'FPC']];
+  CheckString(straa3, [stra2, stra3, stra1]);
+
+  straa4 := [['World'], ['World']];
+  CheckString(straa4, [stra3, stra3]);
+
+  Writeln('ok');
+end.