typescript 4.8.0-dev.20220718 → 4.8.0-dev.20220719

package/lib/tsc.js

@@ -69,7 +69,7 @@ var __generator = (this && this.__generator) || function (thisArg, body) {
 var ts;
 (function (ts) {
     ts.versionMajorMinor = "4.8";
-    ts.version = ts.versionMajorMinor + ".0-dev.20220718";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220719";
     var NativeCollections;
     (function (NativeCollections) {
         var globals = typeof globalThis !== "undefined" ? globalThis :
@@ -49034,6 +49034,9 @@ var ts;
                     else if (type.objectFlags & 32) {
                         resolveMappedTypeMembers(type);
                     }
+                    else {
+                        ts.Debug.fail("Unhandled object type " + ts.Debug.formatObjectFlags(type.objectFlags));
+                    }
                 }
                 else if (type.flags & 1048576) {
                     resolveUnionTypeMembers(type);
@@ -49041,6 +49044,9 @@ var ts;
                 else if (type.flags & 2097152) {
                     resolveIntersectionTypeMembers(type);
                 }
+                else {
+                    ts.Debug.fail("Unhandled type " + ts.Debug.formatTypeFlags(type.flags));
+                }
             }
             return type;
         }
@@ -59510,7 +59516,7 @@ var ts;
                     return declaredType;
                 }
                 if (ts.isVariableDeclaration(node) && node.parent.parent.kind === 243 && isMatchingReference(reference, node.parent.parent.expression)) {
-                    return getNonNullableTypeIfNeeded(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent)));
+                    return getNonNullableTypeIfNeeded(finalizeEvolvingArrayType(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent))));
                 }
                 return undefined;
             }
@@ -66334,7 +66340,7 @@ var ts;
                         error(node.operand, ts.Diagnostics.The_0_operator_cannot_be_applied_to_type_symbol, ts.tokenToString(node.operator));
                     }
                     if (node.operator === 39) {
-                        if (maybeTypeOfKind(operandType, 2112)) {
+                        if (maybeTypeOfKindConsideringBaseConstraint(operandType, 2112)) {
                             error(node.operand, ts.Diagnostics.Operator_0_cannot_be_applied_to_type_1, ts.tokenToString(node.operator), typeToString(getBaseTypeOfLiteralType(operandType)));
                         }
                         return numberType;

package/lib/tsserver.js

@@ -109,7 +109,7 @@ var ts;
     // The following is baselined as a literal template type without intervention
     /** The version of the TypeScript compiler release */
     // eslint-disable-next-line @typescript-eslint/no-inferrable-types
-    ts.version = ts.versionMajorMinor + ".0-dev.20220718";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220719";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -59194,6 +59194,9 @@ var ts;
                     else if (type.objectFlags & 32 /* Mapped */) {
                         resolveMappedTypeMembers(type);
                     }
+                    else {
+                        ts.Debug.fail("Unhandled object type " + ts.Debug.formatObjectFlags(type.objectFlags));
+                    }
                 }
                 else if (type.flags & 1048576 /* Union */) {
                     resolveUnionTypeMembers(type);
@@ -59201,6 +59204,9 @@ var ts;
                 else if (type.flags & 2097152 /* Intersection */) {
                     resolveIntersectionTypeMembers(type);
                 }
+                else {
+                    ts.Debug.fail("Unhandled type " + ts.Debug.formatTypeFlags(type.flags));
+                }
             }
             return type;
         }
@@ -71166,7 +71172,7 @@ var ts;
                 }
                 // for (const _ in ref) acts as a nonnull on ref
                 if (ts.isVariableDeclaration(node) && node.parent.parent.kind === 243 /* ForInStatement */ && isMatchingReference(reference, node.parent.parent.expression)) {
-                    return getNonNullableTypeIfNeeded(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent)));
+                    return getNonNullableTypeIfNeeded(finalizeEvolvingArrayType(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent))));
                 }
                 // Assignment doesn't affect reference
                 return undefined;
@@ -79171,7 +79177,7 @@ var ts;
                         error(node.operand, ts.Diagnostics.The_0_operator_cannot_be_applied_to_type_symbol, ts.tokenToString(node.operator));
                     }
                     if (node.operator === 39 /* PlusToken */) {
-                        if (maybeTypeOfKind(operandType, 2112 /* BigIntLike */)) {
+                        if (maybeTypeOfKindConsideringBaseConstraint(operandType, 2112 /* BigIntLike */)) {
                             error(node.operand, ts.Diagnostics.Operator_0_cannot_be_applied_to_type_1, ts.tokenToString(node.operator), typeToString(getBaseTypeOfLiteralType(operandType)));
                         }
                         return numberType;
@@ -132528,11 +132534,11 @@ var ts;
                 var parent = walkUpParentheses(node.parent);
                 switch (parent.kind) {
                     case 196 /* LiteralType */: {
-                        var grandParent = walkUpParentheses(parent.parent);
-                        switch (grandParent.kind) {
+                        var grandParent_1 = walkUpParentheses(parent.parent);
+                        switch (grandParent_1.kind) {
+                            case 228 /* ExpressionWithTypeArguments */:
                             case 178 /* TypeReference */: {
-                                var typeReference_1 = grandParent;
-                                var typeArgument = ts.findAncestor(parent, function (n) { return n.parent === typeReference_1; });
+                                var typeArgument = ts.findAncestor(parent, function (n) { return n.parent === grandParent_1; });
                                 if (typeArgument) {
                                     return { kind: 2 /* Types */, types: getStringLiteralTypes(typeChecker.getTypeArgumentConstraint(typeArgument)), isNewIdentifier: false };
                                 }
@@ -132545,7 +132551,7 @@ var ts;
                                 //          bar: string;
                                 //      }
                                 //      let x: Foo["/*completion position*/"]
-                                var _a = grandParent, indexType = _a.indexType, objectType = _a.objectType;
+                                var _a = grandParent_1, indexType = _a.indexType, objectType = _a.objectType;
                                 if (!ts.rangeContainsPosition(indexType, position)) {
                                     return undefined;
                                 }
@@ -132553,11 +132559,11 @@ var ts;
                             case 200 /* ImportType */:
                                 return { kind: 0 /* Paths */, paths: getStringLiteralCompletionsFromModuleNames(sourceFile, node, compilerOptions, host, typeChecker, preferences) };
                             case 187 /* UnionType */: {
-                                if (!ts.isTypeReferenceNode(grandParent.parent)) {
+                                if (!ts.isTypeReferenceNode(grandParent_1.parent)) {
                                     return undefined;
                                 }
-                                var alreadyUsedTypes_1 = getAlreadyUsedTypesInStringLiteralUnion(grandParent, parent);
-                                var types = getStringLiteralTypes(typeChecker.getTypeArgumentConstraint(grandParent)).filter(function (t) { return !ts.contains(alreadyUsedTypes_1, t.value); });
+                                var alreadyUsedTypes_1 = getAlreadyUsedTypesInStringLiteralUnion(grandParent_1, parent);
+                                var types = getStringLiteralTypes(typeChecker.getTypeArgumentConstraint(grandParent_1)).filter(function (t) { return !ts.contains(alreadyUsedTypes_1, t.value); });
                                 return { kind: 2 /* Types */, types: types, isNewIdentifier: false };
                             }
                             default:
@@ -159168,7 +159174,7 @@ var ts;
                     // If there is more than one overload but no implementation signature
                     // (eg: an abstract method or interface declaration), there is a 1-1
                     // correspondence of declarations and signatures.
-                    var signatures = checker.getSignaturesOfType(type, 0 /* Call */);
+                    var signatures = type.isUnion() ? ts.flatMap(type.types, function (t) { return t.getCallSignatures(); }) : type.getCallSignatures();
                     if (!ts.some(signatures)) {
                         break;
                     }

package/lib/tsserverlibrary.js

@@ -303,7 +303,7 @@ var ts;
     // The following is baselined as a literal template type without intervention
     /** The version of the TypeScript compiler release */
     // eslint-disable-next-line @typescript-eslint/no-inferrable-types
-    ts.version = ts.versionMajorMinor + ".0-dev.20220718";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220719";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -59388,6 +59388,9 @@ var ts;
                     else if (type.objectFlags & 32 /* Mapped */) {
                         resolveMappedTypeMembers(type);
                     }
+                    else {
+                        ts.Debug.fail("Unhandled object type " + ts.Debug.formatObjectFlags(type.objectFlags));
+                    }
                 }
                 else if (type.flags & 1048576 /* Union */) {
                     resolveUnionTypeMembers(type);
@@ -59395,6 +59398,9 @@ var ts;
                 else if (type.flags & 2097152 /* Intersection */) {
                     resolveIntersectionTypeMembers(type);
                 }
+                else {
+                    ts.Debug.fail("Unhandled type " + ts.Debug.formatTypeFlags(type.flags));
+                }
             }
             return type;
         }
@@ -71360,7 +71366,7 @@ var ts;
                 }
                 // for (const _ in ref) acts as a nonnull on ref
                 if (ts.isVariableDeclaration(node) && node.parent.parent.kind === 243 /* ForInStatement */ && isMatchingReference(reference, node.parent.parent.expression)) {
-                    return getNonNullableTypeIfNeeded(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent)));
+                    return getNonNullableTypeIfNeeded(finalizeEvolvingArrayType(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent))));
                 }
                 // Assignment doesn't affect reference
                 return undefined;
@@ -79365,7 +79371,7 @@ var ts;
                         error(node.operand, ts.Diagnostics.The_0_operator_cannot_be_applied_to_type_symbol, ts.tokenToString(node.operator));
                     }
                     if (node.operator === 39 /* PlusToken */) {
-                        if (maybeTypeOfKind(operandType, 2112 /* BigIntLike */)) {
+                        if (maybeTypeOfKindConsideringBaseConstraint(operandType, 2112 /* BigIntLike */)) {
                             error(node.operand, ts.Diagnostics.Operator_0_cannot_be_applied_to_type_1, ts.tokenToString(node.operator), typeToString(getBaseTypeOfLiteralType(operandType)));
                         }
                         return numberType;
@@ -133141,11 +133147,11 @@ var ts;
                 var parent = walkUpParentheses(node.parent);
                 switch (parent.kind) {
                     case 196 /* LiteralType */: {
-                        var grandParent = walkUpParentheses(parent.parent);
-                        switch (grandParent.kind) {
+                        var grandParent_1 = walkUpParentheses(parent.parent);
+                        switch (grandParent_1.kind) {
+                            case 228 /* ExpressionWithTypeArguments */:
                             case 178 /* TypeReference */: {
-                                var typeReference_1 = grandParent;
-                                var typeArgument = ts.findAncestor(parent, function (n) { return n.parent === typeReference_1; });
+                                var typeArgument = ts.findAncestor(parent, function (n) { return n.parent === grandParent_1; });
                                 if (typeArgument) {
                                     return { kind: 2 /* Types */, types: getStringLiteralTypes(typeChecker.getTypeArgumentConstraint(typeArgument)), isNewIdentifier: false };
                                 }
@@ -133158,7 +133164,7 @@ var ts;
                                 //          bar: string;
                                 //      }
                                 //      let x: Foo["/*completion position*/"]
-                                var _a = grandParent, indexType = _a.indexType, objectType = _a.objectType;
+                                var _a = grandParent_1, indexType = _a.indexType, objectType = _a.objectType;
                                 if (!ts.rangeContainsPosition(indexType, position)) {
                                     return undefined;
                                 }
@@ -133166,11 +133172,11 @@ var ts;
                             case 200 /* ImportType */:
                                 return { kind: 0 /* Paths */, paths: getStringLiteralCompletionsFromModuleNames(sourceFile, node, compilerOptions, host, typeChecker, preferences) };
                             case 187 /* UnionType */: {
-                                if (!ts.isTypeReferenceNode(grandParent.parent)) {
+                                if (!ts.isTypeReferenceNode(grandParent_1.parent)) {
                                     return undefined;
                                 }
-                                var alreadyUsedTypes_1 = getAlreadyUsedTypesInStringLiteralUnion(grandParent, parent);
-                                var types = getStringLiteralTypes(typeChecker.getTypeArgumentConstraint(grandParent)).filter(function (t) { return !ts.contains(alreadyUsedTypes_1, t.value); });
+                                var alreadyUsedTypes_1 = getAlreadyUsedTypesInStringLiteralUnion(grandParent_1, parent);
+                                var types = getStringLiteralTypes(typeChecker.getTypeArgumentConstraint(grandParent_1)).filter(function (t) { return !ts.contains(alreadyUsedTypes_1, t.value); });
                                 return { kind: 2 /* Types */, types: types, isNewIdentifier: false };
                             }
                             default:
@@ -159781,7 +159787,7 @@ var ts;
                     // If there is more than one overload but no implementation signature
                     // (eg: an abstract method or interface declaration), there is a 1-1
                     // correspondence of declarations and signatures.
-                    var signatures = checker.getSignaturesOfType(type, 0 /* Call */);
+                    var signatures = type.isUnion() ? ts.flatMap(type.types, function (t) { return t.getCallSignatures(); }) : type.getCallSignatures();
                     if (!ts.some(signatures)) {
                         break;
                     }

package/lib/typescript.js

@@ -294,7 +294,7 @@ var ts;
     // The following is baselined as a literal template type without intervention
     /** The version of the TypeScript compiler release */
     // eslint-disable-next-line @typescript-eslint/no-inferrable-types
-    ts.version = ts.versionMajorMinor + ".0-dev.20220718";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220719";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -59379,6 +59379,9 @@ var ts;
                     else if (type.objectFlags & 32 /* Mapped */) {
                         resolveMappedTypeMembers(type);
                     }
+                    else {
+                        ts.Debug.fail("Unhandled object type " + ts.Debug.formatObjectFlags(type.objectFlags));
+                    }
                 }
                 else if (type.flags & 1048576 /* Union */) {
                     resolveUnionTypeMembers(type);
@@ -59386,6 +59389,9 @@ var ts;
                 else if (type.flags & 2097152 /* Intersection */) {
                     resolveIntersectionTypeMembers(type);
                 }
+                else {
+                    ts.Debug.fail("Unhandled type " + ts.Debug.formatTypeFlags(type.flags));
+                }
             }
             return type;
         }
@@ -71351,7 +71357,7 @@ var ts;
                 }
                 // for (const _ in ref) acts as a nonnull on ref
                 if (ts.isVariableDeclaration(node) && node.parent.parent.kind === 243 /* ForInStatement */ && isMatchingReference(reference, node.parent.parent.expression)) {
-                    return getNonNullableTypeIfNeeded(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent)));
+                    return getNonNullableTypeIfNeeded(finalizeEvolvingArrayType(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent))));
                 }
                 // Assignment doesn't affect reference
                 return undefined;
@@ -79356,7 +79362,7 @@ var ts;
                         error(node.operand, ts.Diagnostics.The_0_operator_cannot_be_applied_to_type_symbol, ts.tokenToString(node.operator));
                     }
                     if (node.operator === 39 /* PlusToken */) {
-                        if (maybeTypeOfKind(operandType, 2112 /* BigIntLike */)) {
+                        if (maybeTypeOfKindConsideringBaseConstraint(operandType, 2112 /* BigIntLike */)) {
                             error(node.operand, ts.Diagnostics.Operator_0_cannot_be_applied_to_type_1, ts.tokenToString(node.operator), typeToString(getBaseTypeOfLiteralType(operandType)));
                         }
                         return numberType;
@@ -133132,11 +133138,11 @@ var ts;
                 var parent = walkUpParentheses(node.parent);
                 switch (parent.kind) {
                     case 196 /* LiteralType */: {
-                        var grandParent = walkUpParentheses(parent.parent);
-                        switch (grandParent.kind) {
+                        var grandParent_1 = walkUpParentheses(parent.parent);
+                        switch (grandParent_1.kind) {
+                            case 228 /* ExpressionWithTypeArguments */:
                             case 178 /* TypeReference */: {
-                                var typeReference_1 = grandParent;
-                                var typeArgument = ts.findAncestor(parent, function (n) { return n.parent === typeReference_1; });
+                                var typeArgument = ts.findAncestor(parent, function (n) { return n.parent === grandParent_1; });
                                 if (typeArgument) {
                                     return { kind: 2 /* Types */, types: getStringLiteralTypes(typeChecker.getTypeArgumentConstraint(typeArgument)), isNewIdentifier: false };
                                 }
@@ -133149,7 +133155,7 @@ var ts;
                                 //          bar: string;
                                 //      }
                                 //      let x: Foo["/*completion position*/"]
-                                var _a = grandParent, indexType = _a.indexType, objectType = _a.objectType;
+                                var _a = grandParent_1, indexType = _a.indexType, objectType = _a.objectType;
                                 if (!ts.rangeContainsPosition(indexType, position)) {
                                     return undefined;
                                 }
@@ -133157,11 +133163,11 @@ var ts;
                             case 200 /* ImportType */:
                                 return { kind: 0 /* Paths */, paths: getStringLiteralCompletionsFromModuleNames(sourceFile, node, compilerOptions, host, typeChecker, preferences) };
                             case 187 /* UnionType */: {
-                                if (!ts.isTypeReferenceNode(grandParent.parent)) {
+                                if (!ts.isTypeReferenceNode(grandParent_1.parent)) {
                                     return undefined;
                                 }
-                                var alreadyUsedTypes_1 = getAlreadyUsedTypesInStringLiteralUnion(grandParent, parent);
-                                var types = getStringLiteralTypes(typeChecker.getTypeArgumentConstraint(grandParent)).filter(function (t) { return !ts.contains(alreadyUsedTypes_1, t.value); });
+                                var alreadyUsedTypes_1 = getAlreadyUsedTypesInStringLiteralUnion(grandParent_1, parent);
+                                var types = getStringLiteralTypes(typeChecker.getTypeArgumentConstraint(grandParent_1)).filter(function (t) { return !ts.contains(alreadyUsedTypes_1, t.value); });
                                 return { kind: 2 /* Types */, types: types, isNewIdentifier: false };
                             }
                             default:
@@ -159772,7 +159778,7 @@ var ts;
                     // If there is more than one overload but no implementation signature
                     // (eg: an abstract method or interface declaration), there is a 1-1
                     // correspondence of declarations and signatures.
-                    var signatures = checker.getSignaturesOfType(type, 0 /* Call */);
+                    var signatures = type.isUnion() ? ts.flatMap(type.types, function (t) { return t.getCallSignatures(); }) : type.getCallSignatures();
                     if (!ts.some(signatures)) {
                         break;
                     }

package/lib/typescriptServices.js

@@ -294,7 +294,7 @@ var ts;
     // The following is baselined as a literal template type without intervention
     /** The version of the TypeScript compiler release */
     // eslint-disable-next-line @typescript-eslint/no-inferrable-types
-    ts.version = ts.versionMajorMinor + ".0-dev.20220718";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220719";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -59379,6 +59379,9 @@ var ts;
                     else if (type.objectFlags & 32 /* Mapped */) {
                         resolveMappedTypeMembers(type);
                     }
+                    else {
+                        ts.Debug.fail("Unhandled object type " + ts.Debug.formatObjectFlags(type.objectFlags));
+                    }
                 }
                 else if (type.flags & 1048576 /* Union */) {
                     resolveUnionTypeMembers(type);
@@ -59386,6 +59389,9 @@ var ts;
                 else if (type.flags & 2097152 /* Intersection */) {
                     resolveIntersectionTypeMembers(type);
                 }
+                else {
+                    ts.Debug.fail("Unhandled type " + ts.Debug.formatTypeFlags(type.flags));
+                }
             }
             return type;
         }
@@ -71351,7 +71357,7 @@ var ts;
                 }
                 // for (const _ in ref) acts as a nonnull on ref
                 if (ts.isVariableDeclaration(node) && node.parent.parent.kind === 243 /* ForInStatement */ && isMatchingReference(reference, node.parent.parent.expression)) {
-                    return getNonNullableTypeIfNeeded(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent)));
+                    return getNonNullableTypeIfNeeded(finalizeEvolvingArrayType(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent))));
                 }
                 // Assignment doesn't affect reference
                 return undefined;
@@ -79356,7 +79362,7 @@ var ts;
                         error(node.operand, ts.Diagnostics.The_0_operator_cannot_be_applied_to_type_symbol, ts.tokenToString(node.operator));
                     }
                     if (node.operator === 39 /* PlusToken */) {
-                        if (maybeTypeOfKind(operandType, 2112 /* BigIntLike */)) {
+                        if (maybeTypeOfKindConsideringBaseConstraint(operandType, 2112 /* BigIntLike */)) {
                             error(node.operand, ts.Diagnostics.Operator_0_cannot_be_applied_to_type_1, ts.tokenToString(node.operator), typeToString(getBaseTypeOfLiteralType(operandType)));
                         }
                         return numberType;
@@ -133132,11 +133138,11 @@ var ts;
                 var parent = walkUpParentheses(node.parent);
                 switch (parent.kind) {
                     case 196 /* LiteralType */: {
-                        var grandParent = walkUpParentheses(parent.parent);
-                        switch (grandParent.kind) {
+                        var grandParent_1 = walkUpParentheses(parent.parent);
+                        switch (grandParent_1.kind) {
+                            case 228 /* ExpressionWithTypeArguments */:
                             case 178 /* TypeReference */: {
-                                var typeReference_1 = grandParent;
-                                var typeArgument = ts.findAncestor(parent, function (n) { return n.parent === typeReference_1; });
+                                var typeArgument = ts.findAncestor(parent, function (n) { return n.parent === grandParent_1; });
                                 if (typeArgument) {
                                     return { kind: 2 /* Types */, types: getStringLiteralTypes(typeChecker.getTypeArgumentConstraint(typeArgument)), isNewIdentifier: false };
                                 }
@@ -133149,7 +133155,7 @@ var ts;
                                 //          bar: string;
                                 //      }
                                 //      let x: Foo["/*completion position*/"]
-                                var _a = grandParent, indexType = _a.indexType, objectType = _a.objectType;
+                                var _a = grandParent_1, indexType = _a.indexType, objectType = _a.objectType;
                                 if (!ts.rangeContainsPosition(indexType, position)) {
                                     return undefined;
                                 }
@@ -133157,11 +133163,11 @@ var ts;
                             case 200 /* ImportType */:
                                 return { kind: 0 /* Paths */, paths: getStringLiteralCompletionsFromModuleNames(sourceFile, node, compilerOptions, host, typeChecker, preferences) };
                             case 187 /* UnionType */: {
-                                if (!ts.isTypeReferenceNode(grandParent.parent)) {
+                                if (!ts.isTypeReferenceNode(grandParent_1.parent)) {
                                     return undefined;
                                 }
-                                var alreadyUsedTypes_1 = getAlreadyUsedTypesInStringLiteralUnion(grandParent, parent);
-                                var types = getStringLiteralTypes(typeChecker.getTypeArgumentConstraint(grandParent)).filter(function (t) { return !ts.contains(alreadyUsedTypes_1, t.value); });
+                                var alreadyUsedTypes_1 = getAlreadyUsedTypesInStringLiteralUnion(grandParent_1, parent);
+                                var types = getStringLiteralTypes(typeChecker.getTypeArgumentConstraint(grandParent_1)).filter(function (t) { return !ts.contains(alreadyUsedTypes_1, t.value); });
                                 return { kind: 2 /* Types */, types: types, isNewIdentifier: false };
                             }
                             default:
@@ -159772,7 +159778,7 @@ var ts;
                     // If there is more than one overload but no implementation signature
                     // (eg: an abstract method or interface declaration), there is a 1-1
                     // correspondence of declarations and signatures.
-                    var signatures = checker.getSignaturesOfType(type, 0 /* Call */);
+                    var signatures = type.isUnion() ? ts.flatMap(type.types, function (t) { return t.getCallSignatures(); }) : type.getCallSignatures();
                     if (!ts.some(signatures)) {
                         break;
                     }

package/lib/typingsInstaller.js

@@ -89,7 +89,7 @@ var ts;
     // The following is baselined as a literal template type without intervention
     /** The version of the TypeScript compiler release */
     // eslint-disable-next-line @typescript-eslint/no-inferrable-types
-    ts.version = ts.versionMajorMinor + ".0-dev.20220718";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220719";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -59174,6 +59174,9 @@ var ts;
                     else if (type.objectFlags & 32 /* Mapped */) {
                         resolveMappedTypeMembers(type);
                     }
+                    else {
+                        ts.Debug.fail("Unhandled object type " + ts.Debug.formatObjectFlags(type.objectFlags));
+                    }
                 }
                 else if (type.flags & 1048576 /* Union */) {
                     resolveUnionTypeMembers(type);
@@ -59181,6 +59184,9 @@ var ts;
                 else if (type.flags & 2097152 /* Intersection */) {
                     resolveIntersectionTypeMembers(type);
                 }
+                else {
+                    ts.Debug.fail("Unhandled type " + ts.Debug.formatTypeFlags(type.flags));
+                }
             }
             return type;
         }
@@ -71146,7 +71152,7 @@ var ts;
                 }
                 // for (const _ in ref) acts as a nonnull on ref
                 if (ts.isVariableDeclaration(node) && node.parent.parent.kind === 243 /* ForInStatement */ && isMatchingReference(reference, node.parent.parent.expression)) {
-                    return getNonNullableTypeIfNeeded(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent)));
+                    return getNonNullableTypeIfNeeded(finalizeEvolvingArrayType(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent))));
                 }
                 // Assignment doesn't affect reference
                 return undefined;
@@ -79151,7 +79157,7 @@ var ts;
                         error(node.operand, ts.Diagnostics.The_0_operator_cannot_be_applied_to_type_symbol, ts.tokenToString(node.operator));
                     }
                     if (node.operator === 39 /* PlusToken */) {
-                        if (maybeTypeOfKind(operandType, 2112 /* BigIntLike */)) {
+                        if (maybeTypeOfKindConsideringBaseConstraint(operandType, 2112 /* BigIntLike */)) {
                             error(node.operand, ts.Diagnostics.Operator_0_cannot_be_applied_to_type_1, ts.tokenToString(node.operator), typeToString(getBaseTypeOfLiteralType(operandType)));
                         }
                         return numberType;

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "4.8.0-dev.20220718",
+    "version": "4.8.0-dev.20220719",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [