[GROOVY-5518] Static Type Checker: Cannot return null with type checking enabled

• Type: Bug
• Status: Closed
• Priority: Critical
• Resolution: Duplicate
• Affects Version/s: 2.0-rc-2
• Fix Version/s: 2.0-rc-3
• Assignee: Cédric Champeau
• Reporter: Graeme Rocher
• Created: 14/Jun/12 08:16
• Updated: 15/Jun/12 22:56
• Resolved: 14/Jun/12 08:25

Description

Example:

import groovy.transform.CompileStatic

@CompileStatic
File foo() {
  if(true) {
     return new File("blah")
  }
  return null
}

This results in

[Static type checking] - Cannot return value of type java.lang.Object on method returning type java.io.File -> java.io.File
 at line: 8, column: 10