KT-41 Make functions with errors in returning statement return ERROR type and not Nothing

compiler/frontend/src/org/jetbrains/jet/lang/types/expressions/ExpressionTypingServices.java

@@ -188,6 +188,9 @@ public class ExpressionTypingServices {
             trace.record(STATEMENT, returnedExpression, false);
             if (cachedType != null) {
                 typeMap.put(returnedExpression, cachedType);
+            } 
+            else {
+                typeMap.put(returnedExpression, ErrorUtils.createErrorType("Error function type"));
             }
         }
         return typeMap;

compiler/testData/checkerWithErrorTypes/quick/regressions/kt41.jet

@@ -0,0 +1,11 @@
+// KT-41 Make functions with errors in returning statement return ERROR type and not Nothing
+
+namespace kt41
+
+fun aaa() =
+  6 <!UNRESOLVED_REFERENCE!>foo<!> 1
+
+fun bbb() {
+  aaa()
+  1 // Stupid error: unreachable code
+}