[GROOVY-5222] Casts to subclasses should not be caught as errors by the type checker

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0-beta-2
• Fix Version/s: 2.0-beta-3
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Cédric Champeau
• Created: 29/Dec/11 10:21
• Updated: 13/May/12 03:30
• Resolved: 29/Dec/11 10:21

Description

The following expression causes an incompatible type error at compile time, although it's valid:

Object o = null
try {
   ((Integer)o).intValue()
} catch (NullPointerException e) {
}