diff --git a/src/solvers/smt2/smt2_conv.cpp b/src/solvers/smt2/smt2_conv.cpp
index 92c61e1a1c7..b79932dfa0f 100644
--- a/src/solvers/smt2/smt2_conv.cpp
+++ b/src/solvers/smt2/smt2_conv.cpp
@@ -2711,6 +2711,13 @@ void smt2_convt::convert_typecast(const typecast_exprt &expr)
   const exprt &src = expr.op();
 
   typet dest_type = expr.type();
+
+  if(dest_type == src.type()) // identity
+  {
+    convert_expr(src);
+    return;
+  }
+
   if(dest_type.id()==ID_c_enum_tag)
     dest_type=ns.follow_tag(to_c_enum_tag_type(dest_type));