Remove namespace_baset::follow(typet)

This method has been deprecated since 19th Feb 2024.  There are no uses.

Author: kroening

src/util/namespace.cpp

@@ -43,20 +43,6 @@ const symbolt &namespace_baset::lookup(const tag_typet &type) const
   return lookup(type.get_identifier());
 }
 
-/// Resolve type symbol to the type it points to.
-/// \param src: The type we want to resolve in the symbol table.
-/// \return The resolved type.
-const typet &namespace_baset::follow(const typet &src) const
-{
-  if(src.id() == ID_union_tag)
-    return follow_tag(to_union_tag_type(src));
-
-  if(src.id() == ID_struct_tag)
-    return follow_tag(to_struct_tag_type(src));
-
-  return src;
-}
-
 /// Follow type tag of union type.
 /// \param src: The union tag type to dispatch on.
 /// \return The type of the union tag in the symbol table.

src/util/namespace.h

@@ -61,8 +61,6 @@ class namespace_baset
   virtual ~namespace_baset();
 
   void follow_macros(exprt &) const;
-  DEPRECATED(SINCE(2024, 2, 19, "use follow_tag(...) instead"))
-  const typet &follow(const typet &) const;
 
   const union_typet &follow_tag(const union_tag_typet &) const;
   const struct_typet &follow_tag(const struct_tag_typet &) const;