[GROOVY-10613] Fail to infer correct types for fluent method calls

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Duplicate
• Affects Version/s: 4.0.2
• Component/s: Static Type Checker
• Assignee: Unassigned
• Reporter: Daniel Sun
• Created: 29/Apr/22 19:53
• Updated: 25/May/22 14:51
• Resolved: 29/Apr/22 20:41

Description

The following code can not run when STC is enabled:

import java.util.stream.Collectors;

@groovy.transform.CompileStatic
def m() {
    Map<String, Integer> map = new HashMap<>();
    map.put("a", 1);
    map.put("b", 2);

    final Map<String, Integer> result =
            map.entrySet().stream().collect(Collectors.toMap(e -> e.getKey(), e -> e.getValue(), (v1, v2) -> v1));

    return result;
}

assert [a:1, b:2] == m();

Here are the error messages:

3 compilation errors:

[Static type checking] - Cannot find matching method java.lang.Object#getKey(). Please check if the declared type is correct and if the method exists.
 at line: 10, column: 67

[Static type checking] - Cannot find matching method java.lang.Object#getValue(). Please check if the declared type is correct and if the method exists.
 at line: 10, column: 84

[Static type checking] - Incompatible generic argument types. Cannot assign java.util.Map<java.lang.Object, java.lang.Object> to: java.util.Map<java.lang.String, java.lang.Integer>
 at line: 10, column: 13

Issue Links

• duplicates: GROOVY-10054 STC: Cannot infer lambda parameter types for a stream collector
• duplicates: GROOVY-10047 STC infers Closure instead of SAM for method references
• duplicates: GROOVY-10544 Static compiler chooses superinterface return type