compile fix

Author: Brett Schiff

src/rust/rust_typecheck.cpp

@@ -900,10 +900,10 @@ void rust_typecheckt::typecheck_expr_unary_num(exprt &expr)
   }
   else if(expr.op0().type().id() == ID_unsignedbv)
   {
-    expr.type() = rust_reconcile_types(
-      exprt(
-        "", signedbv_typet(to_unsignedbv_type(expr.op0().type()).get_width())),
-      expr.op0());
+    signedbv_typet signed_with_correct_width(
+      to_unsignedbv_type(expr.op0().type()).get_width());
+    exprt expr_with_correct_type("", signed_with_correct_width);
+    expr.type() = rust_reconcile_types(expr_with_correct_type, expr.op0());
     return;
   }