diff --git a/compiler/sighashes.nim b/compiler/sighashes.nim
index 16c329f751..aac97cdf33 100644
--- a/compiler/sighashes.nim
+++ b/compiler/sighashes.nim
@@ -208,6 +208,7 @@ proc hashType(c: var MD5Context, t: PType; flags: set[ConsiderFlag]; conf: Confi
     c.hashTree(t.n, {}, conf)
   of tyTuple:
     c &= char(t.kind)
+    c &= t.len
     if t.n != nil and CoType notin flags:
       for i in 0..<t.n.len:
         assert(t.n[i].kind == nkSym)
diff --git a/tests/ccgbugs2/t25883_tuple_sighash_collision.nim b/tests/ccgbugs2/t25883_tuple_sighash_collision.nim
new file mode 100644
index 0000000000..956b34c57e
--- /dev/null
+++ b/tests/ccgbugs2/t25883_tuple_sighash_collision.nim
@@ -0,0 +1,45 @@
+discard """
+targets: "c cpp"
+output: "13"
+"""
+
+# bug #25883: C codegen assigns same type hash to tuples with different nesting
+# but identical flattened content.
+# ((Int[1], Int[2]), Int[13], Int[14]) and ((Int[1], Int[2], Int[13]), Int[14])
+# must get distinct C type names.
+
+type
+  Int[V: static int] = object
+
+proc main() =
+  var b = ((1, 2), 13, 14)
+  var c = ((1, 2, 13), 14)
+  echo c[0][2]
+
+main()
+
+block:
+  type
+    Int[V: static int] = object
+    Layout[Sh, St] = object
+      shape: Sh
+      stride: St
+  
+  func makeB(): auto =
+    Layout[((Int[2], Int[3]), Int[5], Int[7]), ((Int[1], Int[2]), Int[6], Int[30])](
+      shape: ((Int[2](), Int[3]()), Int[5](), Int[7]()),
+      stride: ((Int[1](), Int[2]()), Int[6](), Int[30]())
+    )
+  
+  func makeC(): auto =
+    Layout[((Int[2], Int[3], Int[5]), Int[7]), ((Int[1], Int[2], Int[6]), Int[30])](
+      shape: ((Int[2](), Int[3](), Int[5]()), Int[7]()),
+      stride: ((Int[1](), Int[2](), Int[6]()), Int[30]())
+    )
+  
+  
+  proc main() =
+    let b = makeB()
+    let c = makeC()
+  
+  main()