FIR resolve: fold flexible types whenever possible #KT-31528 Fixed

This commit is contained in:
Mikhail Glukhikh
2019-12-13 14:42:03 +03:00
parent 9f5a02dc7a
commit 737eaebee6
16 changed files with 69 additions and 48 deletions
@@ -101,9 +101,10 @@ private fun JavaType?.enhancePossiblyFlexible(
} else {
baseEnhanced
}
ConeFlexibleType(
baseEnhanced,
upperBound.withNullability(ConeNullability.NULLABLE)
coneFlexibleOrSimpleType(
session, baseEnhanced,
upperBound.withNullability(ConeNullability.NULLABLE),
isNotNullTypeParameter = false
)
}
else -> {