[GROOVY-7122] Static type checking error at Iterable<T> loop

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.3.7, 2.4.0-beta-3
• Fix Version/s: 2.3.8, 2.4.0-beta-4
• Component/s: Static Type Checker
• Assignee: Jochen Theodorou
• Reporter: Yu Kobayashi
• Created: 18/Oct/14 06:04
• Updated: 17/Dec/14 13:25
• Resolved: 22/Oct/14 13:35

Description

I can compile this if I change Iterable to Collection.

import groovy.transform.CompileStatic

@CompileStatic
class Test {
    static void test(Iterable<Integer> list) {
        for (Integer obj : list) {}
    }
}

Test.test([0])

org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
Test.groovy: 6: [Static type checking] - Cannot loop with element of type java.lang.Integer with collection of type java.lang.Iterable <Integer>
 @ line 6, column 9.
           for (Integer obj : list) {}
           ^

1 error