Reports function implementations whose return type does not match the corresponding type definition.