Derived functions return type mismatch

Reports the overridden virtual functions that have different (non-covariant) return types comparing to the base function's types.