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

Equality applicability check

Browse Source
This commit is contained in:
Andrey Breslav
2011-03-25 16:23:22 +03:00
parent 7debc628b5
commit 11f4db08c6
1 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
idea/src/org/jetbrains/jet/lang/types/JetTypeInferrer.java
+13 -1
View File
@@ -957,7 +957,19 @@ public class JetTypeInferrer {
else if (equalsOperations.contains(operationType)) { else if (equalsOperations.contains(operationType)) {
String name = "equals"; String name = "equals";
JetType equalsType = getTypeForBinaryCall(expression, name, scope, true); JetType equalsType = getTypeForBinaryCall(expression, name, scope, true);
assureBooleanResult(operationSign, name, equalsType); result = assureBooleanResult(operationSign, name, equalsType);
// Assure that the types on the left and on the right have nonempty intersection
if (right != null) {
// TODO : duplicated effort
JetType leftType = getType(scope, left, false);
JetType rightType = getType(scope, right, false);
JetType intersect = TypeUtils.intersect(semanticServices.getTypeChecker(), new HashSet<JetType>(Arrays.asList(leftType, rightType)));
if (intersect == null) {
semanticServices.getErrorHandler().genericError(expression.getNode(), "Operator " + operationSign.getReferencedName() + " cannot be applied to " + leftType + " and " + rightType);
}
}
} }
else if (inOperations.contains(operationType)) { else if (inOperations.contains(operationType)) {
if (right == null) { if (right == null) {