Page History

...

the identifier s that is the first argument of the g call resolves to the definition of a the parameter named s while the identifier i that is the second argument of the call resolves to the definition of a the local variable named i. By resolving an identifier to a definition, the compiler can determine, among other things, the type of the identifier: for example, s is a String, and it can then check whether the definition of the g function accepts a String as its first argument.

...