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

8176265: Method overload resolution on a covariant base type doesn't work in 9
Summary: Some type mappings should not be recursive
Reviewed-by: vromero, jlahoda

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

8171371: Remove redundant type-arguments from generic method calls
Reviewed-by: jjg, rfield, mchung

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

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

8048543: JLS8 18.5.3: inference variable seems to be instantiated unexpectedly
Reviewed-by: mcimadamore

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

8149644: Integrate VarHandles
Reviewed-by: mcimadamore, forax

8145472: replace remaining java.io.File with java.nio.file.Path
Reviewed-by: vromero

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

8046685: Uncompilable large expressions involving generics.
Summary: Improve inference propagation logic so that unnecessary inference variables are not propagated.
Reviewed-by: vromero

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

8138914: javac, method visitTypeVar() at visitor Types.hashCode generates the same hash code for different type variables
Reviewed-by: mcimadamore

8078093: Severe compiler performance regression Java 7 to 8 for nested method invocations
Summary: Add infrastructure to avoid combinatorial explosion of method argument attributions
Reviewed-by: jlahoda, vromero, dlsmith

8132215: class InferenceContext should live in a separate file
Reviewed-by: mcimadamore, jlahoda

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

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

8074100: Turn Type.Mapping into a true visitor
Summary: replace Type.Mapping with a true visitor in Types
Reviewed-by: jlahoda, vromero

8071291: Compiler crashes trying to cast UnionType to IntersectionClassType
Summary: Compiler tests for .isCompound but then cast to a more specific Type subclass, resulting in CCE
Reviewed-by: vromero, jlahoda

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

8057800: Method reference with generic type creates NPE when compiling
Reviewed-by: mcimadamore, dlsmith

8054457: Refactor Symbol kinds from small ints to an enum
Summary: Replace bitmap logic in symbol.kind and pkind with an enum-based API
Reviewed-by: mcimadamore, jjg

8048614: Add TypeMetadata to contain type annotations and other type information
Summary: Implement general framework for metadata on types
Reviewed-by: mcimadamore

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

8056075: Add support for dumping inference dependency graphs
Summary: Add option '-XDdumpInferenceGraphTo=<folder>' to dump inference internal dependency graphs
Reviewed-by: jjg, jlahoda

8054834: Modular Source Code
Reviewed-by: alanb, chegar, ihse, mduigou
Contributed-by: alan.bateman@oracle.com, alex.buckley@oracle.com, chris.hegarty@oracle.com, erik.joelsson@oracle.com, jonathan.gibbons@oracle.com, karen.kinnear@oracle.com, magnus.ihse.bursie@oracle.com, mandy.chung@oracle.com, mark.reinhold@oracle.com, paul.sandoz@oracle.com