The Java Language Specification, Third Edition

15.12.2 Compile-Time Step 2: Determine Method Signature EXPRESSIONS
446
15.12.2.3 Phase 2: Identify Matching Arity Methods Applicable by Method
Invocation Conversion
Let m be a potentially applicable method (§15.12.2.1), let e1, ..., en be the
actual argument expressions of the method invocation and let Ai be the type of
ei, 1 ≤i≤n. Then:
• If m is a generic method, then let F1 ... Fn be the types of the formal parameters
of m, and let R1 ... Rp p ≥ 1 , be the formal type parameters of m, and
let Bl be the declared bound of Rl, 1 ≤l ≤ p.
Then:
◆ If the method invocation does not provide explicit type arguments then let
U1 ... Up be the actual type arguments inferred (§15.12.2.7) for this invocation
of m, using a set of initial constraints consisting of the constraints Ai