[GROOVY-8195] CompileStatic fails to infer correct type when using elvis operator

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.9
• Fix Version/s: 2.4.13
• Component/s: Static Type Checker
• Assignee: John Wagenleitner
• Reporter: Richard Zhang
• Created: 21/May/17 09:02
• Updated: 26/Jul/18 04:44
• Resolved: 17/Jun/18 03:08

Description

see the following example:

import groovy.transform.CompileStatic


@CompileStatic
def foo() {
    Map<String, String> strongMap
    Map<String, String> elvisMap = strongMap ?: [:] // won't compile
    Map<String, String> initStrongMap = [:] // compiles ok
}