[GROOVY-5519] Static Type Checker: Exception type not inferred for catch blocks

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0-rc-3
• Fix Version/s: 2.0-rc-4
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Graeme Rocher
• Created: 14/Jun/12 08:22
• Updated: 21/Jun/12 17:03
• Resolved: 18/Jun/12 07:25

Description

The following code:

import groovy.transform.CompileStatic

@CompileStatic
File foo() {
   try {
   
   } catch(e) {
       handleError(e)
   }
}

def handleError(Throwable e) {
  println e.message
}

Fails to compile with:

[Static type checking] - Cannot find matching method ConsoleScript2#handleError(java.lang.Object)
 at line: 8, column: 8