Merge

7182350: Regression in wording of unchecked warning message
Reviewed-by: mcimadamore, jjg

Merge

8012242: Lambda compatibility and checked exceptions
Summary: Inference variables in 'throws' clause with no constraints should be inferred as RuntimeException
Reviewed-by: jjg, vromero

8015432: javac crashes with stack overflow when method called recursively from nested generic call
Summary: Check.checkMethod should only be called after inference has completed
Reviewed-by: jjg, vromero

8007464: Add graph inference support
Summary: Add support for more aggressive type-inference scheme
Reviewed-by: jjg

7177306: Regression: unchecked method call does not erase return type
Summary: Spurious extra call to Attr.checkMethod when method call is unchecked
Reviewed-by: jjg, dlsmith

7166552: Inference: cleanup usage of Type.ForAll
Summary: Remove hack to callback into type-inference from assignment context
Reviewed-by: dlsmith, jjg

7151802: compiler update caused sqe test failed
Summary: Fix regression caused by 7144506
Reviewed-by: jjg, dlsmith

7144506: Attr.checkMethod should be called after inference variables have been fixed
Summary: Unify post-inference sanity check with Attr.checkMethod
Reviewed-by: jjg, dlsmith

7015430: Incorrect thrown type determined for unchecked invocations
Summary: Thrown types do not get updated after 15.12.2.8, and do not get erased as per 15.12.2.6
Reviewed-by: jjg, dlsmith