[GROOVY-5443] Static type checking not working for fields assigment

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0-beta-3
• Fix Version/s: 2.0-rc-1
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Renato Garcia
• Created: 08/May/12 16:33
• Updated: 15/Jun/12 22:56
• Resolved: 09/May/12 04:14

Description

The following classes should fail to compile:

 
@TypeChecked
class StaticGroovy1 {
  Date foo = ""
}

@TypeChecked
class StaticGroovy2 {
    Closure<List> cls = { Date aDate ->  aDate.getTime() }
}

@TypeChecked
class StaticGroovy3 {
    
    static Closure<Long> cls = { Date aDate ->  aDate.getTime() }
    
    def bar() {
        cls("")
    }
}

See discussion associated to this bug