Java Language Specification 24 / Chapter 18

• Chapter 18. Type Inference
• §18.1 . Concepts and Notation
• §18.1.1 . Inference Variables
• §18.1.2 . Constraint Formulas
• §18.1.3 . Bounds
• §18.2 . Reduction
• §18.2.1 . Expression Compatibility Constraints
• §18.2.2 . Type Compatibility Constraints
• §18.2.3 . Subtyping Constraints
• §18.2.4 . Type Equality Constraints
• §18.2.5 . Checked Exception Constraints
• §18.3 . Incorporation
• §18.3.1 . Complementary Pairs of Bounds
• §18.3.2 . Bounds Involving Capture Conversion
• §18.4 . Resolution
• §18.5 . Uses of Inference
• §18.5.1 . Invocation Applicability Inference
• §18.5.2 . Invocation Type Inference
• §18.5.2.1 . Poly Method Invocation Compatibility
• §18.5.2.2 . Additional Argument Constraints
• §18.5.3 . Functional Interface Parameterization Inference
• §18.5.4 . More Specific Method Inference
• §18.5.5 . Record Pattern Type Inference