[NI] Make error CST when any of included types is error

`ErrorType` is not subtype of `Any`, so any set of types containing an `ErrorType` has no common super constructors.
^KT-36745 Fixed
This commit is contained in:
Pavel Kirpichenkov
2020-02-17 15:58:06 +03:00
parent 6d1da6e6d5
commit 6430209074
7 changed files with 37 additions and 1 deletions
@@ -97,7 +97,7 @@ object NewCommonSuperTypeCalculator {
contextStubTypesEqualToAnything: AbstractTypeCheckerContext,
contextStubTypesNotEqual: AbstractTypeCheckerContext
): SimpleTypeMarker {
if (types.all { it is ErrorType }) {
if (types.any { it is ErrorType }) {
return ErrorUtils.createErrorType("CST(${types.joinToString()}")
}