[GROOVY-5482] Type inference on lists

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0-rc-1
• Fix Version/s: 2.0-rc-3
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Renato Garcia
• Created: 31/May/12 05:46
• Updated: 15/Jun/12 22:56
• Resolved: 12/Jun/12 12:35

Description

@TypeChecked
class StaticGroovy2 {

    def bar() {

        def foo = [new Date(), 1, new C()]
        foo.add( 2 ) // Compiles
        foo.add( new Date() )
        foo.add( new C() )

        foo = [new Date(), 1]
        foo.add( 2 ) // Does not compile
    }
}
class C{
}

This code fails to compile on the last line foo.add(2) with the error:
Groovy:[Static type checking] - Cannot find matching method
java.util.List#add(int)