warn when generator function without any yield expression(microsoft#13847)

Author: Kingwl

src/compiler/checker.ts

@@ -17283,7 +17283,12 @@ namespace ts {
             else {
                 let types: Type[];
                 if (functionFlags & FunctionFlags.Generator) { // Generator or AsyncGenerator function
-                    types = concatenate(checkAndAggregateYieldOperandTypes(func, checkMode), checkAndAggregateReturnExpressionTypes(func, checkMode));
+                    const aggregatedYield = checkAndAggregateYieldOperandTypes(func, checkMode);
+                    const aggregatedReturn = checkAndAggregateReturnExpressionTypes(func, checkMode)
+                    if (aggregatedReturn.length && aggregatedYield.length === 0) {
+                        error(func, Diagnostics.A_generator_cannot_have_a_return_statement_and_no_yield_statements);
+                    }
+                    types = concatenate(aggregatedYield, aggregatedReturn);
                     if (!types || types.length === 0) {
                         const iterableIteratorAny = functionFlags & FunctionFlags.Async
                             ? createAsyncIterableIteratorType(anyType) // AsyncGenerator function
@@ -25071,7 +25076,7 @@ namespace ts {
                 if (isInAmbientContext(node)) {
                     return grammarErrorOnNode(node.asteriskToken, Diagnostics.Generators_are_not_allowed_in_an_ambient_context);
                 }
-                if (!node.body) {
+                else {
                     return grammarErrorOnNode(node.asteriskToken, Diagnostics.An_overload_signature_cannot_be_declared_as_a_generator);
                 }
             }

src/compiler/diagnosticMessages.json

@@ -911,6 +911,10 @@
         "category": "Error",
         "code": 1329
     },
+    "A generator cannot have a return statement and no yield statements.": {
+        "category": "Error",
+        "code": 1330
+    },
 
     "Duplicate identifier '{0}'.": {
         "category": "Error",

tests/baselines/reference/emitter.asyncGenerators.classMethods.es2015.js

@@ -38,7 +38,6 @@ class C6 {
 //// [C7.ts]
 class C7 {
     async * f() {
-        return 1;
     }
 }
 //// [C8.ts]
@@ -215,7 +214,6 @@ var __asyncGenerator = (this && this.__asyncGenerator) || function (thisArg, _ar
 class C7 {
     f() {
         return __asyncGenerator(this, arguments, function* f_1() {
-            return 1;
         });
     }
 }

tests/baselines/reference/emitter.asyncGenerators.classMethods.es2015.symbols

@@ -67,8 +67,6 @@ class C7 {
 
     async * f() {
 >f : Symbol(C7.f, Decl(C7.ts, 0, 10))
-
-        return 1;
     }
 }
 === tests/cases/conformance/emitter/es2015/asyncGenerators/C8.ts ===

tests/baselines/reference/emitter.asyncGenerators.classMethods.es2015.types

@@ -80,10 +80,7 @@ class C7 {
 >C7 : C7
 
     async * f() {
->f : () => AsyncIterableIterator<1>
-
-        return 1;
->1 : 1
+>f : () => AsyncIterableIterator<any>
     }
 }
 === tests/cases/conformance/emitter/es2015/asyncGenerators/C8.ts ===

tests/baselines/reference/emitter.asyncGenerators.classMethods.es5.js

@@ -38,7 +38,6 @@ class C6 {
 //// [C7.ts]
 class C7 {
     async * f() {
-        return 1;
     }
 }
 //// [C8.ts]
@@ -497,7 +496,7 @@ var C7 = /** @class */ (function () {
     C7.prototype.f = function () {
         return __asyncGenerator(this, arguments, function f_1() {
             return __generator(this, function (_a) {
-                return [2 /*return*/, 1];
+                return [2 /*return*/];
             });
         });
     };

tests/baselines/reference/emitter.asyncGenerators.classMethods.es5.symbols

@@ -67,8 +67,6 @@ class C7 {
 
     async * f() {
 >f : Symbol(C7.f, Decl(C7.ts, 0, 10))
-
-        return 1;
     }
 }
 === tests/cases/conformance/emitter/es5/asyncGenerators/C8.ts ===

tests/baselines/reference/emitter.asyncGenerators.classMethods.es5.types

@@ -80,10 +80,7 @@ class C7 {
 >C7 : C7
 
     async * f() {
->f : () => AsyncIterableIterator<1>
-
-        return 1;
->1 : 1
+>f : () => AsyncIterableIterator<any>
     }
 }
 === tests/cases/conformance/emitter/es5/asyncGenerators/C8.ts ===

tests/baselines/reference/emitter.asyncGenerators.classMethods.esnext.js

@@ -38,7 +38,6 @@ class C6 {
 //// [C7.ts]
 class C7 {
     async * f() {
-        return 1;
     }
 }
 //// [C8.ts]
@@ -98,7 +97,6 @@ class C6 {
 //// [C7.js]
 class C7 {
     async *f() {
-        return 1;
     }
 }
 //// [C8.js]

tests/baselines/reference/emitter.asyncGenerators.classMethods.esnext.symbols

@@ -67,8 +67,6 @@ class C7 {
 
     async * f() {
 >f : Symbol(C7.f, Decl(C7.ts, 0, 10))
-
-        return 1;
     }
 }
 === tests/cases/conformance/emitter/esnext/asyncGenerators/C8.ts ===