Revert "Don't skip generic functions when arity is not alright"

This reverts commit 53047af.

Author: Andarist

src/compiler/checker.ts

@@ -37002,12 +37002,9 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
         // use the resolvingSignature singleton to indicate that we deferred processing. This result will be
         // propagated out and eventually turned into silentNeverType (a type that is assignable to anything and
         // from which we never make inferences).
-        if (checkMode & CheckMode.SkipGenericFunctions && !node.typeArguments) {
-            const args = getEffectiveCallArguments(node);
-            if (some(callSignatures, candidate => hasCorrectArity(node, args, candidate) && isGenericFunctionReturningFunction(candidate))) {
-                skippedGenericFunction(node, checkMode);
-                return resolvingSignature;
-            }
+        if (checkMode & CheckMode.SkipGenericFunctions && !node.typeArguments && callSignatures.some(isGenericFunctionReturningFunction)) {
+            skippedGenericFunction(node, checkMode);
+            return resolvingSignature;
         }
         // If the function is explicitly marked with `@class`, then it must be constructed.
         if (callSignatures.some(sig => isInJSFile(sig.declaration) && !!getJSDocClassTag(sig.declaration!))) {

tests/baselines/reference/genericCallAtYieldExpressionInGenericCall2.types

@@ -70,8 +70,8 @@ fn(function* <T>(queue: Enqueue<T>, value: T) {
 >                                                                               : ^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   
 >fn : <Eff extends Effect, AEff, Args extends Array<any>>(body: (...args: Args) => Generator<Eff, AEff, any>) => (...args: Args) => any
 >   : ^   ^^^^^^^^^      ^^    ^^    ^^^^^^^^^          ^^    ^^                                            ^^^^^                      
->function* <T>(queue: Enqueue<T>, value: T) {  yield* offer(queue, value);} : <T>(queue: Enqueue<T>, value: T) => Generator<any, void, any>
->                                                                           : ^ ^^     ^^          ^^     ^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+>function* <T>(queue: Enqueue<T>, value: T) {  yield* offer(queue, value);} : <T>(queue: Enqueue<T>, value: T) => Generator<never, void, never>
+>                                                                           : ^ ^^     ^^          ^^     ^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >queue : Enqueue<T>
 >      : ^^^^^^^^^^
 >value : T