[GROOVY-8317] Smart type inference doesn't work on explicit closure params

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• 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: Alexey Afanasiev
• Created: 13/Sep/17 13:21
• Updated: 01/Feb/18 06:23
• Resolved: 13/Dec/17 04:55

Description

Should be compiled well:

@CompileStatic
class TestType {
    static def bar(Object b) {
        b.with { obj ->
            assert obj instanceof String
            obj.toUpperCase() // error: Cannot find matching method java.lang.Object#toUpperCase(). 
        }
    }
}

Funny moment - on implicit 'it' parameter works fine:

@CompileStatic
class TestType {
    static def bar(Object b) {
        b.with {
            assert it instanceof String
            it.toUpperCase()
        }
    }
}

Issue Links

• is duplicated by: GROOVY-6888 Static type checking fails if I change the closure input parameter name