diff --git a/tests/cases/compiler/recursiveTupleTypes1.ts b/tests/cases/compiler/recursiveTupleTypes1.ts
new file mode 100644
index 00000000000..82559eccfad
--- /dev/null
+++ b/tests/cases/compiler/recursiveTupleTypes1.ts
@@ -0,0 +1,12 @@
+interface Tree1 {
+    children: [Tree1, Tree2];
+}
+
+interface Tree2 {
+    children: [Tree2, Tree1];
+}
+
+let tree1: Tree1;
+let tree2: Tree2;
+tree1 = tree2;
+tree2 = tree1;
diff --git a/tests/cases/compiler/recursiveTupleTypes2.ts b/tests/cases/compiler/recursiveTupleTypes2.ts
new file mode 100644
index 00000000000..78c8efa82a4
--- /dev/null
+++ b/tests/cases/compiler/recursiveTupleTypes2.ts
@@ -0,0 +1,12 @@
+interface Tree1 {
+    children: [Tree1, Tree2];
+}
+
+interface Tree2 {
+    children: [Tree2, Tree2];
+}
+
+let tree1: Tree1;
+let tree2: Tree2;
+tree1 = tree2;
+tree2 = tree1;