diff --git a/tests/types/t1252.nim b/tests/types/t1252.nim
new file mode 100644
index 0000000000..c6a12e9f75
--- /dev/null
+++ b/tests/types/t1252.nim
@@ -0,0 +1,12 @@
+discard """
+  output: '''true
+true
+true
+true
+'''
+"""
+
+echo float32 isnot float64
+echo float32 isnot float
+echo int32 isnot int64
+echo int32 isnot int