groovy

Casts to subclasses should not be caught as errors by the type checker