[GROOVY-10436] STC: closure parameter type-checking: declared vs inferred

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 4.0.0-rc-2, 3.0.12
• Fix Version/s: 3.0.12, 4.0.4
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 30/Dec/21 19:31
• Updated: 23/Jul/22 21:05
• Resolved: 16/Jun/22 20:33

Description

Consider the following:

import java.util.function.Consumer

def <T> T m(Consumer<? super T> c) {
  // ...
}
@groovy.transform.TypeChecked
void test() {
  this.m { Number n ->
    def big = n.toBigInteger()
  }
}

Recent fixes for closure param STC (GROOVY-8917, GROOVY-10049, GROOVY-10053, etc.) are producing an error for the param "expected Object actual Number" and an error for the call expression "cannot find method Object#toBigInteger()".

StaticTypeCheckingVisitor#inferClosureParamterTypes does not use closure expressions to determine placeholder types and there are no other type witnesses.

Issue Links

• relates to: GROOVY-10648 Compile error during static compilation (missing type derivation?)