diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
index aa3b69d9b34..8ee39ab18f3 100644
--- a/src/compiler/checker.ts
+++ b/src/compiler/checker.ts
@@ -7455,6 +7455,11 @@ module ts {
 
             if (node.body) {
                 if (!node.type) {
+                    // There are some checks that are only performed in getReturnTypeFromBody, that may produce errors
+                    // we need. An example is the noImplicitAny errors resulting from widening the return expression
+                    // of a function. Because checking of function expression bodies is deferred, there was never an
+                    // appropriate time to do this during the main walk of the file (see the comment at the top of
+                    // checkFunctionExpressionBodies). So it must be done now.
                     getReturnTypeOfSignature(getSignatureFromDeclaration(node));
                 }