From ed07e1c778cceb9e64190f06b40bd45777dba4ce Mon Sep 17 00:00:00 2001 From: Simon Ogorodnik Date: Wed, 28 Jul 2021 13:08:46 +0300 Subject: [PATCH] [FIR] Add missing type-alias unwrap in CompletionModeCalculator --- .../fir/resolve/inference/CompletionModeCalculator.kt | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/CompletionModeCalculator.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/CompletionModeCalculator.kt index fdf1d1570f5..407d5f8db5a 100644 --- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/CompletionModeCalculator.kt +++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/CompletionModeCalculator.kt @@ -125,11 +125,12 @@ private class CalculatorForNestedCall( type: KotlinTypeMarker, outerVariance: TypeVariance, fixationDirectionsCollector: MutableSet ) { - val typeArgumentsCount = type.argumentsCount() + val unwrappedType = type.lowerBoundIfFlexible() + val typeArgumentsCount = unwrappedType.argumentsCount() if (typeArgumentsCount > 0) { for (position in 0 until typeArgumentsCount) { - val argument = type.getArgument(position) - val parameter = type.typeConstructor().getParameter(position) + val argument = unwrappedType.getArgument(position) + val parameter = unwrappedType.typeConstructor().getParameter(position) if (argument.isStarProjection()) continue