4 - Type Checking Consider the following expression. Assume the type of x is Int. x/(x-x) Which of the following statements about the behavior of static and dynamic type checking for the above expression is definitely incorrect? Both typing disciplines lead to a runtime error Dynamic typing determines Int as the result type Static typing determines Int as the result type Static typing rejects the expression as type incorrect