Looks like CLIRR may in fact be correct here at a binary, if not source, level.
recognize covariant return types