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

Avoid type approximation on generating equality constraints

Browse Source 
#KT-37389 fixed
This commit is contained in:
Ilya Chernikov
2020-03-16 18:01:38 +01:00
parent 950ab01596
commit da1009eb2c
1 changed files with 17 additions and 15 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
+17 -15
View File
@@ -119,12 +119,9 @@ class ConstraintIncorporator(
otherVariable: TypeVariableMarker,
otherConstraint: Constraint
) {
val baseConstraintType = baseConstraint.type
val typeForApproximation = when (otherConstraint.kind) {
val typeWithSubstitution = when (otherConstraint.kind) {
ConstraintKind.EQUALITY -> {
baseConstraintType.substitute(this, otherVariable, otherConstraint.type)
baseConstraint.type.substitute(this, otherVariable, otherConstraint.type)
}
ConstraintKind.UPPER -> {
val temporaryCapturedType = createCapturedType(
@@ -133,7 +130,7 @@ class ConstraintIncorporator(
null,
CaptureStatus.FOR_INCORPORATION
)
baseConstraintType.substitute(this, otherVariable, temporaryCapturedType)
baseConstraint.type.substitute(this, otherVariable, temporaryCapturedType)
}
ConstraintKind.LOWER -> {
val temporaryCapturedType = createCapturedType(
@@ -142,18 +139,23 @@ class ConstraintIncorporator(
otherConstraint.type,
CaptureStatus.FOR_INCORPORATION
)
baseConstraintType.substitute(this, otherVariable, temporaryCapturedType)
baseConstraint.type.substitute(this, otherVariable, temporaryCapturedType)
}
}
if (baseConstraint.kind != ConstraintKind.UPPER) {
val generatedConstraintType = approximateCapturedTypes(typeForApproximation, toSuper = false)
addNewConstraint(targetVariable, baseConstraint, otherVariable, otherConstraint, generatedConstraintType, isSubtype = true)
}
if (baseConstraint.kind != ConstraintKind.LOWER) {
val generatedConstraintType = approximateCapturedTypes(typeForApproximation, toSuper = true)
addNewConstraint(targetVariable, baseConstraint, otherVariable, otherConstraint, generatedConstraintType, isSubtype = false)
when (baseConstraint.kind) {
ConstraintKind.EQUALITY -> {
addNewConstraint(targetVariable, baseConstraint, otherVariable, otherConstraint, typeWithSubstitution, isSubtype = true)
addNewConstraint(targetVariable, baseConstraint, otherVariable, otherConstraint, typeWithSubstitution, isSubtype = false)
}
ConstraintKind.UPPER -> {
val generatedConstraintType = approximateCapturedTypes(typeWithSubstitution, toSuper = true)
addNewConstraint(targetVariable, baseConstraint, otherVariable, otherConstraint, generatedConstraintType, isSubtype = false)
}
ConstraintKind.LOWER -> {
val generatedConstraintType = approximateCapturedTypes(typeWithSubstitution, toSuper = false)
addNewConstraint(targetVariable, baseConstraint, otherVariable, otherConstraint, generatedConstraintType, isSubtype = true)
}
}
}