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

Type comparison: first check for star projections, then obtain constructor parameters #KT-10893 Fixed

Browse Source 
Also #EA-78405 Fixed
This commit is contained in:
Mikhail Glukhikh
2016-02-03 13:58:55 +03:00
parent c5be8ce1d3
commit 0c32fab690
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
core/descriptors/src/org/jetbrains/kotlin/types/checker/TypeCheckingProcedure.java
+2 -2
View File
@@ -99,13 +99,13 @@ public class TypeCheckingProcedure {
} }
for (int i = 0; i < type1Arguments.size(); i++) { for (int i = 0; i < type1Arguments.size(); i++) {
TypeParameterDescriptor typeParameter1 = constructor1.getParameters().get(i);
TypeProjection typeProjection1 = type1Arguments.get(i); TypeProjection typeProjection1 = type1Arguments.get(i);
TypeParameterDescriptor typeParameter2 = constructor2.getParameters().get(i);
TypeProjection typeProjection2 = type2Arguments.get(i); TypeProjection typeProjection2 = type2Arguments.get(i);
if (typeProjection1.isStarProjection() && typeProjection2.isStarProjection()) { if (typeProjection1.isStarProjection() && typeProjection2.isStarProjection()) {
continue; continue;
} }
TypeParameterDescriptor typeParameter1 = constructor1.getParameters().get(i);
TypeParameterDescriptor typeParameter2 = constructor2.getParameters().get(i);
if (capture(typeProjection1, typeProjection2, typeParameter1)) { if (capture(typeProjection1, typeProjection2, typeParameter1)) {
continue; continue;