Currently, if the return type of a method changes between two library versions, Mima Lib reports an "IncompatibleResultTypeProblem" that has, by default, a "fixable" status. This is too optimistics since the new method return type may not be a subtype of the old one. We should report that the problem is "fixable" only if newMethod.resultType <: oldMethod.resultType. Otherwise a new term should be used to warn the user that the incompatibility can be fixed but a runtime cast exception will be thrown if the method is ever called.
Currently, if the return type of a method changes between two library versions, Mima Lib reports an "IncompatibleResultTypeProblem" that has, by default, a "fixable" status. This is too optimistics since the new method return type may not be a subtype of the old one. We should report that the problem is "fixable" only if newMethod.resultType <: oldMethod.resultType. Otherwise a new term should be used to warn the user that the incompatibility can be fixed but a runtime cast exception will be thrown if the method is ever called.