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

Type inference bug with method references

    XMLWordPrintable

    Details

    • Type: Bug
    • Status: Open
    • Priority: P3
    • Resolution: Unresolved
    • Affects Version/s: 16, 17, 18
    • Fix Version/s: tbd
    • Component/s: tools
    • Labels:
      None
    • Subcomponent:
    • Understanding:
      Fix Understood
    • CPU:
      generic
    • OS:
      generic

      Description

      Reported at:
      https://mail.openjdk.java.net/pipermail/compiler-dev/2021-June/017333.html

      Description from the reporter:

      I wanted to report a bug in the type inference with references in
      OpenJDK 16 and 17-ea.
      I have created a sample project on
      https://github.com/mmirwaldt/TypeInferenceBugOfMethodReferences/
      <https://github.com/mmirwaldt/TypeInferenceBugOfMethodReferences/>
      to reproduce the bug. Just run Main and notice the exception.
      However, a friend told me that the bug only occurs with compiling
      directly by javac but not by maven compile.
      We don't know why. Moreover, it seems to be dependent on the operating
      system:
      I haven't been able to reproduce the bug on linux (CentOS 7, OpenJDK
      16.0.1) yet. Windows 10 and Mac show that bug, though.
      Can you please have a look on it, try it out and help me creating a bug
      ticket if you can confirm it's a bug?
      I mean it must be a bug if the type inference somehow infers the wrong
      type of a method reference which leads to an exception at runtime,
      doesn't it?
      Type inference should either infer the right type or cause a compiler
      error if it cannot infer the type or isn't sure about it in order to ask
      the developer for an explicit declaration. Is that right?
      I am sorry I cannot help you finding the bug in the code of the compiler
      which infers types. I would if I could.

        Attachments

          Issue Links

            Activity

              People

              Assignee:
              vromero Vicente Arturo Romero Zaldivar
              Reporter:
              gli Guoxiong Li
              Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

                Dates

                Created:
                Updated: