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

Type inference bug with method references

XMLWordPrintable

    • Icon: Bug Bug
    • Resolution: Unresolved
    • Icon: P3 P3
    • tbd
    • 16, 17, 18
    • tools
    • None
    • Fix Understood
    • generic
    • generic

      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.

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

              Created:
              Updated: