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

Create from usage: Fixed swapped co-/contravariant comments.

Browse Source
This commit is contained in:
Jack Zhou
2013-05-02 11:42:00 -04:00
parent b527ec45a3
commit ab6cc8b8ea
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
idea/src/org/jetbrains/jet/plugin/quickfix/CreateFunctionFromUsageFix.java
+2 -2
View File
@@ -1012,13 +1012,13 @@ public class CreateFunctionFromUsageFix extends CreateFromUsageFixBase {
} }
break; break;
case IN_VARIANCE: case IN_VARIANCE:
// for covariant (e.g. function parameter), can replace type with any of its supertypes // for contravariant (e.g. function parameter), can replace type with any of its supertypes
if (JetTypeChecker.INSTANCE.isSubtypeOf(type, substitution.getForType())) { if (JetTypeChecker.INSTANCE.isSubtypeOf(type, substitution.getForType())) {
return substitution.getByType(); return substitution.getByType();
} }
break; break;
case OUT_VARIANCE: case OUT_VARIANCE:
// for contravariant (e.g. function return value), can replace type with any of its subtypes // for covariant (e.g. function return value), can replace type with any of its subtypes
if (JetTypeChecker.INSTANCE.isSubtypeOf(substitution.getForType(), type)) { if (JetTypeChecker.INSTANCE.isSubtypeOf(substitution.getForType(), type)) {
return substitution.getByType(); return substitution.getByType();
} }