From 58029830f08fe5c8ecfdd1f0c723614543d5196a Mon Sep 17 00:00:00 2001 From: Simon Ogorodnik Date: Tue, 9 Apr 2019 20:15:02 +0300 Subject: [PATCH] Skip star-projection to avoid failures --- .../components/AbstractTypeCheckerContextForConstraintSystem.kt | 1 + 1 file changed, 1 insertion(+) diff --git a/compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/inference/components/AbstractTypeCheckerContextForConstraintSystem.kt b/compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/inference/components/AbstractTypeCheckerContextForConstraintSystem.kt index 56e36a40de6..70620d2304e 100644 --- a/compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/inference/components/AbstractTypeCheckerContextForConstraintSystem.kt +++ b/compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/inference/components/AbstractTypeCheckerContextForConstraintSystem.kt @@ -88,6 +88,7 @@ abstract class AbstractTypeCheckerContextForConstraintSystem : AbstractTypeCheck val typeMarker = type.asSimpleType()?.asCapturedType() ?: return null val projection = typeMarker.typeConstructorProjection() + if (projection.isStarProjection()) return null return if (projection.getVariance() == TypeVariance.OUT) projection.getType().takeIf { it is SimpleTypeMarker && isMyTypeVariable(it) }?.asSimpleType() else