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 s

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.