diff --git a/tests/types/t5640.nim b/tests/types/t5640.nim
new file mode 100644
index 0000000000..5e1c99c4df
--- /dev/null
+++ b/tests/types/t5640.nim
@@ -0,0 +1,6 @@
+type
+  vecBase[I: static[int]] = distinct array[I, float32]
+  vec2* = vecBase[2]
+
+var v = vec2([0.0'f32, 0.0'f32])
+