diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/ArgumentTypeResolver.java b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/ArgumentTypeResolver.java
index a24716c6770..058d813e0c4 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/ArgumentTypeResolver.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/ArgumentTypeResolver.java
@@ -196,10 +196,6 @@ public class ArgumentTypeResolver {
         }
 
         recordExpressionType(expression, context.trace, context.scope, result.getTypeInfo());
-        CallCandidateResolutionContext<FunctionDescriptor> deferredContext = result.getCallCandidateResolutionContext();
-        if (deferredContext != null) {
-            context.resolutionResultsCache.recordDeferredComputationForCall(expression, deferredContext);
-        }
         if (traceToCommitForCall != null) {
             traceToCommitForCall.commit();
         }
diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/CallResolver.java b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/CallResolver.java
index b2b6181d7b0..c55c290ee99 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/CallResolver.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/CallResolver.java
@@ -267,6 +267,7 @@ public class CallResolver {
     ) {
         PsiElement element = context.call.getCallElement();
         OverloadResolutionResultsImpl<F> results = null;
+        TracingStrategy tracing = prioritizedTasks.isEmpty() ? TracingStrategy.EMPTY : prioritizedTasks.iterator().next().tracing;
         TemporaryBindingTrace traceToResolveCall = TemporaryBindingTrace.create(context.trace, "trace to resolve call", context.call);
         if (element instanceof JetExpression) {
             CallKey key = CallKey.create(context.call.getCallType(), (JetExpression) element);
@@ -285,8 +286,8 @@ public class CallResolver {
             if (deltasTraceForTypeInference != null) {
                 deltasTraceForTypeInference.addAllMyDataTo(traceToResolveCall);
             }
-            completeTypeInferenceDependentOnFunctionLiterals(newContext, results, TracingStrategy.EMPTY);
-            cacheResults(memberType, context, results, traceToResolveCall);
+            completeTypeInferenceDependentOnFunctionLiterals(newContext, results, tracing);
+            cacheResults(memberType, context, results, traceToResolveCall, tracing);
         }
         traceToResolveCall.commit();
 
@@ -295,7 +296,6 @@ public class CallResolver {
         }
         if (context.resolveMode == ResolveMode.NESTED_CALL) return results;
 
-        TracingStrategy tracing = prioritizedTasks.iterator().next().tracing;
         return completeTypeInferenceDependentOnExpectedType(context, results, tracing);
     }
 
@@ -351,8 +351,11 @@ public class CallResolver {
 
     private static <F extends CallableDescriptor> void cacheResults(
             @NotNull ResolutionResultsCache.MemberType<F> memberType,
-            @NotNull BasicCallResolutionContext context, @NotNull OverloadResolutionResultsImpl<F> results,
-            @NotNull DelegatingBindingTrace traceToResolveCall) {
+            @NotNull BasicCallResolutionContext context,
+            @NotNull OverloadResolutionResultsImpl<F> results,
+            @NotNull DelegatingBindingTrace traceToResolveCall,
+            @NotNull TracingStrategy tracing
+    ) {
         PsiElement callElement = context.call.getCallElement();
         if (!(callElement instanceof JetExpression)) return;
 
@@ -360,9 +363,15 @@ public class CallResolver {
                 new BindingTraceContext().getBindingContext(), "delta trace for caching resolve of", context.call);
         traceToResolveCall.addAllMyDataTo(deltasTraceToCacheResolve);
 
-        context.resolutionResultsCache.recordResolutionResults(
-                CallKey.create(context.call.getCallType(), (JetExpression) callElement), memberType, results);
-        context.resolutionResultsCache.recordResolutionTrace((JetExpression) callElement, deltasTraceToCacheResolve);
+        JetExpression callExpression = (JetExpression) callElement;
+        context.resolutionResultsCache.recordResolutionResults(CallKey.create(context.call.getCallType(), callExpression), memberType, results);
+        context.resolutionResultsCache.recordResolutionTrace(callExpression, deltasTraceToCacheResolve);
+
+        if (results.isSingleResult() && memberType == ResolutionResultsCache.FUNCTION_MEMBER_TYPE) {
+            CallCandidateResolutionContext<F> callCandidateResolutionContext = CallCandidateResolutionContext.createForCallBeingAnalyzed(
+                    results.getResultingCall().getCallToCompleteTypeArgumentInference(), context, tracing);
+            context.resolutionResultsCache.recordDeferredComputationForCall(callExpression, callCandidateResolutionContext, memberType);
+        }
     }
 
     private <D extends CallableDescriptor> OverloadResolutionResultsImpl<D> checkArgumentTypesAndFail(BasicCallResolutionContext context) {
diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/context/ResolutionResultsCache.java b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/context/ResolutionResultsCache.java
index 63d3be1b0a2..50eb7cddc5f 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/context/ResolutionResultsCache.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/context/ResolutionResultsCache.java
@@ -71,8 +71,13 @@ public class ResolutionResultsCache {
         return trace.get(TRACE_DELTAS_CACHE, expression);
     }
 
-    public void recordDeferredComputationForCall(@NotNull JetExpression expression, @NotNull CallCandidateResolutionContext<FunctionDescriptor> deferredComputation) {
-        trace.record(DEFERRED_COMPUTATION_FOR_CALL, expression, deferredComputation);
+    public <D extends CallableDescriptor> void recordDeferredComputationForCall(
+            @NotNull JetExpression expression,
+            @NotNull CallCandidateResolutionContext<D> deferredComputation,
+            @NotNull MemberType memberType
+    ) {
+        if (memberType == PROPERTY_MEMBER_TYPE) return;
+        trace.record(DEFERRED_COMPUTATION_FOR_CALL, expression, (CallCandidateResolutionContext<FunctionDescriptor>) deferredComputation);
     }
 
     @Nullable