remove exprt::make_typecast

This method has been deprecated and has no users.

Author: Daniel Kroening

src/util/expr.cpp

@@ -80,16 +80,6 @@ void exprt::move_to_operands(exprt &e1, exprt &e2, exprt &e3)
   op.back().swap(e3);
 }
 
-/// Create a \ref typecast_exprt to the given type.
-/// \param _type: cast destination type
-/// \deprecated use constructors instead
-void exprt::make_typecast(const typet &_type)
-{
-  typecast_exprt new_expr(*this, _type);
-
-  swap(new_expr);
-}
-
 /// Return whether the expression is a constant.
 /// \return True if is a constant, false otherwise
 bool exprt::is_constant() const

src/util/expr.h

@@ -237,9 +237,6 @@ class exprt:public irept
     op.push_back(std::move(e3));
   }
 
-  DEPRECATED(SINCE(2019, 1, 19, "use typecast_exprt() instead"))
-  void make_typecast(const typet &_type);
-
   DEPRECATED(SINCE(2019, 5, 28, "use make_boolean_expr(value) instead"))
   void make_bool(bool value);
 
@@ -381,7 +378,6 @@ class expr_protectedt : public exprt
   // protect these low-level methods
   using exprt::add;
   using exprt::make_bool;
-  using exprt::make_typecast;
   using exprt::op0;
   using exprt::op1;
   using exprt::op2;