Reports 'mixed' return types that can be narrowed down to more concrete types.