Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-7115044 Umbrella: Add support for lambda expressions
  3. JDK-7154127

Inference cleanup: remove bound check analysis from visitors in Types.java

    Details

    • Subcomponent:
    • Resolved In Build:
      b36
    • CPU:
      unknown
    • OS:
      generic
    • Verification:
      Not verified

      Description

      In the JDK 7 compiler implementation, we have that inference variables are represented by a special class named UndetVar. Those types are used in subtyping/type-equality/type-containment check, and those routine actively append constraints to the inference variables.

      The bad news is that in some places we go even further, and we check well-formedness w.r.t. bounds in the middle of a subtyping check. This makes it very difficult to isolate the inference/bound checking logic, so that it is harder to maintain update.

        Attachments

          Activity

            People

            • Assignee:
              mcimadamore Maurizio Cimadamore
              Reporter:
              mcimadamore Maurizio Cimadamore
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved:
                Imported:
                Indexed: