8182649: Unable to integrate due to compilation error
Reviewed-by: mcimadamore

8177097: Generic method reference returning wildcard parameterized type does not compile
Summary: Captured cache should not be used during 'fake' attr checks
Reviewed-by: vromero, jjg

8176534: Missing check against target-type during applicability inference
Summary: PartiallyInferredMethodType should check against target if unchecked conversion occurred
Reviewed-by: vromero

8174249: Regression in generic method unchecked calls
Summary: Erasure for unchecked call occurs too early after JDK-8078093
Reviewed-by: vromero

8144066: StackOverflowException when computing glb
Reviewed-by: mcimadamore

8075793: Source incompatibility for inference using -source 7
Summary: In pre-8 sources, avoid capture variables as inference bounds, consistent with old javac behavior
Reviewed-by: vromero, mcimadamore

8170410: inference: javac doesn't implement 18.2.5 correctly
Summary: javac does not generate constraints of the kind 'throws alpha' as described in the spec
Reviewed-by: vromero, dlsmith

8168134: Inference: javac incorrectly propagating inner constraint with primitive target
Summary: Check for propagation doesn't take into account primitive type constraints
Reviewed-by: vromero

8162546: change hidden options -Xdebug to --debug, -XshouldStop to --should-stop, and -diags to --diags
Reviewed-by: mcimadamore

8164399: inference of thrown variable does not work correctly
Summary: Logic for inferring thrown variables should exclude non proper bounds as per JLS 18.1
Reviewed-by: vromero, dlsmith

8153407: javac, fold debug options
Reviewed-by: mcimadamore, jjg

8159680: Inference failure with unchecked subtyping and arrays
Summary: Discrepancy in handling of capture conversion between Types.isSubtype and Types.isSubtypeUnchecked
Reviewed-by: vromero

8158355: Inference graph dot support broken
Summary: IllegalStateException when converting an inference graph to dot file
Reviewed-by: vromero

8157149: Inference: weird propagation of thrown inference variables
Summary: Overhaul of treatment of thrown inference variables
Reviewed-by: vromero

8156954: javac incorrectly complains of incompatible types
Summary: Add heuristics to pick best stuck constraint as per JLS 18.5.2
Reviewed-by: vromero

8152832: Type inference regression in javac
Summary: Stale incoropration actions caused missing inference bounds
Reviewed-by: vromero

8152411: Regression: inference fails to reject incompatible upper bounds
Summary: Wrong undet variable comparison in propagation optimization
Reviewed-by: vromero

8148930: Incorrect erasure of exceptions in override-equivalent dual interface impl
Summary: Before computing intersection of thrown types, javac must make sure type variables come from the same set.
Reviewed-by: mcimadamore

8148213: Regression: nested unchecked call does not trigger erasure of return type
Summary: FreeTypeListener was deferred too much and caused loss of unchecked warning while in the middle of overload
Reviewed-by: vromero

8147493: regression when type-checking unchecked method calls
Summary: Shared warner in Attr.checkMethod leads to spurious inference errors
Reviewed-by: vromero

7190296: Test for type containment during bounds checking
Reviewed-by: mcimadamore

8067767: type inference performance regression
Summary: Overhaul implememntation of inference incorporation
Reviewed-by: vromero

8141613: Compiler fails to infer generic type
Summary: Repeated capture of same expression leads to erroneous inference constraints
Reviewed-by: vromero

8077306: Recursive implementation of List.map leads to stack overflow
Summary: Recusrive implementation of List.map uses too much stack; switch to iterative version.
Reviewed-by: jlahoda

8133671: langtools tests have bad license
Summary: Dropped classpath exception from copyright notice in tests.
Reviewed-by: jjg

8130304: Inference: NodeNotFoundException thrown with deep generic method call chain
Summary: Bug in Tarjan implementation is generating node ids which can overflow 32 bits
Reviewed-by: vromero

8130803: add regression test related to fix for JDK-8078024
Reviewed-by: mcimadamore
Contributed-by: cushon@google.com

8076543: Add @modules as needed to the langtools tests
Reviewed-by: jjg, shurailine

8074502: Group 13c: golden files for tests in tools/javac/generics dir
Reviewed-by: jjg, mcimadamore

8078433: javac, some tests are failing after JDK-8078024 because of golden files mismatch
Reviewed-by: darcy

8078024: javac, several incorporation steps are silently failing when an error should be reported
Reviewed-by: mcimadamore

8075610: java.desktop module dependency can be eliminated in tools/javac/generics/inference/5073060/GenericsAndPackages.java
Reviewed-by: jjg

8062373: Project Coin: diamond and anonymous classes
Summary: Allow diamond inference in combination with anonymous class instance creation
Reviewed-by: mcimadamore, vromero
Contributed-by: srikanth.adayapalam@oracle.com, maurizio.cimadamore@oracle.com

8048838: type inference performance regression
Summary: Reduce redundant bounds before attempting to do pairwise lub computation during bound incorporation.
Reviewed-by: vromero

8039214: Inference should not map capture variables to their upper bounds
Summary: Update to Types.containsType; related adjustment to most-specific test
Reviewed-by: mcimadamore, vromero

8062977: Inference: NullPointerException during bound incorporation
Summary: Bogus Types.asSuper call on array type symbol
Reviewed-by: vromero

8062348: langtools tests should close file manager (group 1)
Reviewed-by: darcy

8058511: StackOverflowError at com.sun.tools.javac.code.Types.lub
Summary: Lub crashes when handling typevar with array bound
Reviewed-by: vromero, dlsmith

8058199: Code generation problem with javac skipping a checkcast instruction
Summary: TransTypes sometimes ignores inferred signatures when emitting synthetic casts
Reviewed-by: vromero

8055963: Inference failure with nested invocation
Summary: Revise heuristics to force eager instantiation of return inference vars
Reviewed-by: vromero

8048836: .out files for generics tests in tools/javac dir
Reviewed-by: jjg

8043926: javac, code valid in 7 is not compiling for 8
Summary: type-containment doesn't handle inference variables correctly
Reviewed-by: vromero, dlsmith

8044546: Crash on faulty reduce/lambda
Reviewed-by: mcimadamore, dlsmith
Contributed-by: maurizio.cimadamore@oracle.com, vicente.romero@oracle.com

8043725: javac fails with StackOverflowException
Summary: loose type comparison test should be protected against infinite recursion with fbounds
Reviewed-by: vromero

8043893: Inference doesn't report error on incompatible upper bounds
Summary: Failure on type-equality check during incorporation doesn't trigger inference error
Reviewed-by: vromero

8044050: Move misplaced inference tests to test/tools/javac/generics/inference
Reviewed-by: vromero

8028503: javac, for method references a primitive type can be added as a bound
Reviewed-by: jjg, dlsmith

8033718: Inference ignores capture variable as upper bound
Summary: Split Types.lowerBound into two methods; fix bugs in inference handling of capture variables.
Reviewed-by: vromero

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

8019942: Graph inference: avoid redundant computation during bound incorporation
Summary: Bound incorporation should not perform same operation multiple times
Reviewed-by: jjg

8020149: Graph inference: wrong logic for picking best variable to solve
Summary: Replace logic for selecting best inference leaf in the graph during an unsticking round
Reviewed-by: jjg

8019824: very long error messages on inference error
Summary: Inference error messages shows several spurious captured variables generated during an inference loop
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

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

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

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

8006692: jdk/test/java/util/Collections/BigBinarySearch.java fails to compile
Summary: Missing boxing cause spurious inference failure
Reviewed-by: jjg

8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
Reviewed-by: jjg

8000931: Cleanup Resolve.java
Summary: Unify all method resolution routines
Reviewed-by: jjg

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

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

7175433: Inference cleanup: add helper class to handle inference variables
Summary: Add class to handle inference variables instantiation and associated info
Reviewed-by: jjg, dlsmith

7175911: Simplify error reporting API in Check.CheckContext interface
Summary: Make error messages generated during Check.checkType more uniform and more scalable
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

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

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

7124605: typos in javac comments
Reviewed-by: ksrini

7086586: Inference producing null type argument
Summary: Inference should fail in 15.12.2.7 when inference variables with 'nulltype' upper bounds are found
Reviewed-by: dlsmith

7086601: Error message bug: cause for method mismatch is 'null'
Summary: Inference error during lub() does not set 'cause' for method resolution diagnostic
Reviewed-by: jjg

7015715: lub gets stuck on type with complex supertype
Summary: lub should not scan supertypes unnecessarily
Reviewed-by: jjg, dlsmith

7014715: javac returns different error code for certain failure(s)
Summary: javac silently crashes when emitting certain kinds of resolution diagnostics
Reviewed-by: jjg

6838943: inference: javac is not handling type-variable substitution properly
Summary: free type-variables are being replaced with type-variables bound to forall type leading to unsoundness
Reviewed-by: jjg, dlsmith

6313164: javac generates code that fails byte code verification for the varargs feature
Summary: method applicability check should fail if formal varargs element type is not accessible
Reviewed-by: jjg

6968793: issues with diagnostics
Summary: several diagnostic improvements
Reviewed-by: jjg

6943278: spurious error message for inference and type-variable with erroneous bound
Summary: type-inference should ignore erroneous bounds
Reviewed-by: jjg

6962318: Update copyright year
Reviewed-by: xdono

6995200: JDK 7 compiler crashes when type-variable is inferred from expected primitive type
Summary: 15.12.2.8 should use boxing when expected type in assignment context is a primitive type
Reviewed-by: jjg

5088624: cannot find symbol message should be more intelligent
Summary: Resolve.java should keep track of all candidates found during a method resolution sweep to generate more meaningful diagnostics
Reviewed-by: jjg

6982137: Rebranding pass 2 - missed copyright changes
Reviewed-by: mbykov

6369605: Unconstrained type variables fails to include bounds
Summary: unconstrained type-variables with recursive bounds are not inferred properly
Reviewed-by: jjg

6938454: Unable to determine generic type in program that compiles under Java 6
Summary: a redundant dubtyping check causes spurious inference failure
Reviewed-by: jjg

6971882: Remove -XDstdout from javac test
Reviewed-by: darcy

6943119: Rebrand source copyright notices
Reviewed-by: darcy