diff --git a/compiler/frontend/src/org/jetbrains/kotlin/resolve/DescriptorResolver.java b/compiler/frontend/src/org/jetbrains/kotlin/resolve/DescriptorResolver.java
index e7e49db1971..d87f347ba72 100644
--- a/compiler/frontend/src/org/jetbrains/kotlin/resolve/DescriptorResolver.java
+++ b/compiler/frontend/src/org/jetbrains/kotlin/resolve/DescriptorResolver.java
@@ -1158,8 +1158,9 @@ public class DescriptorResolver {
             KotlinType type = expressionTypingServices.getBodyExpressionType(
                     trace, scope, dataFlowInfo, function, functionDescriptor);
             KotlinType result = transformAnonymousTypeIfNeeded(functionDescriptor, function, type, trace);
-            functionsTypingVisitor.checkTypesForReturnStatements(function, trace, result);
-            return result;
+            UnwrappedType approximatedType = typeApproximator.approximateDeclarationType(result, false);
+            functionsTypingVisitor.checkTypesForReturnStatements(function, trace, approximatedType);
+            return approximatedType;
         });
     }