Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-6785112

Umbrella: issues with generic method type-inference

    Details

    • Subcomponent:
    • CPU:
      generic
    • OS:
      other

      Description

      This in an "umbrella" CR for all the oustanding bug/rfe regarding generic type-inference:

      *) type-inference causes selection of inapplicable method (6638712)
      *) type-inference problems with underconstrained type-variables and fbounds (6369605)
      *) type-inference should propagate constraints (6650759)
      *) return type-inference doesn't work with autoboxing (6785114)
      *) return type-inference doesn't work with conditional expressions (6721089)
      *) return type-inference doesn't work in enhanced for loops (6541819)
      *) wrong method return and thrown types after unchecked conversion (6791481)
      *) wrong subtyping/type-containment between undetvars and wildcards (6315770)
      *) type-variables inferred during 15.12.2.8 not substituted into formals before method checking (6730476)

        Attachments

          Issue Links

            Activity

              People

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

                Dates

                • Created:
                  Updated:
                  Resolved:
                  Imported:
                  Indexed: