This is based on the static types of left and right being numbers, and the compiler's knowledge that the result of adding two numbers is always a number.
Это основано на статических типах left и right numbers и познаниях компилятора о том, что результат сложения двух numbers всегда number.