diff --git a/src/codegen/compiler.cpp b/src/codegen/compiler.cpp
index 3b570b8381..e0fde700bb 100644
--- a/src/codegen/compiler.cpp
+++ b/src/codegen/compiler.cpp
@@ -2681,6 +2681,7 @@ class MyCompiler: public Compiler {
                              ir::Type type,
                              ir::Value* a)
   {
+    assert(&c, a->type == type);
     assert(&c,
            (isGeneralUnaryOp(op) and isGeneralValue(a))or(isFloatUnaryOp(op)
                                                           and isFloatValue(a)));