[GROOVY-8241] SAM parameter type inference for explicit parameter

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.10
• Fix Version/s: 2.5.0-beta-3, 2.6.0-alpha-3, 2.4.14, 3.0.0-alpha-2
• Component/s: Static compilation, Static Type Checker
• Assignee: Daniel Sun
• Reporter: Daniil Ovchinnikov
• Created: 30/Jun/17 13:14
• Updated: 20/Feb/18 04:18
• Resolved: 13/Dec/17 04:56

Description

import groovy.transform.CompileStatic
import java.util.function.Predicate

@CompileStatic
static boolean foo(Predicate<? super String> p) {
    p.test("foo")
}

@CompileStatic
static def testPredicate() {
    foo { // it ->
        it.toUpperCase()
        true
    }
}

Uncomment it, compiler will say:

Cannot find matching method java.lang.Object#toUpperCase()

Issue Links

• is duplicated by: GROOVY-6888 Static type checking fails if I change the closure input parameter name
• is duplicated by: GROOVY-8476 Static type checking doesn't inference argument's type when it's explicitly declared
• links to: GitHub Pull Request #643