[GROOVY-8133] Static type checking failure for streams and spread operator

• Type: Improvement
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 2.4.10
• Fix Version/s: 4.0.1
• Component/s: Static Type Checker
• Environment: Windows 7, JDK 1.8.0_66
• Assignee: Eric Milles
• Reporter: Iurii
• Created: 28/Mar/17 12:55
• Updated: 03/Feb/24 15:43
• Resolved: 09/Feb/22 01:23

Description

Input files:

Test.groovy

class Test {
    static void main(String[] args) {
        [1, 2, 3].stream()*.toString()
    }
}

compiler-config.groovy

import groovy.transform.CompileStatic
withConfig(configuration) {
    ast(CompileStatic)
}

Error:(3, 9) Groovyc: [Static type checking] - Spread operator can only be used on collection types

Expected: static type checking allows spread operator for streams

Issue Links

• relates to: GROOVY-11305 STC: support for-each or for-in loop for implicitly-Iterable type
• relates to: GROOVY-10473 Extend streams support to spread and subscript
• relates to: GROOVY-10476 STC: for-each loop on iterable-like types