El compilador no puede decirle al programador cuando se están pasando argumentos del tipo correcto al método y cuando no.