[GROOVY-10745] Type not captured correctly (regression in 2.5.18)

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.5.18
• Fix Version/s: 2.5.19
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Mauro Molinari
• Created: 02/Sep/22 14:30
• Updated: 10/Feb/23 21:40
• Resolved: 02/Sep/22 23:55

Description

Consider this:

package test2
import groovy.transform.CompileStatic

@CompileStatic
class OptionalTest {
    
    void foo() {
        Optional.of(bar()).orElse(Collections.emptyMap());
    }
    
    Map bar() {
        new HashMap()
    }
} 

This compiles fine in 2.5.17, 2.5.16, etc., but fails with 2.5.18:

[Static type checking] - Cannot call java.util.Optional <java.util.Map>#orElse(java.util.Map) with arguments [java.lang.Object]  
 @ line 9, column 3.

                Optional.of(bar()).orElse(Collections.emptyMap());

     ^



1 error

Issue Links

• is related to: GROOVY-8409 Static compilation with generic function wrapping BiFunction causes GroovyCastException
• is related to: GROOVY-9915 STC: call to static method fails with incompatible generics error