Infix calls and nullable receivers

idea/src/org/jetbrains/jet/lang/types/JetTypeInferrer.java

@@ -2398,14 +2398,17 @@ public class JetTypeInferrer {
                     leftType,
                     context.expectedType);
             if (functionDescriptor != null) {
-//                if (leftType.isNullable()) {
-//                    // TODO : better error message for '1 + nullableVar' case
-//                    context.trace.getErrorHandler().genericError(operationSign.getNode(),
-//                            "Infix call corresponds to a dot-qualified call '" +
-//                            left.getText() + "." + name + "(" + right.getText() + ")'" +
-//                            " which is not allowed on a nullable receiver '" + right.getText() + "'." +
-//                            " Use '?.'-qualified call instead");
-//                }
+                if (leftType != null && leftType.isNullable()) {
+                    // TODO : better error message for '1 + nullableVar' case
+                    JetExpression right = binaryExpression.getRight();
+                    String rightText = right == null ? "" : right.getText();
+                    String leftText = binaryExpression.getLeft().getText();
+                    context.trace.getErrorHandler().genericError(binaryExpression.getOperationReference().getNode(),
+                                                                 "Infix call corresponds to a dot-qualified call '" +
+                                                                 leftText + "." + name + "(" + rightText + ")'" +
+                                                                 " which is not allowed on a nullable receiver '" + leftText + "'." +
+                                                                 " Use '?.'-qualified call instead");
+                }
 
                 return functionDescriptor.getReturnType();
             }

idea/testData/checker/BinaryCallsOnNullableValues.jet

@@ -32,7 +32,7 @@ fun f(): Unit {
   x !== 1
 
   x<error>..</error>2
-  x <error>in</error> 1..2
+  <error>x</error> in 1..2
 
   val y : Boolean? = true
   false || <error>y</error>

idea/testData/checker/regression/SpecififcityByReceiver.jet

@@ -4,6 +4,6 @@ fun main(args: Array<String>) {
 
     val command : Any = 1
 
-    command<warning>?.<?warning>equals(null)
+    command<warning>?.</warning>equals(null)
     command.equals(null)
 }