Reviewed-by: mcimadamore, jjg

Reviewed-by: mcimadamore, vromero

Reviewed-by: mcimadamore

Summary: BridgeHarness test is leaving files open
Reviewed-by: ksrini

Summary: Bound incorporation should not perform same operation multiple times
Reviewed-by: jjg

Summary: Replace logic for selecting best inference leaf in the graph during an unsticking round
Reviewed-by: jjg

Summary: Check.checkCompatibleConcretes hang when javac creates synthetic supertypes for 269 model API
Reviewed-by: jjg

Summary: call to upperBound() when performing type-variable substitution on element type leads to unsoundness
Reviewed-by: jjg

Summary: Inference variables in 'throws' clause with no constraints should be inferred as RuntimeException
Reviewed-by: jjg, vromero

8020010: Move lambda bridge creation from metafactory and VM to compiler
Summary: langtools/javac component of the bridge support and MethodType vs. MethodHandle changes.
Reviewed-by: jjg, vromero, briangoetz, forax
Contributed-by: robert.field@oracle.com

Summary: Inference error messages shows several spurious captured variables generated during an inference loop
Reviewed-by: jjg, vromero

Summary: Check.checkMethod should only be called after inference has completed
Reviewed-by: jjg, vromero

Summary: Compiler should not enforce an order in how ambiguous methods should be resolved
Reviewed-by: jjg, vromero

8015505: Spurious inference error when return type of generic method requires unchecked conversion to target
Summary: Use check context compatibility during 15.12.2.8 check (only when JDK 8 inference is enabled)
Reviewed-by: jjg

Reviewed-by: vromero, mcimadamore

Summary: Diamond finder doesn't take into account different inference behaviors
Reviewed-by: jjg

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

Summary: Make Infer.InferenceContext an inner class; adjust bound replacement logic in Type.UndetVar
Reviewed-by: jjg

Reviewed-by: jjg
Contributed-by: maurizio.cimadamore@oracle.com

Summary: Missing boxing cause spurious inference failure
Reviewed-by: jjg

Summary: Add support for stuck expressions and provisional applicability
Reviewed-by: jjg

Reviewed-by: jjg, jjh

Summary: method clash check logic should skip methods marked with ACC_SYNTHETIC
Reviewed-by: jjg

Summary: Turn on lambda expression, method reference and default method support
Reviewed-by: jjg

Summary: Unify all method resolution routines
Reviewed-by: jjg

Summary: Add type-checking support for default methods as per Featherweight-Defender document
Reviewed-by: jjg, dlsmith

Summary: Add type-checking/lookup routines for method references
Reviewed-by: jjg, dlsmith

Summary: Unify method and constructor check logic
Reviewed-by: jjg

Summary: Spurious extra call to Attr.checkMethod when method call is unchecked
Reviewed-by: jjg, dlsmith

Summary: Add class to handle inference variables instantiation and associated info
Reviewed-by: jjg, dlsmith

Reviewed-by: jjh
Contributed-by: steve.sides@oracle.com

Summary: Make error messages generated during Check.checkType more uniform and more scalable
Reviewed-by: jjg, dlsmith

Summary: Remove hack to callback into type-inference from assignment context
Reviewed-by: dlsmith, jjg

7157798: Add 6 test scenarios for testing inheritance of multiple same-name methods from mulitple interfaces
Reviewed-by: mcimadamore
Contributed-by: sue.wei@oracle.com

Summary: Remove bound checking rules from recursive subtype visitors in Types.java and replace with centralized bound-checking logic
Reviewed-by: jjg, dlsmith

Summary: ResultInfo class should be used to make attribution code transparent w.r.t. check logic being used
Reviewed-by: jjg, dlsmith

Summary: Fix regression caused by 7144506
Reviewed-by: jjg, dlsmith

Summary: Implementation of Resolve.isOverriddenIn() should distinguish between classes/interfaces
Reviewed-by: jjg

Summary: Spurious accessibility check in TransTypes
Reviewed-by: jjg

Summary: Unify post-inference sanity check with Attr.checkMethod
Reviewed-by: jjg, dlsmith