Reviewed-by: mcimadamore, darcy

Summary: Resolve.java should keep track of all candidates found during a method resolution sweep to generate more meaningful diagnostics
Reviewed-by: jjg

6979327: method handle invocation should use casts instead of type parameters to specify return type
Summary: infer return type for polymorphic signature calls according to updated JSR 292 draft
Reviewed-by: jjg
Contributed-by: john.r.rose@oracle.com

Reviewed-by: darcy

Summary: unconstrained type-variables with recursive bounds are not inferred properly
Reviewed-by: jjg

Reviewed-by: darcy

Reviewed-by: mcimadamore