[GROOVY-11085] STC: assignment of closure with untyped parameter to SAM-type (setter target)

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 3.0.17
• Fix Version/s: 3.0.18
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 07/Jun/23 14:10
• Updated: 23/Aug/23 09:09
• Resolved: 07/Jun/23 14:32

Description

Consider the following:

void setStrategy(Predicate<Long> tester) {
  assert tester.test(1L)
}
strategy = { n -> n instanceof Long }

Compiler error: "Incompatible generic argument types. Cannot assign Predicate<Object> to Predicate<Long>"

Issue Links

• is related to: GROOVY-11083 STC: closure param's default not type-checked (method target)