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

addition to bug with automatically casting mutable variables fix

Browse Source
This commit is contained in:
svtk
2011-08-23 13:08:11 +04:00
parent 53134d54e4
commit d597d29f2a
1 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
idea/src/org/jetbrains/jet/lang/types/JetTypeInferrer.java
+10 -2
View File
@@ -853,10 +853,18 @@ public class JetTypeInferrer {
if (!semanticServices.getTypeChecker().isSubtypeOf(enrichedType, context.expectedType)) {
context.trace.getErrorHandler().typeMismatch(expression, context.expectedType, expressionType);
} else {
context.trace.record(BindingContext.AUTOCAST, expression, context.expectedType);
checkAutoCast(expression, context.expectedType, variableDescriptor, context.trace);
}
return enrichedType;
}
private void checkAutoCast(JetExpression expression, JetType type, VariableDescriptor variableDescriptor, BindingTrace trace) {
if (variableDescriptor.isVar()) {
trace.getErrorHandler().genericError(expression.getNode(), "Automatic cast to " + type + " is impossible, because variable " + variableDescriptor.getName() + " is mutable");
} else {
trace.record(BindingContext.AUTOCAST, expression, type);
}
}
@NotNull
private List<JetType> checkArgumentTypes(@NotNull List<JetType> argumentTypes, @NotNull List<JetExpression> arguments, @NotNull List<TypeProjection> expectedArgumentTypes, @NotNull TypeInferenceContext context) {
@@ -2202,7 +2210,7 @@ public class JetTypeInferrer {
for (JetType possibleType : possibleTypes) {
selectorReturnType = getSelectorReturnType(possibleType, selectorExpression, autocastResolutionContext);
if (selectorReturnType != null) {
autocastResolutionTrace.record(BindingContext.AUTOCAST, receiverExpression, possibleType);
context.services.checkAutoCast(receiverExpression, possibleType, variableDescriptor, autocastResolutionTrace);
autocastResolutionTrace.addAllMyDataTo(context.trace);
somethingFound = true;
break;