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

Summary: propagate inference constraints from 15.12.2.7 to 15.12.2.8
Reviewed-by: jjg

Reviewed-by: darcy

Summary: Added global sanity check in order to make sure that return type inference does not violate bounds constraints
Reviewed-by: jjg