[GROOVY-5881] Type inference breaks in longer transitive generic structures

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0.6, 2.3.0, 2.4.0-beta-3, 4.0.13
• Fix Version/s: 5.0.0-alpha-11
• Component/s: Static Type Checker

Language

groovy

• Assignee: Eric Milles
• Reporter: Dimitar Dimitrov
• Created: 06/Jan/13 23:59
• Updated: 4 days ago 11:38
• Resolved: 13/Sep/24 20:42

Description

class Test {
    @CompileStatic
    void printProgress(Map<Integer, Closure<String>> markers, int i) {
        for (e in markers.entrySet()) {
            if (i%e.key==0) { print e.value(i) ; break }
        }
    }
}

Fails to compile with: Groovyc: [Static type checking] - Cannot find matching method java.util.Map$Entry#value(int). Please check if the declared type is right and if the method exists.

The following fixes the problem, though it should not be necesarry to do explicit 'call'.

class Test {
    @CompileStatic
    void printProgress(Map<Integer, Closure<String>> markers, int i) {
        for (e in markers.entrySet()) {
            print e.value.call(i)
        }
    }
}

For comparison, the following passes:

class Test {
    @CompileStatic
    void printProgress(Set<Closure<String>> markers, int i) {
        for (e in markers) {
            print e(i)
        }
    }
}

Issue Links

• is related to: GROOVY-6324 Cannot call closure like a method in type checked mode