Simply not true. The whole point of method overloading is to be able to check arguments during compilation. Type assertions are done at runtime.