typescript 4.8.0-dev.20220621 → 4.8.0-dev.20220624

package/lib/lib.es2017.intl.d.ts

@@ -19,7 +19,22 @@ and limitations under the License.
 
 
 declare namespace Intl {
-    type DateTimeFormatPartTypes = "day" | "dayPeriod" | "era" | "hour" | "literal" | "minute" | "month" | "second" | "timeZoneName" | "weekday" | "year";
+
+    interface DateTimeFormatPartTypesRegistry {
+        day: any
+        dayPeriod: any
+        era: any
+        hour: any
+        literal: any
+        minute: any
+        month: any
+        second: any
+        timeZoneName: any
+        weekday: any
+        year: any
+    }
+
+    type DateTimeFormatPartTypes = keyof DateTimeFormatPartTypesRegistry;
 
     interface DateTimeFormatPart {
         type: DateTimeFormatPartTypes;

package/lib/lib.es2021.intl.d.ts

@@ -20,6 +20,10 @@ and limitations under the License.
 
 declare namespace Intl {
 
+    interface DateTimeFormatPartTypesRegistry {
+        fractionalSecond: any
+     }
+
     interface DateTimeFormatOptions {
         formatMatcher?: "basic" | "best fit" | "best fit" | undefined;
         dateStyle?: "full" | "long" | "medium" | "short" | undefined;

package/lib/lib.es5.d.ts

@@ -933,12 +933,24 @@ interface DateConstructor {
 declare var Date: DateConstructor;
 
 interface RegExpMatchArray extends Array<string> {
+    /**
+     * The index of the search at which the result was found.
+     */
     index?: number;
+    /**
+     * A copy of the search string.
+     */
     input?: string;
 }
 
 interface RegExpExecArray extends Array<string> {
+    /**
+     * The index of the search at which the result was found.
+     */
     index: number;
+    /**
+     * A copy of the search string.
+     */
     input: string;
 }
 

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.20220621";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220624";
     var NativeCollections;
     (function (NativeCollections) {
         var globals = typeof globalThis !== "undefined" ? globalThis :
@@ -40238,6 +40238,9 @@ var ts;
         var markerSubType = createTypeParameter();
         markerSubType.constraint = markerSuperType;
         var markerOtherType = createTypeParameter();
+        var markerSuperTypeForCheck = createTypeParameter();
+        var markerSubTypeForCheck = createTypeParameter();
+        markerSubTypeForCheck.constraint = markerSuperTypeForCheck;
         var noTypePredicate = createTypePredicate(1, "<<unresolved>>", 0, anyType);
         var anySignature = createSignature(undefined, undefined, undefined, ts.emptyArray, anyType, undefined, 0, 0);
         var unknownSignature = createSignature(undefined, undefined, undefined, ts.emptyArray, errorType, undefined, 0, 0);
@@ -43595,8 +43598,8 @@ var ts;
                     if (type.symbol) {
                         return symbolToTypeNode(type.symbol, context, 788968);
                     }
-                    var name = (type === markerSuperType || type === markerSubType) && varianceTypeParameter && varianceTypeParameter.symbol ?
-                        (type === markerSubType ? "sub-" : "super-") + ts.symbolName(varianceTypeParameter.symbol) : "?";
+                    var name = (type === markerSuperTypeForCheck || type === markerSubTypeForCheck) && varianceTypeParameter && varianceTypeParameter.symbol ?
+                        (type === markerSubTypeForCheck ? "sub-" : "super-") + ts.symbolName(varianceTypeParameter.symbol) : "?";
                     return ts.factory.createTypeReferenceNode(ts.factory.createIdentifier(name), undefined);
                 }
                 if (type.flags & 1048576 && type.origin) {
@@ -53828,7 +53831,7 @@ var ts;
             });
         }
         function elaborateArrayLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-            if (target.flags & 131068)
+            if (target.flags & (131068 | 131072))
                 return false;
             if (isTupleLikeType(source)) {
                 return elaborateElementwise(generateLimitedTupleElements(node, target), source, target, relation, containingMessageChain, errorOutputContainer);
@@ -53893,7 +53896,7 @@ var ts;
             });
         }
         function elaborateObjectLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-            if (target.flags & 131068)
+            if (target.flags & (131068 | 131072))
                 return false;
             return elaborateElementwise(generateObjectLiteralElements(node), source, target, relation, containingMessageChain, errorOutputContainer);
         }
@@ -54431,7 +54434,7 @@ var ts;
                     ts.Debug.assert(!isTypeAssignableTo(generalizedSource, target), "generalized source shouldn't be assignable");
                     generalizedSourceType = getTypeNameForErrorDisplay(generalizedSource);
                 }
-                if (target.flags & 262144 && target !== markerSuperType && target !== markerSubType) {
+                if (target.flags & 262144 && target !== markerSuperTypeForCheck && target !== markerSubTypeForCheck) {
                     var constraint = getBaseConstraintOfType(target);
                     var needsOriginalSource = void 0;
                     if (constraint && (isTypeAssignableTo(generalizedSource, constraint) || (needsOriginalSource = isTypeAssignableTo(source, constraint)))) {
@@ -64069,6 +64072,8 @@ var ts;
             if (result) {
                 return result;
             }
+            result = getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
+            getNodeLinks(node).resolvedSignature = result;
             if (reportErrors) {
                 if (candidatesForArgumentError) {
                     if (candidatesForArgumentError.length === 1 || candidatesForArgumentError.length > 3) {
@@ -64154,7 +64159,7 @@ var ts;
                     }
                 }
             }
-            return getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
+            return result;
             function addImplementationSuccessElaboration(failed, diagnostic) {
                 var _a, _b;
                 var oldCandidatesForArgumentError = candidatesForArgumentError;
@@ -67539,8 +67544,8 @@ var ts;
                         error(node, ts.Diagnostics.Variance_annotations_are_only_supported_in_type_aliases_for_object_function_constructor_and_mapped_types);
                     }
                     else if (modifiers === 32768 || modifiers === 65536) {
-                        var source = createMarkerType(symbol, typeParameter, modifiers === 65536 ? markerSubType : markerSuperType);
-                        var target = createMarkerType(symbol, typeParameter, modifiers === 65536 ? markerSuperType : markerSubType);
+                        var source = createMarkerType(symbol, typeParameter, modifiers === 65536 ? markerSubTypeForCheck : markerSuperTypeForCheck);
+                        var target = createMarkerType(symbol, typeParameter, modifiers === 65536 ? markerSuperTypeForCheck : markerSubTypeForCheck);
                         var saveVarianceTypeParameter = typeParameter;
                         varianceTypeParameter = typeParameter;
                         checkTypeAssignableTo(source, target, node, ts.Diagnostics.Type_0_is_not_assignable_to_type_1_as_implied_by_variance_annotation);

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.20220621";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220624";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -49109,6 +49109,9 @@ var ts;
         var markerSubType = createTypeParameter();
         markerSubType.constraint = markerSuperType;
         var markerOtherType = createTypeParameter();
+        var markerSuperTypeForCheck = createTypeParameter();
+        var markerSubTypeForCheck = createTypeParameter();
+        markerSubTypeForCheck.constraint = markerSuperTypeForCheck;
         var noTypePredicate = createTypePredicate(1 /* Identifier */, "<<unresolved>>", 0, anyType);
         var anySignature = createSignature(undefined, undefined, undefined, ts.emptyArray, anyType, /*resolvedTypePredicate*/ undefined, 0, 0 /* None */);
         var unknownSignature = createSignature(undefined, undefined, undefined, ts.emptyArray, errorType, /*resolvedTypePredicate*/ undefined, 0, 0 /* None */);
@@ -52945,8 +52948,8 @@ var ts;
                     if (type.symbol) {
                         return symbolToTypeNode(type.symbol, context, 788968 /* Type */);
                     }
-                    var name = (type === markerSuperType || type === markerSubType) && varianceTypeParameter && varianceTypeParameter.symbol ?
-                        (type === markerSubType ? "sub-" : "super-") + ts.symbolName(varianceTypeParameter.symbol) : "?";
+                    var name = (type === markerSuperTypeForCheck || type === markerSubTypeForCheck) && varianceTypeParameter && varianceTypeParameter.symbol ?
+                        (type === markerSubTypeForCheck ? "sub-" : "super-") + ts.symbolName(varianceTypeParameter.symbol) : "?";
                     return ts.factory.createTypeReferenceNode(ts.factory.createIdentifier(name), /*typeArguments*/ undefined);
                 }
                 if (type.flags & 1048576 /* Union */ && type.origin) {
@@ -64627,7 +64630,7 @@ var ts;
             });
         }
         function elaborateArrayLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-            if (target.flags & 131068 /* Primitive */)
+            if (target.flags & (131068 /* Primitive */ | 131072 /* Never */))
                 return false;
             if (isTupleLikeType(source)) {
                 return elaborateElementwise(generateLimitedTupleElements(node, target), source, target, relation, containingMessageChain, errorOutputContainer);
@@ -64694,7 +64697,7 @@ var ts;
             });
         }
         function elaborateObjectLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-            if (target.flags & 131068 /* Primitive */)
+            if (target.flags & (131068 /* Primitive */ | 131072 /* Never */))
                 return false;
             return elaborateElementwise(generateObjectLiteralElements(node), source, target, relation, containingMessageChain, errorOutputContainer);
         }
@@ -65293,7 +65296,7 @@ var ts;
                     ts.Debug.assert(!isTypeAssignableTo(generalizedSource, target), "generalized source shouldn't be assignable");
                     generalizedSourceType = getTypeNameForErrorDisplay(generalizedSource);
                 }
-                if (target.flags & 262144 /* TypeParameter */ && target !== markerSuperType && target !== markerSubType) {
+                if (target.flags & 262144 /* TypeParameter */ && target !== markerSuperTypeForCheck && target !== markerSubTypeForCheck) {
                     var constraint = getBaseConstraintOfType(target);
                     var needsOriginalSource = void 0;
                     if (constraint && (isTypeAssignableTo(generalizedSource, constraint) || (needsOriginalSource = isTypeAssignableTo(source, constraint)))) {
@@ -76640,6 +76643,15 @@ var ts;
             if (result) {
                 return result;
             }
+            result = getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
+            // Preemptively cache the result; getResolvedSignature will do this after we return, but
+            // we need to ensure that the result is present for the error checks below so that if
+            // this signature is encountered again, we handle the circularity (rather than producing a
+            // different result which may produce no errors and assert). Callers of getResolvedSignature
+            // don't hit this issue because they only observe this result after it's had a chance to
+            // be cached, but the error reporting code below executes before getResolvedSignature sets
+            // resolvedSignature.
+            getNodeLinks(node).resolvedSignature = result;
             // No signatures were applicable. Now report errors based on the last applicable signature with
             // no arguments excluded from assignability checks.
             // If candidate is undefined, it means that no candidates had a suitable arity. In that case,
@@ -76731,7 +76743,7 @@ var ts;
                     }
                 }
             }
-            return getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
+            return result;
             function addImplementationSuccessElaboration(failed, diagnostic) {
                 var _a, _b;
                 var oldCandidatesForArgumentError = candidatesForArgumentError;
@@ -80534,8 +80546,8 @@ var ts;
                         error(node, ts.Diagnostics.Variance_annotations_are_only_supported_in_type_aliases_for_object_function_constructor_and_mapped_types);
                     }
                     else if (modifiers === 32768 /* In */ || modifiers === 65536 /* Out */) {
-                        var source = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSubType : markerSuperType);
-                        var target = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSuperType : markerSubType);
+                        var source = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSubTypeForCheck : markerSuperTypeForCheck);
+                        var target = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSuperTypeForCheck : markerSubTypeForCheck);
                         var saveVarianceTypeParameter = typeParameter;
                         varianceTypeParameter = typeParameter;
                         checkTypeAssignableTo(source, target, node, ts.Diagnostics.Type_0_is_not_assignable_to_type_1_as_implied_by_variance_annotation);
@@ -129769,7 +129781,7 @@ var ts;
             for (var _b = 0, textChanges_1 = textChanges_2; _b < textChanges_1.length; _b++) {
                 var change = textChanges_1[_b];
                 var span = change.span, newText = change.newText;
-                var index = indexInTextChange(newText, name);
+                var index = indexInTextChange(newText, ts.escapeString(name));
                 if (index !== -1) {
                     lastPos = span.start + delta + index;
                     // If the reference comes first, return immediately.

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.20220621";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220624";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -49303,6 +49303,9 @@ var ts;
         var markerSubType = createTypeParameter();
         markerSubType.constraint = markerSuperType;
         var markerOtherType = createTypeParameter();
+        var markerSuperTypeForCheck = createTypeParameter();
+        var markerSubTypeForCheck = createTypeParameter();
+        markerSubTypeForCheck.constraint = markerSuperTypeForCheck;
         var noTypePredicate = createTypePredicate(1 /* Identifier */, "<<unresolved>>", 0, anyType);
         var anySignature = createSignature(undefined, undefined, undefined, ts.emptyArray, anyType, /*resolvedTypePredicate*/ undefined, 0, 0 /* None */);
         var unknownSignature = createSignature(undefined, undefined, undefined, ts.emptyArray, errorType, /*resolvedTypePredicate*/ undefined, 0, 0 /* None */);
@@ -53139,8 +53142,8 @@ var ts;
                     if (type.symbol) {
                         return symbolToTypeNode(type.symbol, context, 788968 /* Type */);
                     }
-                    var name = (type === markerSuperType || type === markerSubType) && varianceTypeParameter && varianceTypeParameter.symbol ?
-                        (type === markerSubType ? "sub-" : "super-") + ts.symbolName(varianceTypeParameter.symbol) : "?";
+                    var name = (type === markerSuperTypeForCheck || type === markerSubTypeForCheck) && varianceTypeParameter && varianceTypeParameter.symbol ?
+                        (type === markerSubTypeForCheck ? "sub-" : "super-") + ts.symbolName(varianceTypeParameter.symbol) : "?";
                     return ts.factory.createTypeReferenceNode(ts.factory.createIdentifier(name), /*typeArguments*/ undefined);
                 }
                 if (type.flags & 1048576 /* Union */ && type.origin) {
@@ -64821,7 +64824,7 @@ var ts;
             });
         }
         function elaborateArrayLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-            if (target.flags & 131068 /* Primitive */)
+            if (target.flags & (131068 /* Primitive */ | 131072 /* Never */))
                 return false;
             if (isTupleLikeType(source)) {
                 return elaborateElementwise(generateLimitedTupleElements(node, target), source, target, relation, containingMessageChain, errorOutputContainer);
@@ -64888,7 +64891,7 @@ var ts;
             });
         }
         function elaborateObjectLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-            if (target.flags & 131068 /* Primitive */)
+            if (target.flags & (131068 /* Primitive */ | 131072 /* Never */))
                 return false;
             return elaborateElementwise(generateObjectLiteralElements(node), source, target, relation, containingMessageChain, errorOutputContainer);
         }
@@ -65487,7 +65490,7 @@ var ts;
                     ts.Debug.assert(!isTypeAssignableTo(generalizedSource, target), "generalized source shouldn't be assignable");
                     generalizedSourceType = getTypeNameForErrorDisplay(generalizedSource);
                 }
-                if (target.flags & 262144 /* TypeParameter */ && target !== markerSuperType && target !== markerSubType) {
+                if (target.flags & 262144 /* TypeParameter */ && target !== markerSuperTypeForCheck && target !== markerSubTypeForCheck) {
                     var constraint = getBaseConstraintOfType(target);
                     var needsOriginalSource = void 0;
                     if (constraint && (isTypeAssignableTo(generalizedSource, constraint) || (needsOriginalSource = isTypeAssignableTo(source, constraint)))) {
@@ -76834,6 +76837,15 @@ var ts;
             if (result) {
                 return result;
             }
+            result = getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
+            // Preemptively cache the result; getResolvedSignature will do this after we return, but
+            // we need to ensure that the result is present for the error checks below so that if
+            // this signature is encountered again, we handle the circularity (rather than producing a
+            // different result which may produce no errors and assert). Callers of getResolvedSignature
+            // don't hit this issue because they only observe this result after it's had a chance to
+            // be cached, but the error reporting code below executes before getResolvedSignature sets
+            // resolvedSignature.
+            getNodeLinks(node).resolvedSignature = result;
             // No signatures were applicable. Now report errors based on the last applicable signature with
             // no arguments excluded from assignability checks.
             // If candidate is undefined, it means that no candidates had a suitable arity. In that case,
@@ -76925,7 +76937,7 @@ var ts;
                     }
                 }
             }
-            return getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
+            return result;
             function addImplementationSuccessElaboration(failed, diagnostic) {
                 var _a, _b;
                 var oldCandidatesForArgumentError = candidatesForArgumentError;
@@ -80728,8 +80740,8 @@ var ts;
                         error(node, ts.Diagnostics.Variance_annotations_are_only_supported_in_type_aliases_for_object_function_constructor_and_mapped_types);
                     }
                     else if (modifiers === 32768 /* In */ || modifiers === 65536 /* Out */) {
-                        var source = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSubType : markerSuperType);
-                        var target = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSuperType : markerSubType);
+                        var source = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSubTypeForCheck : markerSuperTypeForCheck);
+                        var target = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSuperTypeForCheck : markerSubTypeForCheck);
                         var saveVarianceTypeParameter = typeParameter;
                         varianceTypeParameter = typeParameter;
                         checkTypeAssignableTo(source, target, node, ts.Diagnostics.Type_0_is_not_assignable_to_type_1_as_implied_by_variance_annotation);
@@ -130382,7 +130394,7 @@ var ts;
             for (var _b = 0, textChanges_1 = textChanges_2; _b < textChanges_1.length; _b++) {
                 var change = textChanges_1[_b];
                 var span = change.span, newText = change.newText;
-                var index = indexInTextChange(newText, name);
+                var index = indexInTextChange(newText, ts.escapeString(name));
                 if (index !== -1) {
                     lastPos = span.start + delta + index;
                     // If the reference comes first, return immediately.

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.20220621";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220624";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -49294,6 +49294,9 @@ var ts;
         var markerSubType = createTypeParameter();
         markerSubType.constraint = markerSuperType;
         var markerOtherType = createTypeParameter();
+        var markerSuperTypeForCheck = createTypeParameter();
+        var markerSubTypeForCheck = createTypeParameter();
+        markerSubTypeForCheck.constraint = markerSuperTypeForCheck;
         var noTypePredicate = createTypePredicate(1 /* Identifier */, "<<unresolved>>", 0, anyType);
         var anySignature = createSignature(undefined, undefined, undefined, ts.emptyArray, anyType, /*resolvedTypePredicate*/ undefined, 0, 0 /* None */);
         var unknownSignature = createSignature(undefined, undefined, undefined, ts.emptyArray, errorType, /*resolvedTypePredicate*/ undefined, 0, 0 /* None */);
@@ -53130,8 +53133,8 @@ var ts;
                     if (type.symbol) {
                         return symbolToTypeNode(type.symbol, context, 788968 /* Type */);
                     }
-                    var name = (type === markerSuperType || type === markerSubType) && varianceTypeParameter && varianceTypeParameter.symbol ?
-                        (type === markerSubType ? "sub-" : "super-") + ts.symbolName(varianceTypeParameter.symbol) : "?";
+                    var name = (type === markerSuperTypeForCheck || type === markerSubTypeForCheck) && varianceTypeParameter && varianceTypeParameter.symbol ?
+                        (type === markerSubTypeForCheck ? "sub-" : "super-") + ts.symbolName(varianceTypeParameter.symbol) : "?";
                     return ts.factory.createTypeReferenceNode(ts.factory.createIdentifier(name), /*typeArguments*/ undefined);
                 }
                 if (type.flags & 1048576 /* Union */ && type.origin) {
@@ -64812,7 +64815,7 @@ var ts;
             });
         }
         function elaborateArrayLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-            if (target.flags & 131068 /* Primitive */)
+            if (target.flags & (131068 /* Primitive */ | 131072 /* Never */))
                 return false;
             if (isTupleLikeType(source)) {
                 return elaborateElementwise(generateLimitedTupleElements(node, target), source, target, relation, containingMessageChain, errorOutputContainer);
@@ -64879,7 +64882,7 @@ var ts;
             });
         }
         function elaborateObjectLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-            if (target.flags & 131068 /* Primitive */)
+            if (target.flags & (131068 /* Primitive */ | 131072 /* Never */))
                 return false;
             return elaborateElementwise(generateObjectLiteralElements(node), source, target, relation, containingMessageChain, errorOutputContainer);
         }
@@ -65478,7 +65481,7 @@ var ts;
                     ts.Debug.assert(!isTypeAssignableTo(generalizedSource, target), "generalized source shouldn't be assignable");
                     generalizedSourceType = getTypeNameForErrorDisplay(generalizedSource);
                 }
-                if (target.flags & 262144 /* TypeParameter */ && target !== markerSuperType && target !== markerSubType) {
+                if (target.flags & 262144 /* TypeParameter */ && target !== markerSuperTypeForCheck && target !== markerSubTypeForCheck) {
                     var constraint = getBaseConstraintOfType(target);
                     var needsOriginalSource = void 0;
                     if (constraint && (isTypeAssignableTo(generalizedSource, constraint) || (needsOriginalSource = isTypeAssignableTo(source, constraint)))) {
@@ -76825,6 +76828,15 @@ var ts;
             if (result) {
                 return result;
             }
+            result = getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
+            // Preemptively cache the result; getResolvedSignature will do this after we return, but
+            // we need to ensure that the result is present for the error checks below so that if
+            // this signature is encountered again, we handle the circularity (rather than producing a
+            // different result which may produce no errors and assert). Callers of getResolvedSignature
+            // don't hit this issue because they only observe this result after it's had a chance to
+            // be cached, but the error reporting code below executes before getResolvedSignature sets
+            // resolvedSignature.
+            getNodeLinks(node).resolvedSignature = result;
             // No signatures were applicable. Now report errors based on the last applicable signature with
             // no arguments excluded from assignability checks.
             // If candidate is undefined, it means that no candidates had a suitable arity. In that case,
@@ -76916,7 +76928,7 @@ var ts;
                     }
                 }
             }
-            return getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
+            return result;
             function addImplementationSuccessElaboration(failed, diagnostic) {
                 var _a, _b;
                 var oldCandidatesForArgumentError = candidatesForArgumentError;
@@ -80719,8 +80731,8 @@ var ts;
                         error(node, ts.Diagnostics.Variance_annotations_are_only_supported_in_type_aliases_for_object_function_constructor_and_mapped_types);
                     }
                     else if (modifiers === 32768 /* In */ || modifiers === 65536 /* Out */) {
-                        var source = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSubType : markerSuperType);
-                        var target = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSuperType : markerSubType);
+                        var source = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSubTypeForCheck : markerSuperTypeForCheck);
+                        var target = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSuperTypeForCheck : markerSubTypeForCheck);
                         var saveVarianceTypeParameter = typeParameter;
                         varianceTypeParameter = typeParameter;
                         checkTypeAssignableTo(source, target, node, ts.Diagnostics.Type_0_is_not_assignable_to_type_1_as_implied_by_variance_annotation);
@@ -130373,7 +130385,7 @@ var ts;
             for (var _b = 0, textChanges_1 = textChanges_2; _b < textChanges_1.length; _b++) {
                 var change = textChanges_1[_b];
                 var span = change.span, newText = change.newText;
-                var index = indexInTextChange(newText, name);
+                var index = indexInTextChange(newText, ts.escapeString(name));
                 if (index !== -1) {
                     lastPos = span.start + delta + index;
                     // If the reference comes first, return immediately.

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.20220621";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220624";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -49294,6 +49294,9 @@ var ts;
         var markerSubType = createTypeParameter();
         markerSubType.constraint = markerSuperType;
         var markerOtherType = createTypeParameter();
+        var markerSuperTypeForCheck = createTypeParameter();
+        var markerSubTypeForCheck = createTypeParameter();
+        markerSubTypeForCheck.constraint = markerSuperTypeForCheck;
         var noTypePredicate = createTypePredicate(1 /* Identifier */, "<<unresolved>>", 0, anyType);
         var anySignature = createSignature(undefined, undefined, undefined, ts.emptyArray, anyType, /*resolvedTypePredicate*/ undefined, 0, 0 /* None */);
         var unknownSignature = createSignature(undefined, undefined, undefined, ts.emptyArray, errorType, /*resolvedTypePredicate*/ undefined, 0, 0 /* None */);
@@ -53130,8 +53133,8 @@ var ts;
                     if (type.symbol) {
                         return symbolToTypeNode(type.symbol, context, 788968 /* Type */);
                     }
-                    var name = (type === markerSuperType || type === markerSubType) && varianceTypeParameter && varianceTypeParameter.symbol ?
-                        (type === markerSubType ? "sub-" : "super-") + ts.symbolName(varianceTypeParameter.symbol) : "?";
+                    var name = (type === markerSuperTypeForCheck || type === markerSubTypeForCheck) && varianceTypeParameter && varianceTypeParameter.symbol ?
+                        (type === markerSubTypeForCheck ? "sub-" : "super-") + ts.symbolName(varianceTypeParameter.symbol) : "?";
                     return ts.factory.createTypeReferenceNode(ts.factory.createIdentifier(name), /*typeArguments*/ undefined);
                 }
                 if (type.flags & 1048576 /* Union */ && type.origin) {
@@ -64812,7 +64815,7 @@ var ts;
             });
         }
         function elaborateArrayLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-            if (target.flags & 131068 /* Primitive */)
+            if (target.flags & (131068 /* Primitive */ | 131072 /* Never */))
                 return false;
             if (isTupleLikeType(source)) {
                 return elaborateElementwise(generateLimitedTupleElements(node, target), source, target, relation, containingMessageChain, errorOutputContainer);
@@ -64879,7 +64882,7 @@ var ts;
             });
         }
         function elaborateObjectLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-            if (target.flags & 131068 /* Primitive */)
+            if (target.flags & (131068 /* Primitive */ | 131072 /* Never */))
                 return false;
             return elaborateElementwise(generateObjectLiteralElements(node), source, target, relation, containingMessageChain, errorOutputContainer);
         }
@@ -65478,7 +65481,7 @@ var ts;
                     ts.Debug.assert(!isTypeAssignableTo(generalizedSource, target), "generalized source shouldn't be assignable");
                     generalizedSourceType = getTypeNameForErrorDisplay(generalizedSource);
                 }
-                if (target.flags & 262144 /* TypeParameter */ && target !== markerSuperType && target !== markerSubType) {
+                if (target.flags & 262144 /* TypeParameter */ && target !== markerSuperTypeForCheck && target !== markerSubTypeForCheck) {
                     var constraint = getBaseConstraintOfType(target);
                     var needsOriginalSource = void 0;
                     if (constraint && (isTypeAssignableTo(generalizedSource, constraint) || (needsOriginalSource = isTypeAssignableTo(source, constraint)))) {
@@ -76825,6 +76828,15 @@ var ts;
             if (result) {
                 return result;
             }
+            result = getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
+            // Preemptively cache the result; getResolvedSignature will do this after we return, but
+            // we need to ensure that the result is present for the error checks below so that if
+            // this signature is encountered again, we handle the circularity (rather than producing a
+            // different result which may produce no errors and assert). Callers of getResolvedSignature
+            // don't hit this issue because they only observe this result after it's had a chance to
+            // be cached, but the error reporting code below executes before getResolvedSignature sets
+            // resolvedSignature.
+            getNodeLinks(node).resolvedSignature = result;
             // No signatures were applicable. Now report errors based on the last applicable signature with
             // no arguments excluded from assignability checks.
             // If candidate is undefined, it means that no candidates had a suitable arity. In that case,
@@ -76916,7 +76928,7 @@ var ts;
                     }
                 }
             }
-            return getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
+            return result;
             function addImplementationSuccessElaboration(failed, diagnostic) {
                 var _a, _b;
                 var oldCandidatesForArgumentError = candidatesForArgumentError;
@@ -80719,8 +80731,8 @@ var ts;
                         error(node, ts.Diagnostics.Variance_annotations_are_only_supported_in_type_aliases_for_object_function_constructor_and_mapped_types);
                     }
                     else if (modifiers === 32768 /* In */ || modifiers === 65536 /* Out */) {
-                        var source = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSubType : markerSuperType);
-                        var target = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSuperType : markerSubType);
+                        var source = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSubTypeForCheck : markerSuperTypeForCheck);
+                        var target = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSuperTypeForCheck : markerSubTypeForCheck);
                         var saveVarianceTypeParameter = typeParameter;
                         varianceTypeParameter = typeParameter;
                         checkTypeAssignableTo(source, target, node, ts.Diagnostics.Type_0_is_not_assignable_to_type_1_as_implied_by_variance_annotation);
@@ -130373,7 +130385,7 @@ var ts;
             for (var _b = 0, textChanges_1 = textChanges_2; _b < textChanges_1.length; _b++) {
                 var change = textChanges_1[_b];
                 var span = change.span, newText = change.newText;
-                var index = indexInTextChange(newText, name);
+                var index = indexInTextChange(newText, ts.escapeString(name));
                 if (index !== -1) {
                     lastPos = span.start + delta + index;
                     // If the reference comes first, return immediately.

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.20220621";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220624";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -49089,6 +49089,9 @@ var ts;
         var markerSubType = createTypeParameter();
         markerSubType.constraint = markerSuperType;
         var markerOtherType = createTypeParameter();
+        var markerSuperTypeForCheck = createTypeParameter();
+        var markerSubTypeForCheck = createTypeParameter();
+        markerSubTypeForCheck.constraint = markerSuperTypeForCheck;
         var noTypePredicate = createTypePredicate(1 /* Identifier */, "<<unresolved>>", 0, anyType);
         var anySignature = createSignature(undefined, undefined, undefined, ts.emptyArray, anyType, /*resolvedTypePredicate*/ undefined, 0, 0 /* None */);
         var unknownSignature = createSignature(undefined, undefined, undefined, ts.emptyArray, errorType, /*resolvedTypePredicate*/ undefined, 0, 0 /* None */);
@@ -52925,8 +52928,8 @@ var ts;
                     if (type.symbol) {
                         return symbolToTypeNode(type.symbol, context, 788968 /* Type */);
                     }
-                    var name = (type === markerSuperType || type === markerSubType) && varianceTypeParameter && varianceTypeParameter.symbol ?
-                        (type === markerSubType ? "sub-" : "super-") + ts.symbolName(varianceTypeParameter.symbol) : "?";
+                    var name = (type === markerSuperTypeForCheck || type === markerSubTypeForCheck) && varianceTypeParameter && varianceTypeParameter.symbol ?
+                        (type === markerSubTypeForCheck ? "sub-" : "super-") + ts.symbolName(varianceTypeParameter.symbol) : "?";
                     return ts.factory.createTypeReferenceNode(ts.factory.createIdentifier(name), /*typeArguments*/ undefined);
                 }
                 if (type.flags & 1048576 /* Union */ && type.origin) {
@@ -64607,7 +64610,7 @@ var ts;
             });
         }
         function elaborateArrayLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-            if (target.flags & 131068 /* Primitive */)
+            if (target.flags & (131068 /* Primitive */ | 131072 /* Never */))
                 return false;
             if (isTupleLikeType(source)) {
                 return elaborateElementwise(generateLimitedTupleElements(node, target), source, target, relation, containingMessageChain, errorOutputContainer);
@@ -64674,7 +64677,7 @@ var ts;
             });
         }
         function elaborateObjectLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-            if (target.flags & 131068 /* Primitive */)
+            if (target.flags & (131068 /* Primitive */ | 131072 /* Never */))
                 return false;
             return elaborateElementwise(generateObjectLiteralElements(node), source, target, relation, containingMessageChain, errorOutputContainer);
         }
@@ -65273,7 +65276,7 @@ var ts;
                     ts.Debug.assert(!isTypeAssignableTo(generalizedSource, target), "generalized source shouldn't be assignable");
                     generalizedSourceType = getTypeNameForErrorDisplay(generalizedSource);
                 }
-                if (target.flags & 262144 /* TypeParameter */ && target !== markerSuperType && target !== markerSubType) {
+                if (target.flags & 262144 /* TypeParameter */ && target !== markerSuperTypeForCheck && target !== markerSubTypeForCheck) {
                     var constraint = getBaseConstraintOfType(target);
                     var needsOriginalSource = void 0;
                     if (constraint && (isTypeAssignableTo(generalizedSource, constraint) || (needsOriginalSource = isTypeAssignableTo(source, constraint)))) {
@@ -76620,6 +76623,15 @@ var ts;
             if (result) {
                 return result;
             }
+            result = getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
+            // Preemptively cache the result; getResolvedSignature will do this after we return, but
+            // we need to ensure that the result is present for the error checks below so that if
+            // this signature is encountered again, we handle the circularity (rather than producing a
+            // different result which may produce no errors and assert). Callers of getResolvedSignature
+            // don't hit this issue because they only observe this result after it's had a chance to
+            // be cached, but the error reporting code below executes before getResolvedSignature sets
+            // resolvedSignature.
+            getNodeLinks(node).resolvedSignature = result;
             // No signatures were applicable. Now report errors based on the last applicable signature with
             // no arguments excluded from assignability checks.
             // If candidate is undefined, it means that no candidates had a suitable arity. In that case,
@@ -76711,7 +76723,7 @@ var ts;
                     }
                 }
             }
-            return getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
+            return result;
             function addImplementationSuccessElaboration(failed, diagnostic) {
                 var _a, _b;
                 var oldCandidatesForArgumentError = candidatesForArgumentError;
@@ -80514,8 +80526,8 @@ var ts;
                         error(node, ts.Diagnostics.Variance_annotations_are_only_supported_in_type_aliases_for_object_function_constructor_and_mapped_types);
                     }
                     else if (modifiers === 32768 /* In */ || modifiers === 65536 /* Out */) {
-                        var source = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSubType : markerSuperType);
-                        var target = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSuperType : markerSubType);
+                        var source = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSubTypeForCheck : markerSuperTypeForCheck);
+                        var target = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSuperTypeForCheck : markerSubTypeForCheck);
                         var saveVarianceTypeParameter = typeParameter;
                         varianceTypeParameter = typeParameter;
                         checkTypeAssignableTo(source, target, node, ts.Diagnostics.Type_0_is_not_assignable_to_type_1_as_implied_by_variance_annotation);

package/package.json

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