...
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.
...