azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

FIR: Fix NI handling flexible type bounds

Browse Source
This commit is contained in:
Denis Zharkov
2020-02-18 19:54:07 +03:00
parent 2ad8488e6a
commit c8269baa92
2 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/inference/components/ConstraintIncorporator.kt
+6 -6
View File
@@ -231,9 +231,9 @@ private fun TypeSystemInferenceExtensionContext.getNestedArguments(type: KotlinT
val stack = ArrayDeque<TypeArgumentMarker>()
when (type) {
is FlexibleType -> {
stack.push(createTypeArgument(type.lowerBound, TypeVariance.INV))
stack.push(createTypeArgument(type.upperBound, TypeVariance.INV))
is FlexibleTypeMarker -> {
stack.push(createTypeArgument(type.lowerBound(), TypeVariance.INV))
stack.push(createTypeArgument(type.upperBound(), TypeVariance.INV))
}
else -> stack.push(createTypeArgument(type, TypeVariance.INV))
}
@@ -253,9 +253,9 @@ private fun TypeSystemInferenceExtensionContext.getNestedArguments(type: KotlinT
result.add(typeProjection)
when (val projectedType = typeProjection.getType()) {
is FlexibleType -> {
addArgumentsToStack(projectedType.lowerBound)
addArgumentsToStack(projectedType.upperBound)
is FlexibleTypeMarker -> {
addArgumentsToStack(projectedType.lowerBound())
addArgumentsToStack(projectedType.upperBound())
}
else -> addArgumentsToStack(projectedType)
}