[GROOVY-10660] STC: infer closure/lambda parameter types for return expression

• Type: Improvement
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.4, 3.0.20
• Component/s: Static Type Checker

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 19/Jun/22 13:16
• Updated: 05/Jan/24 16:16
• Resolved: 22/Jun/22 16:21

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

Issue Links

• is related to: GROOVY-9997 STC: cast or coerce to functional interface fails to infer param types of closure/lambda
• relates to: GROOVY-11265 Runtime rehydrate error for closure in interface default method