Skip star-projection to avoid failures

This commit is contained in:
Simon Ogorodnik
2019-04-09 20:15:02 +03:00
parent 2ea7fb8801
commit 58029830f0
@@ -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