diff --git a/compiler/types.nim b/compiler/types.nim
index 4fcc3a2cf35fd..6b596b22ef7f6 100644
--- a/compiler/types.nim
+++ b/compiler/types.nim
@@ -1623,7 +1623,7 @@ proc isTupleRecursive(t: PType, cycleDetector: var IntSet): bool =
       if isTupleRecursive(t[i], cycleDetectorCopy):
         return true
   of tyAlias, tyRef, tyPtr, tyGenericInst, tyVar, tyLent, tySink,
-      tyArray, tyUncheckedArray, tySequence:
+      tyArray, tyUncheckedArray, tySequence, tyDistinct:
     return isTupleRecursive(t.lastSon, cycleDetector)
   else:
     return false
diff --git a/tests/types/tillegaltuplerecursion.nim b/tests/types/tillegaltuplerecursion.nim
index c822e88805d54..cb75ad9c37261 100644
--- a/tests/types/tillegaltuplerecursion.nim
+++ b/tests/types/tillegaltuplerecursion.nim
@@ -35,4 +35,6 @@ type
     children: ptr MyType9
 
   MyType9 = tuple
-    children: MyType0
+    children: MyType10
+
+  MyType10 = distinct seq[MyType0]