Static typing does not imply type annotation. For example in C++:

  void add_item_to_cart(auto item)

will still statically verify that item has the required syntax; C++ is very poor on this aspect on only doing the verification at instantiation time, languages with more sophisticate typing systems can infer the correct type from tome add_time_to_cart definition alone.