[GROOVY-9854] STC doesn't consider switch-expression type for closure cases

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 3.0.7
• Fix Version/s: 3.0.12, 4.0.4
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Christopher Smith
• Created: 08/Dec/20 20:42
• Updated: 08/Sep/22 19:45
• Resolved: 08/Jul/22 14:25

Description

def foo() {
    switch(1) {
        case { it > 2 }:
            break
    }
}

The STC should recognize the type of the switch expression and infer that it's looking for an Integer it closure, but it checks against Object instead and won't compile without an extra Integer it ->.

Issue Links

• is related to: GROOVY-6939 Calling "each" on an untyped model variable with two arguments causes doCall error