[GROOVY-11083] STC: closure param's default not type-checked (method target)

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: 4.0.13
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 06/Jun/23 18:36
• Updated: 23/Aug/23 09:05
• Resolved: 06/Jun/23 21:11

Description

Consider the following:

void setFoo(java.util.function.Consumer<Number> c) {}
@groovy.transform.TypeChecked
void test(Date d) {
  foo = { n = d -> }
}

The default value expression "d" is not compatible with the Number parameter "n". There is no type-checking error for the call case. Direct assignment is checked: "java.util.function.Consumer<Number> c = { n = new Date() -> }" and "def bar = { Number n = d -> }"

Issue Links

• is related to: GROOVY-10072 SC: closure with default argument(s)
• relates to: GROOVY-11085 STC: assignment of closure with untyped parameter to SAM-type (setter target)