Uploaded image for project: 'Groovy'
  1. Groovy
  2. GROOVY-10660

STC: infer closure/lambda parameter types for return expression

    XMLWordPrintableJSON

Details

    • Improvement
    • Status: Closed
    • Major
    • Resolution: Fixed
    • None
    • 4.0.4, 3.0.20
    • Static Type Checker
    • None

    Description

      Consider the following:

      import java.util.function.BiConsumer

@groovy.transform.TypeChecked
def BiConsumer<String, List<?>> m() {
  return (text, list) -> {
    // ...
  }
}

      The types of "text" and "list" are not known and errors occur for String or List method calls.

      https://github.com/groovy/groovy-eclipse/issues/1327
      https://github.com/groovy/groovy-eclipse/issues/1373

      Attachments

        Issue Links

          is related to

          Bug - A problem which impairs or prevents the functions of the product. GROOVY-9997 STC: cast or coerce to functional interface fails to infer param types of closure/lambda

          • Major - Major loss of function.
          • Closed
          relates to

          Bug - A problem which impairs or prevents the functions of the product. GROOVY-11265 Runtime rehydrate error for closure in interface default method

          • Critical - Crashes, loss of data, severe memory leak.
          • Closed

          Activity

            People

              emilles Eric Milles
              emilles Eric Milles
              Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: