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

Method diagnostics resolution need to be simplified in some cases

    Details

    • Subcomponent:
    • Resolved In Build:
      b91
    • Verification:
      Verified

      Description

      In JDK 7 we added support for enhanced method resolution diagnostics. The support is generally working very well, allowing for arbitrarily complex method diagnostics to be composed out of smaller parts, leading to very informative error messages.

      However, with Project Lambda there is a growing concern over verbosity of such error messages. Consider the following case:

      void m(Runnable r) { ... }

      m(()->1);

      The method call is ill-typed as we are trying to pass a lambda that returns a value to a SAM whose descriptor has a void return type.

      This is what we get with current compiler implementation:

      Test.java:10: error: method m in class Test cannot be applied to given types;
              m(()->1);
              ^
        required: Runnable
        found: ()->1
        reason: argument mismatch; bad return type in lambda expression
            int cannot be converted to void

      There are several problem with this error message:

      *) the problem is reported as a method resolution failure - while this is technically correct, many users would expect a simpler diagnostic that only talks about the lambda expression

      *) The actual issue 'int cannot be converted to void' is nested two levels into the method resolution diagnostic, making it hard to diagnose what the problem actually is.

      *) The message does not look similar to what you get in a similar example where the lambda is assigned to a variable of type Runnable - in that case the error is much more compact, as shown below:

      Test.java:10: error: incompatible types: bad return type in lambda expression
              m(()->1);
                    ^
          int cannot be converted to void


      It would be great if we could somehow generate the same diagnostics in both cases.

        Attachments

          Issue Links

            Activity

              People

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

                Dates

                • Created:
                  Updated:
                  Resolved: