8170326: Inconsistencies between code, compiler.properties and comments
Summary: Converting uses of Log and JCDiagnostic.Factory methods to use CompilerProperties instead of plain Strings, fixing inconsistencies, adding crules analyzer to ensure CompilerProperties are used whenever possible.
Reviewed-by: mcimadamore

Merge

8177311: Denied access when named module accesses unreferences package from the unnamed module
Summary: Ensure access to the unnamed module is allowed if the given module reads the unnamed module.
Reviewed-by: jjg

8175191: dead code removal at package com.sun.tools.javac.comp
Reviewed-by: mcimadamore

8175007: Incorrect error messages for inaccessible classes in visible packages
Summary: Recovery lookup may be triggered for inaccessible classes in visible packages - providing better errors.
Reviewed-by: mcimadamore

8174243: incorrect error message for nested service provider
Reviewed-by: jjg, jlahoda

8173117: Compilation significantly slower after JDK-8169197
Summary: Only using recovery search when an error is inevitable.
Reviewed-by: jjg, mcimadamore

8169197: Improve error reporting for compiling against unexported package
Summary: When a type cannot be found, look into other modules, search for possible viable types, and report them conveniently to the user.
Reviewed-by: mcimadamore, jjg

8172411: -XDnoModules must be removed
Reviewed-by: jjg

8169091: Method reference T::methodName for generic type T does not compile any more
Summary: MethodReferenceLookupHelper should use original site to perform unbound subtype check
Reviewed-by: vromero

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

8181370: Convert anonymous inner classes into lambdas/method references
Reviewed-by: jjg, rfield, mchung

8133896: Update javax.lang.model APIs
Reviewed-by: darcy, jjg

8169093: Generics, javac not matching actual and formal arguments.
Summary: Make diagnostic for type-args arity mismatch consistent with the class case
Reviewed-by: vromero

8169074: Build is failing after JDK-8166538
Summary: Reverting d3dde3f775b8
Reviewed-by: darcy

8166538: Improve error reporting for compiling against unexported package
Summary: When a type cannot be found, look into other modules, search for possible viable types, and report them conveniently to the user.
Reviewed-by: mcimadamore, jjg

8167000: Refine handling of multiple maximally specific abstract methods
Summary: Bring the compiler in sync with spec changes in JDK-7034913
Reviewed-by: vromero, dlsmith

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

8058244: missing error in qualified default super call
Reviewed-by: mcimadamore

8037804: Implement specified test for related functional interface types
Reviewed-by: vromero

8144767: Fix handling of capture variables in most-specific test
Reviewed-by: vromero

Merge

8149644: Integrate VarHandles
Reviewed-by: mcimadamore, forax

8142968: Module System implementation
Summary: Initial integration of JEP 200, JEP 260, JEP 261, and JEP 282
Reviewed-by: jjg, jlahoda, vromero, mcimadamore, bpatel, ksrini, darcy, anazarov, dfuchs
Contributed-by: alan.bateman@oracle.com, alex.buckley@oracle.com, jonathan.gibbons@oracle.com, karen.kinnear@oracle.com, mandy.chung@oracle.com, mark.reinhold@oracle.com, jan.lahoda@oracle.com, vicente.romero@oracle.com, andreas.lundblad@oracle.com, andrey.x.nazarov@oracle.com, chris.hegarty@oracle.com, erik.joelsson@oracle.com, kumar.x.srinivasan@oracle.com, sundararajan.athijegannathan@oracle.com

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

8148808: javac, remove unused options, step 1
Reviewed-by: mcimadamore, jjg

8143852: Implement type variable renaming for functional interface most specific test
Reviewed-by: mcimadamore, vromero

8037789: Surprising more-specific results for lambda bodies with no return expressions
Reviewed-by: mcimadamore, vromero

8145466: javac: No line numbers in compilation error
Summary: Compiler should not use the syntax tree from enclosing contexts in diagnostics even when the enclosing contexts are consulted for method lookup.
Reviewed-by: mcimadamore

8136809: Javac fails compiling Collectors.reducing with method reference combiner
Reviewed-by: mcimadamore

8144673: Suspect message regarding suitable enclosing instance not being in scope
Summary: javac incorrectly complains about missing enclosing instance while handling method references.
Reviewed-by: vromero

8139245: compiler crashes with exception on int:new method reference and generic method inference
Reviewed-by: mcimadamore

8075799: Extraneous access checks implemented by javac
Summary: Allow anonymous class constructors to refer to inaccessible types.
Reviewed-by: mcimadamore

8130506: javac AssertionError when invoking MethodHandle.invoke with lambda paramter
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

8073594: javac, before calling rawInstantiate from selectBest the warner should be cleared out
Reviewed-by: jlahoda

8135203: javac, patch intended for an issue was pushed with wrong id and message
Reviewed-by: jjg

8132806: javac does a naive implementation of some incorporation steps
Reviewed-by: jlahoda

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

8081271: NPE while compiling a program with erroneous use of constructor reference expressions
Summary: Missing enclosing instance error should not be swallowed when attributing constructor reference expressions.
Reviewed-by: mcimadamore, vromero

8078473: javac diamond finder crashes when used to build java.base module.
Reviewed-by: mcimadamore

8075520: Varargs access check mishandles capture variables
8077786: Check varargs access against inferred signature
Reviewed-by: vromero

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

8075184: javac is mistakenly considering an missing enclosing instance error as an overload error
Reviewed-by: mcimadamore

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

8073842: Invalid method reference when referencing a method on a wildcard type
Summary: Method rteference lookup logic doesn't skip type-variables as required by javac.
Reviewed-by: jlahoda

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

8071241: Investigate alternate strategy for type-checking operators
Summary: Separat operator lookup logic from overload resolution.
Reviewed-by: jjg, jlahoda, sadayapalam

8068995: Cleanup method reference lookup code
Summary: Simplify method reference code lookup and generate better/more uniform diagnostics
Reviewed-by: vromero

8066871: java.lang.VerifyError: Bad local variable type - local final String
Summary: baseType() erroneously called on MethodResultInfo causes lack of constant type info
Reviewed-by: jlahoda, mcimadamore
Contributed-by: srikanth.adayapalam@oracle.com

8067883: Javac misses some opportunities for diagnostic simplification
Summary: Javac always report full inference diagnostic, even when message does not mention inference variables.
Reviewed-by: jlahoda

8063052: Inference chokes on wildcard derived from method reference
Reviewed-by: mcimadamore

8064803: Javac erroneously uses instantiated signatures when merging abstract most-specific methods
Summary: Wrong method type used in AmbiguousError.mergeAbstracts
Reviewed-by: jlahoda

8035259: javac, incorrect shadowing of classes vs type parameters
Summary: Cause javac to look at type variables first when resolving names in an extends/implements list
Reviewed-by: mcimadamore, jlahoda

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

8056258: Analysis of public API does not take super classes into account
8048609: simplify sjavac dependence on javac dependency gathering
Summary: Replaces Attr-/ResolveWithDeps with TaskListeners
Reviewed-by: jfranck, ohrstrom

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

8055514: Wrong, confusing error when non-static varargs referenced in static context
Summary: Improved heuristics in MethodResolutionPhase.mergeResults()
Reviewed-by: vromero

8056061: Mark implementations of public interfaces with an annotation
Summary: Adding @DefinedBy annotation to mark methods that implement public API methods; annotating the methods; adding a coding rules analyzer to enforce all such methods are annotated.
Reviewed-by: jjg, mcimadamore, jfranck
Contributed-by: jan.lahoda@oracle.com, jonathan.gibbons@oracle.com

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