Don't accidentally catch unexpected runtime exceptions
Looks like CLIRR may in fact be correct here at a binary, if not source, level.
recognize covariant return types