[GROOVY-5699] STC: Property inference issue with IntRange properties

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 2.0.4
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Guillaume Sauthier
• Created: 11/Sep/12 04:18
• Updated: 21/Sep/12 16:58
• Resolved: 11/Sep/12 12:24

Description

The following example fails:

@groovy.transform.TypeChecked
class Test {
    static void test() {
        def range = 1..10
        int i = range.fromInt
    }   
}

Test.test()

With:

[Static type checking] - Cannot assign value of type java.lang.Object to variable of type int

Although using the getter method directly getFromInt() and the type checker is happy.