[GROOVY-5178] STC allows assign an array to any type which is not an array

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0-beta-1
• Fix Version/s: 2.0-beta-2
• Component/s: Static Type Checker
• Flags: Patch
• Assignee: Cédric Champeau
• Reporter: Valery Shyshkin
• Created: 08/Dec/11 07:36
• Updated: 05/Apr/15 14:44
• Resolved: 09/Dec/11 11:14

Description

STC allows assign an array to any type which is not an array

import groovy.transform.*

@TypeChecked 
class Foo {
    def say() {
        FooAnother foo1 = new Foo[13] // but FooAnother[] foo1 = new Foo() reports a STC                        Error
    }
}
class FooAnother {
    
}