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

STC: support coerced closure argument destructuring (for list and tuple)

    XMLWordPrintableJSON

Details

    • Improvement
    • Status: Closed
    • Major
    • Resolution: Fixed
    • None
    • 5.0.0-alpha-1
    • Static Type Checker
    • None

    Description

      Consider the following:

      import java.util.function.Consumer
import static groovy.lang.Tuple.tuple
@groovy.transform.TypeChecked test() {
  Consumer<Tuple3<String,Number,?>> c = { x, y, z -> print y }
  c.accept(tuple("",(Number)42,null))
}
test()

      STC error: "Wrong number of parameters for method target accept(groovy.lang.Tuple3<java.lang.String, java.lang.Number, ?>)"

      This kind of list/tuple destructuring is supported by the dynamic runtime (see ClosureMetaClass).

      Attachments

        Issue Links

          is related to

          Bug - A problem which impairs or prevents the functions of the product. GROOVY-8499 Glitch with native lambda support when supplied with incorrect arity lambda

          • Major - Major loss of function.
          • Closed

          Bug - A problem which impairs or prevents the functions of the product. GROOVY-11089 STC: closure param type inference for array and list

          • Major - Major loss of function.
          • Closed

          Improvement - An improvement or enhancement to an existing feature or task. GROOVY-11090 STC: closure param type inference for tuple

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

          Bug - A problem which impairs or prevents the functions of the product. GROOVY-11188 CompileStatic broken for transpose lists in 4.0.14 but works in 4.0.13

          • Major - Major loss of function.
          • Closed

          Bug - A problem which impairs or prevents the functions of the product. GROOVY-11185 each after transpose with 2 arguments does not compile

          • Minor - Minor loss of function, or other problem where easy workaround is present.
          • 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: