How does a compiler infer a value's type?
You did not provide an explicit type identifier in the left part of the variable declaration &amp; initialization statement. However, by implicitly specifying an initialization value in the right part to have type int, which the compiler can infer from values of 42/50, these statements triggered the procedure of the compiler to handle S-Attributed Grammar.