'checkType' for qualified properties as function arguments

compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/CandidateResolver.java

@@ -310,7 +310,7 @@ public class CandidateResolver {
                                        : effectiveExpectedType;
 
                 //todo inner calls should be analyzed, for parenthesized, labeled, if, when expressions as well
-                JetVisitor<JetExpression, Void> callExpressionFinder = new JetVisitor<JetExpression, Void>() {
+                JetVisitor<JetExpression, Void> selectorExpressionFinder = new JetVisitor<JetExpression, Void>() {
                     @Override
                     public JetExpression visitQualifiedExpression(JetQualifiedExpression expression, Void data) {
                         JetExpression selector = expression.getSelectorExpression();
@@ -322,16 +322,31 @@ public class CandidateResolver {
                         return expression;
                     }
 
+                    @Override
+                    public JetExpression visitSimpleNameExpression(JetSimpleNameExpression expression, Void data) {
+                        return expression;
+                    }
+
                     @Override
                     public JetExpression visitJetElement(JetElement element, Void data) {
                         return null;
                     }
                 };
-                JetExpression callExpression = expression.accept(callExpressionFinder, null);
-                if (callExpression == null) continue;
+                // selector expression is callExpression or simpleNameExpression (if it's inside qualified expression)
+                JetExpression selectorExpression = expression.accept(selectorExpressionFinder, null);
+                if (selectorExpression == null) continue;
 
+                if (selectorExpression instanceof JetSimpleNameExpression) {
+                    if (expression instanceof JetQualifiedExpression) {
+                        //todo get rid of this hack, 'checkType' once at the end of the analysis
+                        JetType type = context.trace.get(BindingContext.EXPRESSION_TYPE, selectorExpression);
+                        DataFlowUtils.checkType(type, expression, context.replaceExpectedType(expectedType));
+                    }
+                    continue;
+                }
                 CallCandidateResolutionContext<FunctionDescriptor> storedContextForArgument =
-                        context.resolutionResultsCache.getDeferredComputation(CallKey.create(Call.CallType.DEFAULT, callExpression));
+                        context.resolutionResultsCache.getDeferredComputation(CallKey.create(Call.CallType.DEFAULT, selectorExpression));
+                //todo assert storedContextForArgument != null
                 if (storedContextForArgument == null) continue;
 
                 CallCandidateResolutionContext<FunctionDescriptor> contextForArgument =

compiler/testData/diagnostics/tests/inference/nestedCalls/checkTypesForQualifiedProperties.kt

@@ -0,0 +1,9 @@
+package a
+
+fun test(c: C) {
+    foo(<!TYPE_MISMATCH!>c.b<!>)
+}
+
+fun foo(s: String) = s
+
+class C(val b: Int) {}

compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java

@@ -2175,6 +2175,11 @@ public class JetDiagnosticsTestGenerated extends AbstractDiagnosticsTestWithEage
                     JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), "org.jetbrains.jet.generators.tests.GenerateTests", new File("compiler/testData/diagnostics/tests/inference/nestedCalls"), Pattern.compile("^(.+)\\.kt$"), true);
                 }
                 
+                @TestMetadata("checkTypesForQualifiedProperties.kt")
+                public void testCheckTypesForQualifiedProperties() throws Exception {
+                    doTest("compiler/testData/diagnostics/tests/inference/nestedCalls/checkTypesForQualifiedProperties.kt");
+                }
+                
                 @TestMetadata("completeNestedCallsForArraySetExpression.kt")
                 public void testCompleteNestedCallsForArraySetExpression() throws Exception {
                     doTest("compiler/testData/diagnostics/tests/inference/nestedCalls/completeNestedCallsForArraySetExpression.kt");