diff --git a/lit-test/test/monomorphism/error_notmono.py b/lit-test/test/monomorphism/error_notmono.py
deleted file mode 100644
index 9c9b02452..000000000
--- a/lit-test/test/monomorphism/error_notmono.py
+++ /dev/null
@@ -1,9 +0,0 @@
-# RUN: %python -m artiq.compiler.testbench.signature +diag %s >%t
-# RUN: OutputCheck %s --file-to-check=%t
-
-# CHECK-L: ${LINE:+1}: error: the type of this expression cannot be fully inferred
-x = int(1)
-
-# CHECK-L: ${LINE:+1}: error: the return type of this function cannot be fully inferred
-def fn():
-    return int(1)
diff --git a/lit-test/test/monomorphism/integers.py b/lit-test/test/monomorphism/integers.py
index 20850cb47..bc66bcc5a 100644
--- a/lit-test/test/monomorphism/integers.py
+++ b/lit-test/test/monomorphism/integers.py
@@ -3,3 +3,9 @@
 
 x = 1
 # CHECK-L: x: int(width=32)
+
+y = int(1)
+# CHECK-L: y: int(width=32)
+
+z = round(1.0)
+# CHECK-L: z: int(width=32)