typescript 4.8.0-dev.20220629 → 4.8.0-dev.20220630

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.20220629";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220630";
     var NativeCollections;
     (function (NativeCollections) {
         var globals = typeof globalThis !== "undefined" ? globalThis :
@@ -2667,6 +2667,22 @@ var ts;
             return wrapFunction(deprecation, func);
         }
         Debug.deprecate = deprecate;
+        function formatVariance(varianceFlags) {
+            var variance = varianceFlags & 7;
+            var result = variance === 0 ? "in out" :
+                variance === 3 ? "[bivariant]" :
+                    variance === 2 ? "in" :
+                        variance === 1 ? "out" :
+                            variance === 4 ? "[independent]" : "";
+            if (varianceFlags & 8) {
+                result += " (unmeasurable)";
+            }
+            else if (varianceFlags & 16) {
+                result += " (unreliable)";
+            }
+            return result;
+        }
+        Debug.formatVariance = formatVariance;
     })(Debug = ts.Debug || (ts.Debug = {}));
 })(ts || (ts = {}));
 var ts;
@@ -3239,9 +3255,9 @@ var ts;
             eventStack.push({ phase: phase, name: name, args: args, time: 1000 * ts.timestamp(), separateBeginAndEnd: separateBeginAndEnd });
         }
         tracingEnabled.push = push;
-        function pop() {
+        function pop(results) {
             ts.Debug.assert(eventStack.length > 0);
-            writeStackEvent(eventStack.length - 1, 1000 * ts.timestamp());
+            writeStackEvent(eventStack.length - 1, 1000 * ts.timestamp(), results);
             eventStack.length--;
         }
         tracingEnabled.pop = pop;
@@ -3254,13 +3270,14 @@ var ts;
         }
         tracingEnabled.popAll = popAll;
         var sampleInterval = 1000 * 10;
-        function writeStackEvent(index, endTime) {
+        function writeStackEvent(index, endTime, results) {
             var _a = eventStack[index], phase = _a.phase, name = _a.name, args = _a.args, time = _a.time, separateBeginAndEnd = _a.separateBeginAndEnd;
             if (separateBeginAndEnd) {
+                ts.Debug.assert(!results, "`results` are not supported for events with `separateBeginAndEnd`");
                 writeEvent("E", phase, name, args, undefined, endTime);
             }
             else if (sampleInterval - (time % sampleInterval) <= endTime - time) {
-                writeEvent("X", phase, name, args, "\"dur\":" + (endTime - time), time);
+                writeEvent("X", phase, name, __assign(__assign({}, args), { results: results }), "\"dur\":" + (endTime - time), time);
             }
         }
         function writeEvent(eventType, phase, name, args, extras, time) {
@@ -56296,7 +56313,7 @@ var ts;
                     _loop_22(tp);
                 }
                 links.variances = variances;
-                ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop();
+                ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop({ variances: variances.map(ts.Debug.formatVariance) });
             }
             return links.variances;
         }
@@ -67584,12 +67601,14 @@ 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) {
+                        ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.push("checkTypes", "checkTypeParameterDeferred", { parent: getTypeId(getDeclaredTypeOfSymbol(symbol)), id: getTypeId(typeParameter) });
                         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);
                         varianceTypeParameter = saveVarianceTypeParameter;
+                        ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop();
                     }
                 }
             }
@@ -68798,8 +68817,17 @@ var ts;
                 return typeAsAwaitable.awaitedTypeOfType;
             }
             if (type.flags & 1048576) {
+                if (awaitedTypeStack.lastIndexOf(type.id) >= 0) {
+                    if (errorNode) {
+                        error(errorNode, ts.Diagnostics.Type_is_referenced_directly_or_indirectly_in_the_fulfillment_callback_of_its_own_then_method);
+                    }
+                    return undefined;
+                }
                 var mapper = errorNode ? function (constituentType) { return getAwaitedTypeNoAlias(constituentType, errorNode, diagnosticMessage, arg0); } : getAwaitedTypeNoAlias;
-                return typeAsAwaitable.awaitedTypeOfType = mapType(type, mapper);
+                awaitedTypeStack.push(type.id);
+                var mapped = mapType(type, mapper);
+                awaitedTypeStack.pop();
+                return typeAsAwaitable.awaitedTypeOfType = mapped;
             }
             var thisTypeForErrorOut = { value: undefined };
             var promisedType = getPromisedTypeOfPromise(type, undefined, thisTypeForErrorOut);

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.20220629";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220630";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -3124,6 +3124,22 @@ var ts;
             return wrapFunction(deprecation, func);
         }
         Debug.deprecate = deprecate;
+        function formatVariance(varianceFlags) {
+            var variance = varianceFlags & 7 /* VarianceMask */;
+            var result = variance === 0 /* Invariant */ ? "in out" :
+                variance === 3 /* Bivariant */ ? "[bivariant]" :
+                    variance === 2 /* Contravariant */ ? "in" :
+                        variance === 1 /* Covariant */ ? "out" :
+                            variance === 4 /* Independent */ ? "[independent]" : "";
+            if (varianceFlags & 8 /* Unmeasurable */) {
+                result += " (unmeasurable)";
+            }
+            else if (varianceFlags & 16 /* Unreliable */) {
+                result += " (unreliable)";
+            }
+            return result;
+        }
+        Debug.formatVariance = formatVariance;
     })(Debug = ts.Debug || (ts.Debug = {}));
 })(ts || (ts = {}));
 /* @internal */
@@ -3865,9 +3881,9 @@ var ts;
             eventStack.push({ phase: phase, name: name, args: args, time: 1000 * ts.timestamp(), separateBeginAndEnd: separateBeginAndEnd });
         }
         tracingEnabled.push = push;
-        function pop() {
+        function pop(results) {
             ts.Debug.assert(eventStack.length > 0);
-            writeStackEvent(eventStack.length - 1, 1000 * ts.timestamp());
+            writeStackEvent(eventStack.length - 1, 1000 * ts.timestamp(), results);
             eventStack.length--;
         }
         tracingEnabled.pop = pop;
@@ -3881,14 +3897,15 @@ var ts;
         tracingEnabled.popAll = popAll;
         // sample every 10ms
         var sampleInterval = 1000 * 10;
-        function writeStackEvent(index, endTime) {
+        function writeStackEvent(index, endTime, results) {
             var _a = eventStack[index], phase = _a.phase, name = _a.name, args = _a.args, time = _a.time, separateBeginAndEnd = _a.separateBeginAndEnd;
             if (separateBeginAndEnd) {
+                ts.Debug.assert(!results, "`results` are not supported for events with `separateBeginAndEnd`");
                 writeEvent("E", phase, name, args, /*extras*/ undefined, endTime);
             }
             // test if [time,endTime) straddles a sampling point
             else if (sampleInterval - (time % sampleInterval) <= endTime - time) {
-                writeEvent("X", phase, name, args, "\"dur\":" + (endTime - time), time);
+                writeEvent("X", phase, name, __assign(__assign({}, args), { results: results }), "\"dur\":" + (endTime - time), time);
             }
         }
         function writeEvent(eventType, phase, name, args, extras, time) {
@@ -67504,7 +67521,7 @@ var ts;
                     _loop_22(tp);
                 }
                 links.variances = variances;
-                ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop();
+                ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop({ variances: variances.map(ts.Debug.formatVariance) });
             }
             return links.variances;
         }
@@ -80585,12 +80602,14 @@ 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 */) {
+                        ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.push("checkTypes" /* CheckTypes */, "checkTypeParameterDeferred", { parent: getTypeId(getDeclaredTypeOfSymbol(symbol)), id: getTypeId(typeParameter) });
                         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);
                         varianceTypeParameter = saveVarianceTypeParameter;
+                        ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop();
                     }
                 }
             }
@@ -81986,8 +82005,17 @@ var ts;
             }
             // For a union, get a union of the awaited types of each constituent.
             if (type.flags & 1048576 /* Union */) {
+                if (awaitedTypeStack.lastIndexOf(type.id) >= 0) {
+                    if (errorNode) {
+                        error(errorNode, ts.Diagnostics.Type_is_referenced_directly_or_indirectly_in_the_fulfillment_callback_of_its_own_then_method);
+                    }
+                    return undefined;
+                }
                 var mapper = errorNode ? function (constituentType) { return getAwaitedTypeNoAlias(constituentType, errorNode, diagnosticMessage, arg0); } : getAwaitedTypeNoAlias;
-                return typeAsAwaitable.awaitedTypeOfType = mapType(type, mapper);
+                awaitedTypeStack.push(type.id);
+                var mapped = mapType(type, mapper);
+                awaitedTypeStack.pop();
+                return typeAsAwaitable.awaitedTypeOfType = mapped;
             }
             var thisTypeForErrorOut = { value: undefined };
             var promisedType = getPromisedTypeOfPromise(type, /*errorNode*/ undefined, thisTypeForErrorOut);
@@ -133362,37 +133390,36 @@ var ts;
                 }
             }
             var entries = ts.createSortedArray();
-            if (isUncheckedFile(sourceFile, compilerOptions)) {
-                var uniqueNames = getCompletionEntriesFromSymbols(symbols, entries, 
-                /*replacementToken*/ undefined, contextToken, location, sourceFile, host, program, ts.getEmitScriptTarget(compilerOptions), log, completionKind, preferences, compilerOptions, formatContext, isTypeOnlyLocation, propertyAccessToConvert, isJsxIdentifierExpected, isJsxInitializer, importCompletionNode, recommendedCompletion, symbolToOriginInfoMap, symbolToSortTextMap, isJsxIdentifierExpected, isRightOfOpenTag);
-                getJSCompletionEntries(sourceFile, location.pos, uniqueNames, ts.getEmitScriptTarget(compilerOptions), entries);
-            }
-            else {
-                if (!isNewIdentifierLocation && (!symbols || symbols.length === 0) && keywordFilters === 0 /* None */) {
-                    return undefined;
-                }
-                getCompletionEntriesFromSymbols(symbols, entries, 
-                /*replacementToken*/ undefined, contextToken, location, sourceFile, host, program, ts.getEmitScriptTarget(compilerOptions), log, completionKind, preferences, compilerOptions, formatContext, isTypeOnlyLocation, propertyAccessToConvert, isJsxIdentifierExpected, isJsxInitializer, importCompletionNode, recommendedCompletion, symbolToOriginInfoMap, symbolToSortTextMap, isJsxIdentifierExpected, isRightOfOpenTag);
+            var isChecked = isCheckedFile(sourceFile, compilerOptions);
+            if (isChecked && !isNewIdentifierLocation && (!symbols || symbols.length === 0) && keywordFilters === 0 /* None */) {
+                return undefined;
             }
+            var uniqueNames = getCompletionEntriesFromSymbols(symbols, entries, 
+            /*replacementToken*/ undefined, contextToken, location, sourceFile, host, program, ts.getEmitScriptTarget(compilerOptions), log, completionKind, preferences, compilerOptions, formatContext, isTypeOnlyLocation, propertyAccessToConvert, isJsxIdentifierExpected, isJsxInitializer, importCompletionNode, recommendedCompletion, symbolToOriginInfoMap, symbolToSortTextMap, isJsxIdentifierExpected, isRightOfOpenTag);
             if (keywordFilters !== 0 /* None */) {
-                var entryNames_1 = new ts.Set(entries.map(function (e) { return e.name; }));
                 for (var _i = 0, _a = getKeywordCompletions(keywordFilters, !insideJsDocTagTypeExpression && ts.isSourceFileJS(sourceFile)); _i < _a.length; _i++) {
                     var keywordEntry = _a[_i];
-                    if (isTypeOnlyLocation && ts.isTypeKeyword(ts.stringToToken(keywordEntry.name)) || !entryNames_1.has(keywordEntry.name)) {
+                    if (isTypeOnlyLocation && ts.isTypeKeyword(ts.stringToToken(keywordEntry.name)) || !uniqueNames.has(keywordEntry.name)) {
+                        uniqueNames.add(keywordEntry.name);
                         ts.insertSorted(entries, keywordEntry, compareCompletionEntries, /*allowDuplicates*/ true);
                     }
                 }
             }
-            var entryNames = new ts.Set(entries.map(function (e) { return e.name; }));
             for (var _b = 0, _c = getContextualKeywords(contextToken, position); _b < _c.length; _b++) {
                 var keywordEntry = _c[_b];
-                if (!entryNames.has(keywordEntry.name)) {
+                if (!uniqueNames.has(keywordEntry.name)) {
+                    uniqueNames.add(keywordEntry.name);
                     ts.insertSorted(entries, keywordEntry, compareCompletionEntries, /*allowDuplicates*/ true);
                 }
             }
             for (var _d = 0, literals_1 = literals; _d < literals_1.length; _d++) {
                 var literal = literals_1[_d];
-                ts.insertSorted(entries, createCompletionEntryForLiteral(sourceFile, preferences, literal), compareCompletionEntries, /*allowDuplicates*/ true);
+                var literalEntry = createCompletionEntryForLiteral(sourceFile, preferences, literal);
+                uniqueNames.add(literalEntry.name);
+                ts.insertSorted(entries, literalEntry, compareCompletionEntries, /*allowDuplicates*/ true);
+            }
+            if (!isChecked) {
+                getJSCompletionEntries(sourceFile, location.pos, uniqueNames, ts.getEmitScriptTarget(compilerOptions), entries);
             }
             return {
                 flags: completionData.flags,
@@ -133404,8 +133431,8 @@ var ts;
                 entries: entries,
             };
         }
-        function isUncheckedFile(sourceFile, compilerOptions) {
-            return ts.isSourceFileJS(sourceFile) && !ts.isCheckJsEnabledForFile(sourceFile, compilerOptions);
+        function isCheckedFile(sourceFile, compilerOptions) {
+            return !ts.isSourceFileJS(sourceFile) || !!ts.isCheckJsEnabledForFile(sourceFile, compilerOptions);
         }
         function isMemberCompletionKind(kind) {
             switch (kind) {
@@ -134363,7 +134390,7 @@ var ts;
         }
         function getCompletionData(program, log, sourceFile, compilerOptions, position, preferences, detailsEntryId, host, formatContext, cancellationToken) {
             var typeChecker = program.getTypeChecker();
-            var inUncheckedFile = isUncheckedFile(sourceFile, compilerOptions);
+            var inCheckedFile = isCheckedFile(sourceFile, compilerOptions);
             var start = ts.timestamp();
             var currentToken = ts.getTokenAtPosition(sourceFile, position); // TODO: GH#15853
             // We will check for jsdoc comments with insideComment and getJsDocTagAtPosition. (TODO: that seems rather inefficient to check the same thing so many times.)
@@ -134779,15 +134806,7 @@ var ts;
                     isNewIdentifierLocation = true;
                 }
                 var propertyAccess = node.kind === 200 /* ImportType */ ? node : node.parent;
-                if (inUncheckedFile) {
-                    // In javascript files, for union types, we don't just get the members that
-                    // the individual types have in common, we also include all the members that
-                    // each individual type has. This is because we're going to add all identifiers
-                    // anyways. So we might as well elevate the members that were at least part
-                    // of the individual types to a higher status since we know what they are.
-                    symbols.push.apply(symbols, ts.filter(getPropertiesForCompletion(type, typeChecker), function (s) { return typeChecker.isValidPropertyAccessForCompletions(propertyAccess, type, s); }));
-                }
-                else {
+                if (inCheckedFile) {
                     for (var _i = 0, _a = type.getApparentProperties(); _i < _a.length; _i++) {
                         var symbol = _a[_i];
                         if (typeChecker.isValidPropertyAccessForCompletions(propertyAccess, type, symbol)) {
@@ -134795,6 +134814,14 @@ var ts;
                         }
                     }
                 }
+                else {
+                    // In javascript files, for union types, we don't just get the members that
+                    // the individual types have in common, we also include all the members that
+                    // each individual type has. This is because we're going to add all identifiers
+                    // anyways. So we might as well elevate the members that were at least part
+                    // of the individual types to a higher status since we know what they are.
+                    symbols.push.apply(symbols, ts.filter(getPropertiesForCompletion(type, typeChecker), function (s) { return typeChecker.isValidPropertyAccessForCompletions(propertyAccess, type, s); }));
+                }
                 if (insertAwait && preferences.includeCompletionsWithInsertText) {
                     var promiseType = typeChecker.getPromisedTypeOfPromise(type);
                     if (promiseType) {
@@ -155157,7 +155184,7 @@ var ts;
             if (!newConstraint)
                 return;
             var newConstraintText = newConstraint[1];
-            changes.insertText(related.file, related.start + related.length, " extends " + newConstraintText);
+            changes.insertText(related.file, decl.name.end, " extends " + newConstraintText);
         }
         function findAncestorMatchingSpan(sourceFile, span) {
             var token = ts.getTokenAtPosition(sourceFile, span.start);

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.20220629";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220630";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -3318,6 +3318,22 @@ var ts;
             return wrapFunction(deprecation, func);
         }
         Debug.deprecate = deprecate;
+        function formatVariance(varianceFlags) {
+            var variance = varianceFlags & 7 /* VarianceMask */;
+            var result = variance === 0 /* Invariant */ ? "in out" :
+                variance === 3 /* Bivariant */ ? "[bivariant]" :
+                    variance === 2 /* Contravariant */ ? "in" :
+                        variance === 1 /* Covariant */ ? "out" :
+                            variance === 4 /* Independent */ ? "[independent]" : "";
+            if (varianceFlags & 8 /* Unmeasurable */) {
+                result += " (unmeasurable)";
+            }
+            else if (varianceFlags & 16 /* Unreliable */) {
+                result += " (unreliable)";
+            }
+            return result;
+        }
+        Debug.formatVariance = formatVariance;
     })(Debug = ts.Debug || (ts.Debug = {}));
 })(ts || (ts = {}));
 /* @internal */
@@ -4059,9 +4075,9 @@ var ts;
             eventStack.push({ phase: phase, name: name, args: args, time: 1000 * ts.timestamp(), separateBeginAndEnd: separateBeginAndEnd });
         }
         tracingEnabled.push = push;
-        function pop() {
+        function pop(results) {
             ts.Debug.assert(eventStack.length > 0);
-            writeStackEvent(eventStack.length - 1, 1000 * ts.timestamp());
+            writeStackEvent(eventStack.length - 1, 1000 * ts.timestamp(), results);
             eventStack.length--;
         }
         tracingEnabled.pop = pop;
@@ -4075,14 +4091,15 @@ var ts;
         tracingEnabled.popAll = popAll;
         // sample every 10ms
         var sampleInterval = 1000 * 10;
-        function writeStackEvent(index, endTime) {
+        function writeStackEvent(index, endTime, results) {
             var _a = eventStack[index], phase = _a.phase, name = _a.name, args = _a.args, time = _a.time, separateBeginAndEnd = _a.separateBeginAndEnd;
             if (separateBeginAndEnd) {
+                ts.Debug.assert(!results, "`results` are not supported for events with `separateBeginAndEnd`");
                 writeEvent("E", phase, name, args, /*extras*/ undefined, endTime);
             }
             // test if [time,endTime) straddles a sampling point
             else if (sampleInterval - (time % sampleInterval) <= endTime - time) {
-                writeEvent("X", phase, name, args, "\"dur\":" + (endTime - time), time);
+                writeEvent("X", phase, name, __assign(__assign({}, args), { results: results }), "\"dur\":" + (endTime - time), time);
             }
         }
         function writeEvent(eventType, phase, name, args, extras, time) {
@@ -67698,7 +67715,7 @@ var ts;
                     _loop_22(tp);
                 }
                 links.variances = variances;
-                ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop();
+                ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop({ variances: variances.map(ts.Debug.formatVariance) });
             }
             return links.variances;
         }
@@ -80779,12 +80796,14 @@ 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 */) {
+                        ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.push("checkTypes" /* CheckTypes */, "checkTypeParameterDeferred", { parent: getTypeId(getDeclaredTypeOfSymbol(symbol)), id: getTypeId(typeParameter) });
                         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);
                         varianceTypeParameter = saveVarianceTypeParameter;
+                        ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop();
                     }
                 }
             }
@@ -82180,8 +82199,17 @@ var ts;
             }
             // For a union, get a union of the awaited types of each constituent.
             if (type.flags & 1048576 /* Union */) {
+                if (awaitedTypeStack.lastIndexOf(type.id) >= 0) {
+                    if (errorNode) {
+                        error(errorNode, ts.Diagnostics.Type_is_referenced_directly_or_indirectly_in_the_fulfillment_callback_of_its_own_then_method);
+                    }
+                    return undefined;
+                }
                 var mapper = errorNode ? function (constituentType) { return getAwaitedTypeNoAlias(constituentType, errorNode, diagnosticMessage, arg0); } : getAwaitedTypeNoAlias;
-                return typeAsAwaitable.awaitedTypeOfType = mapType(type, mapper);
+                awaitedTypeStack.push(type.id);
+                var mapped = mapType(type, mapper);
+                awaitedTypeStack.pop();
+                return typeAsAwaitable.awaitedTypeOfType = mapped;
             }
             var thisTypeForErrorOut = { value: undefined };
             var promisedType = getPromisedTypeOfPromise(type, /*errorNode*/ undefined, thisTypeForErrorOut);
@@ -133975,37 +134003,36 @@ var ts;
                 }
             }
             var entries = ts.createSortedArray();
-            if (isUncheckedFile(sourceFile, compilerOptions)) {
-                var uniqueNames = getCompletionEntriesFromSymbols(symbols, entries, 
-                /*replacementToken*/ undefined, contextToken, location, sourceFile, host, program, ts.getEmitScriptTarget(compilerOptions), log, completionKind, preferences, compilerOptions, formatContext, isTypeOnlyLocation, propertyAccessToConvert, isJsxIdentifierExpected, isJsxInitializer, importCompletionNode, recommendedCompletion, symbolToOriginInfoMap, symbolToSortTextMap, isJsxIdentifierExpected, isRightOfOpenTag);
-                getJSCompletionEntries(sourceFile, location.pos, uniqueNames, ts.getEmitScriptTarget(compilerOptions), entries);
-            }
-            else {
-                if (!isNewIdentifierLocation && (!symbols || symbols.length === 0) && keywordFilters === 0 /* None */) {
-                    return undefined;
-                }
-                getCompletionEntriesFromSymbols(symbols, entries, 
-                /*replacementToken*/ undefined, contextToken, location, sourceFile, host, program, ts.getEmitScriptTarget(compilerOptions), log, completionKind, preferences, compilerOptions, formatContext, isTypeOnlyLocation, propertyAccessToConvert, isJsxIdentifierExpected, isJsxInitializer, importCompletionNode, recommendedCompletion, symbolToOriginInfoMap, symbolToSortTextMap, isJsxIdentifierExpected, isRightOfOpenTag);
+            var isChecked = isCheckedFile(sourceFile, compilerOptions);
+            if (isChecked && !isNewIdentifierLocation && (!symbols || symbols.length === 0) && keywordFilters === 0 /* None */) {
+                return undefined;
             }
+            var uniqueNames = getCompletionEntriesFromSymbols(symbols, entries, 
+            /*replacementToken*/ undefined, contextToken, location, sourceFile, host, program, ts.getEmitScriptTarget(compilerOptions), log, completionKind, preferences, compilerOptions, formatContext, isTypeOnlyLocation, propertyAccessToConvert, isJsxIdentifierExpected, isJsxInitializer, importCompletionNode, recommendedCompletion, symbolToOriginInfoMap, symbolToSortTextMap, isJsxIdentifierExpected, isRightOfOpenTag);
             if (keywordFilters !== 0 /* None */) {
-                var entryNames_1 = new ts.Set(entries.map(function (e) { return e.name; }));
                 for (var _i = 0, _a = getKeywordCompletions(keywordFilters, !insideJsDocTagTypeExpression && ts.isSourceFileJS(sourceFile)); _i < _a.length; _i++) {
                     var keywordEntry = _a[_i];
-                    if (isTypeOnlyLocation && ts.isTypeKeyword(ts.stringToToken(keywordEntry.name)) || !entryNames_1.has(keywordEntry.name)) {
+                    if (isTypeOnlyLocation && ts.isTypeKeyword(ts.stringToToken(keywordEntry.name)) || !uniqueNames.has(keywordEntry.name)) {
+                        uniqueNames.add(keywordEntry.name);
                         ts.insertSorted(entries, keywordEntry, compareCompletionEntries, /*allowDuplicates*/ true);
                     }
                 }
             }
-            var entryNames = new ts.Set(entries.map(function (e) { return e.name; }));
             for (var _b = 0, _c = getContextualKeywords(contextToken, position); _b < _c.length; _b++) {
                 var keywordEntry = _c[_b];
-                if (!entryNames.has(keywordEntry.name)) {
+                if (!uniqueNames.has(keywordEntry.name)) {
+                    uniqueNames.add(keywordEntry.name);
                     ts.insertSorted(entries, keywordEntry, compareCompletionEntries, /*allowDuplicates*/ true);
                 }
             }
             for (var _d = 0, literals_1 = literals; _d < literals_1.length; _d++) {
                 var literal = literals_1[_d];
-                ts.insertSorted(entries, createCompletionEntryForLiteral(sourceFile, preferences, literal), compareCompletionEntries, /*allowDuplicates*/ true);
+                var literalEntry = createCompletionEntryForLiteral(sourceFile, preferences, literal);
+                uniqueNames.add(literalEntry.name);
+                ts.insertSorted(entries, literalEntry, compareCompletionEntries, /*allowDuplicates*/ true);
+            }
+            if (!isChecked) {
+                getJSCompletionEntries(sourceFile, location.pos, uniqueNames, ts.getEmitScriptTarget(compilerOptions), entries);
             }
             return {
                 flags: completionData.flags,
@@ -134017,8 +134044,8 @@ var ts;
                 entries: entries,
             };
         }
-        function isUncheckedFile(sourceFile, compilerOptions) {
-            return ts.isSourceFileJS(sourceFile) && !ts.isCheckJsEnabledForFile(sourceFile, compilerOptions);
+        function isCheckedFile(sourceFile, compilerOptions) {
+            return !ts.isSourceFileJS(sourceFile) || !!ts.isCheckJsEnabledForFile(sourceFile, compilerOptions);
         }
         function isMemberCompletionKind(kind) {
             switch (kind) {
@@ -134976,7 +135003,7 @@ var ts;
         }
         function getCompletionData(program, log, sourceFile, compilerOptions, position, preferences, detailsEntryId, host, formatContext, cancellationToken) {
             var typeChecker = program.getTypeChecker();
-            var inUncheckedFile = isUncheckedFile(sourceFile, compilerOptions);
+            var inCheckedFile = isCheckedFile(sourceFile, compilerOptions);
             var start = ts.timestamp();
             var currentToken = ts.getTokenAtPosition(sourceFile, position); // TODO: GH#15853
             // We will check for jsdoc comments with insideComment and getJsDocTagAtPosition. (TODO: that seems rather inefficient to check the same thing so many times.)
@@ -135392,15 +135419,7 @@ var ts;
                     isNewIdentifierLocation = true;
                 }
                 var propertyAccess = node.kind === 200 /* ImportType */ ? node : node.parent;
-                if (inUncheckedFile) {
-                    // In javascript files, for union types, we don't just get the members that
-                    // the individual types have in common, we also include all the members that
-                    // each individual type has. This is because we're going to add all identifiers
-                    // anyways. So we might as well elevate the members that were at least part
-                    // of the individual types to a higher status since we know what they are.
-                    symbols.push.apply(symbols, ts.filter(getPropertiesForCompletion(type, typeChecker), function (s) { return typeChecker.isValidPropertyAccessForCompletions(propertyAccess, type, s); }));
-                }
-                else {
+                if (inCheckedFile) {
                     for (var _i = 0, _a = type.getApparentProperties(); _i < _a.length; _i++) {
                         var symbol = _a[_i];
                         if (typeChecker.isValidPropertyAccessForCompletions(propertyAccess, type, symbol)) {
@@ -135408,6 +135427,14 @@ var ts;
                         }
                     }
                 }
+                else {
+                    // In javascript files, for union types, we don't just get the members that
+                    // the individual types have in common, we also include all the members that
+                    // each individual type has. This is because we're going to add all identifiers
+                    // anyways. So we might as well elevate the members that were at least part
+                    // of the individual types to a higher status since we know what they are.
+                    symbols.push.apply(symbols, ts.filter(getPropertiesForCompletion(type, typeChecker), function (s) { return typeChecker.isValidPropertyAccessForCompletions(propertyAccess, type, s); }));
+                }
                 if (insertAwait && preferences.includeCompletionsWithInsertText) {
                     var promiseType = typeChecker.getPromisedTypeOfPromise(type);
                     if (promiseType) {
@@ -155770,7 +155797,7 @@ var ts;
             if (!newConstraint)
                 return;
             var newConstraintText = newConstraint[1];
-            changes.insertText(related.file, related.start + related.length, " extends " + newConstraintText);
+            changes.insertText(related.file, decl.name.end, " extends " + newConstraintText);
         }
         function findAncestorMatchingSpan(sourceFile, span) {
             var token = ts.getTokenAtPosition(sourceFile, span.start);

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.20220629";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220630";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -3309,6 +3309,22 @@ var ts;
             return wrapFunction(deprecation, func);
         }
         Debug.deprecate = deprecate;
+        function formatVariance(varianceFlags) {
+            var variance = varianceFlags & 7 /* VarianceMask */;
+            var result = variance === 0 /* Invariant */ ? "in out" :
+                variance === 3 /* Bivariant */ ? "[bivariant]" :
+                    variance === 2 /* Contravariant */ ? "in" :
+                        variance === 1 /* Covariant */ ? "out" :
+                            variance === 4 /* Independent */ ? "[independent]" : "";
+            if (varianceFlags & 8 /* Unmeasurable */) {
+                result += " (unmeasurable)";
+            }
+            else if (varianceFlags & 16 /* Unreliable */) {
+                result += " (unreliable)";
+            }
+            return result;
+        }
+        Debug.formatVariance = formatVariance;
     })(Debug = ts.Debug || (ts.Debug = {}));
 })(ts || (ts = {}));
 /* @internal */
@@ -4050,9 +4066,9 @@ var ts;
             eventStack.push({ phase: phase, name: name, args: args, time: 1000 * ts.timestamp(), separateBeginAndEnd: separateBeginAndEnd });
         }
         tracingEnabled.push = push;
-        function pop() {
+        function pop(results) {
             ts.Debug.assert(eventStack.length > 0);
-            writeStackEvent(eventStack.length - 1, 1000 * ts.timestamp());
+            writeStackEvent(eventStack.length - 1, 1000 * ts.timestamp(), results);
             eventStack.length--;
         }
         tracingEnabled.pop = pop;
@@ -4066,14 +4082,15 @@ var ts;
         tracingEnabled.popAll = popAll;
         // sample every 10ms
         var sampleInterval = 1000 * 10;
-        function writeStackEvent(index, endTime) {
+        function writeStackEvent(index, endTime, results) {
             var _a = eventStack[index], phase = _a.phase, name = _a.name, args = _a.args, time = _a.time, separateBeginAndEnd = _a.separateBeginAndEnd;
             if (separateBeginAndEnd) {
+                ts.Debug.assert(!results, "`results` are not supported for events with `separateBeginAndEnd`");
                 writeEvent("E", phase, name, args, /*extras*/ undefined, endTime);
             }
             // test if [time,endTime) straddles a sampling point
             else if (sampleInterval - (time % sampleInterval) <= endTime - time) {
-                writeEvent("X", phase, name, args, "\"dur\":" + (endTime - time), time);
+                writeEvent("X", phase, name, __assign(__assign({}, args), { results: results }), "\"dur\":" + (endTime - time), time);
             }
         }
         function writeEvent(eventType, phase, name, args, extras, time) {
@@ -67689,7 +67706,7 @@ var ts;
                     _loop_22(tp);
                 }
                 links.variances = variances;
-                ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop();
+                ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop({ variances: variances.map(ts.Debug.formatVariance) });
             }
             return links.variances;
         }
@@ -80770,12 +80787,14 @@ 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 */) {
+                        ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.push("checkTypes" /* CheckTypes */, "checkTypeParameterDeferred", { parent: getTypeId(getDeclaredTypeOfSymbol(symbol)), id: getTypeId(typeParameter) });
                         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);
                         varianceTypeParameter = saveVarianceTypeParameter;
+                        ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop();
                     }
                 }
             }
@@ -82171,8 +82190,17 @@ var ts;
             }
             // For a union, get a union of the awaited types of each constituent.
             if (type.flags & 1048576 /* Union */) {
+                if (awaitedTypeStack.lastIndexOf(type.id) >= 0) {
+                    if (errorNode) {
+                        error(errorNode, ts.Diagnostics.Type_is_referenced_directly_or_indirectly_in_the_fulfillment_callback_of_its_own_then_method);
+                    }
+                    return undefined;
+                }
                 var mapper = errorNode ? function (constituentType) { return getAwaitedTypeNoAlias(constituentType, errorNode, diagnosticMessage, arg0); } : getAwaitedTypeNoAlias;
-                return typeAsAwaitable.awaitedTypeOfType = mapType(type, mapper);
+                awaitedTypeStack.push(type.id);
+                var mapped = mapType(type, mapper);
+                awaitedTypeStack.pop();
+                return typeAsAwaitable.awaitedTypeOfType = mapped;
             }
             var thisTypeForErrorOut = { value: undefined };
             var promisedType = getPromisedTypeOfPromise(type, /*errorNode*/ undefined, thisTypeForErrorOut);
@@ -133966,37 +133994,36 @@ var ts;
                 }
             }
             var entries = ts.createSortedArray();
-            if (isUncheckedFile(sourceFile, compilerOptions)) {
-                var uniqueNames = getCompletionEntriesFromSymbols(symbols, entries, 
-                /*replacementToken*/ undefined, contextToken, location, sourceFile, host, program, ts.getEmitScriptTarget(compilerOptions), log, completionKind, preferences, compilerOptions, formatContext, isTypeOnlyLocation, propertyAccessToConvert, isJsxIdentifierExpected, isJsxInitializer, importCompletionNode, recommendedCompletion, symbolToOriginInfoMap, symbolToSortTextMap, isJsxIdentifierExpected, isRightOfOpenTag);
-                getJSCompletionEntries(sourceFile, location.pos, uniqueNames, ts.getEmitScriptTarget(compilerOptions), entries);
-            }
-            else {
-                if (!isNewIdentifierLocation && (!symbols || symbols.length === 0) && keywordFilters === 0 /* None */) {
-                    return undefined;
-                }
-                getCompletionEntriesFromSymbols(symbols, entries, 
-                /*replacementToken*/ undefined, contextToken, location, sourceFile, host, program, ts.getEmitScriptTarget(compilerOptions), log, completionKind, preferences, compilerOptions, formatContext, isTypeOnlyLocation, propertyAccessToConvert, isJsxIdentifierExpected, isJsxInitializer, importCompletionNode, recommendedCompletion, symbolToOriginInfoMap, symbolToSortTextMap, isJsxIdentifierExpected, isRightOfOpenTag);
+            var isChecked = isCheckedFile(sourceFile, compilerOptions);
+            if (isChecked && !isNewIdentifierLocation && (!symbols || symbols.length === 0) && keywordFilters === 0 /* None */) {
+                return undefined;
             }
+            var uniqueNames = getCompletionEntriesFromSymbols(symbols, entries, 
+            /*replacementToken*/ undefined, contextToken, location, sourceFile, host, program, ts.getEmitScriptTarget(compilerOptions), log, completionKind, preferences, compilerOptions, formatContext, isTypeOnlyLocation, propertyAccessToConvert, isJsxIdentifierExpected, isJsxInitializer, importCompletionNode, recommendedCompletion, symbolToOriginInfoMap, symbolToSortTextMap, isJsxIdentifierExpected, isRightOfOpenTag);
             if (keywordFilters !== 0 /* None */) {
-                var entryNames_1 = new ts.Set(entries.map(function (e) { return e.name; }));
                 for (var _i = 0, _a = getKeywordCompletions(keywordFilters, !insideJsDocTagTypeExpression && ts.isSourceFileJS(sourceFile)); _i < _a.length; _i++) {
                     var keywordEntry = _a[_i];
-                    if (isTypeOnlyLocation && ts.isTypeKeyword(ts.stringToToken(keywordEntry.name)) || !entryNames_1.has(keywordEntry.name)) {
+                    if (isTypeOnlyLocation && ts.isTypeKeyword(ts.stringToToken(keywordEntry.name)) || !uniqueNames.has(keywordEntry.name)) {
+                        uniqueNames.add(keywordEntry.name);
                         ts.insertSorted(entries, keywordEntry, compareCompletionEntries, /*allowDuplicates*/ true);
                     }
                 }
             }
-            var entryNames = new ts.Set(entries.map(function (e) { return e.name; }));
             for (var _b = 0, _c = getContextualKeywords(contextToken, position); _b < _c.length; _b++) {
                 var keywordEntry = _c[_b];
-                if (!entryNames.has(keywordEntry.name)) {
+                if (!uniqueNames.has(keywordEntry.name)) {
+                    uniqueNames.add(keywordEntry.name);
                     ts.insertSorted(entries, keywordEntry, compareCompletionEntries, /*allowDuplicates*/ true);
                 }
             }
             for (var _d = 0, literals_1 = literals; _d < literals_1.length; _d++) {
                 var literal = literals_1[_d];
-                ts.insertSorted(entries, createCompletionEntryForLiteral(sourceFile, preferences, literal), compareCompletionEntries, /*allowDuplicates*/ true);
+                var literalEntry = createCompletionEntryForLiteral(sourceFile, preferences, literal);
+                uniqueNames.add(literalEntry.name);
+                ts.insertSorted(entries, literalEntry, compareCompletionEntries, /*allowDuplicates*/ true);
+            }
+            if (!isChecked) {
+                getJSCompletionEntries(sourceFile, location.pos, uniqueNames, ts.getEmitScriptTarget(compilerOptions), entries);
             }
             return {
                 flags: completionData.flags,
@@ -134008,8 +134035,8 @@ var ts;
                 entries: entries,
             };
         }
-        function isUncheckedFile(sourceFile, compilerOptions) {
-            return ts.isSourceFileJS(sourceFile) && !ts.isCheckJsEnabledForFile(sourceFile, compilerOptions);
+        function isCheckedFile(sourceFile, compilerOptions) {
+            return !ts.isSourceFileJS(sourceFile) || !!ts.isCheckJsEnabledForFile(sourceFile, compilerOptions);
         }
         function isMemberCompletionKind(kind) {
             switch (kind) {
@@ -134967,7 +134994,7 @@ var ts;
         }
         function getCompletionData(program, log, sourceFile, compilerOptions, position, preferences, detailsEntryId, host, formatContext, cancellationToken) {
             var typeChecker = program.getTypeChecker();
-            var inUncheckedFile = isUncheckedFile(sourceFile, compilerOptions);
+            var inCheckedFile = isCheckedFile(sourceFile, compilerOptions);
             var start = ts.timestamp();
             var currentToken = ts.getTokenAtPosition(sourceFile, position); // TODO: GH#15853
             // We will check for jsdoc comments with insideComment and getJsDocTagAtPosition. (TODO: that seems rather inefficient to check the same thing so many times.)
@@ -135383,15 +135410,7 @@ var ts;
                     isNewIdentifierLocation = true;
                 }
                 var propertyAccess = node.kind === 200 /* ImportType */ ? node : node.parent;
-                if (inUncheckedFile) {
-                    // In javascript files, for union types, we don't just get the members that
-                    // the individual types have in common, we also include all the members that
-                    // each individual type has. This is because we're going to add all identifiers
-                    // anyways. So we might as well elevate the members that were at least part
-                    // of the individual types to a higher status since we know what they are.
-                    symbols.push.apply(symbols, ts.filter(getPropertiesForCompletion(type, typeChecker), function (s) { return typeChecker.isValidPropertyAccessForCompletions(propertyAccess, type, s); }));
-                }
-                else {
+                if (inCheckedFile) {
                     for (var _i = 0, _a = type.getApparentProperties(); _i < _a.length; _i++) {
                         var symbol = _a[_i];
                         if (typeChecker.isValidPropertyAccessForCompletions(propertyAccess, type, symbol)) {
@@ -135399,6 +135418,14 @@ var ts;
                         }
                     }
                 }
+                else {
+                    // In javascript files, for union types, we don't just get the members that
+                    // the individual types have in common, we also include all the members that
+                    // each individual type has. This is because we're going to add all identifiers
+                    // anyways. So we might as well elevate the members that were at least part
+                    // of the individual types to a higher status since we know what they are.
+                    symbols.push.apply(symbols, ts.filter(getPropertiesForCompletion(type, typeChecker), function (s) { return typeChecker.isValidPropertyAccessForCompletions(propertyAccess, type, s); }));
+                }
                 if (insertAwait && preferences.includeCompletionsWithInsertText) {
                     var promiseType = typeChecker.getPromisedTypeOfPromise(type);
                     if (promiseType) {
@@ -155761,7 +155788,7 @@ var ts;
             if (!newConstraint)
                 return;
             var newConstraintText = newConstraint[1];
-            changes.insertText(related.file, related.start + related.length, " extends " + newConstraintText);
+            changes.insertText(related.file, decl.name.end, " extends " + newConstraintText);
         }
         function findAncestorMatchingSpan(sourceFile, span) {
             var token = ts.getTokenAtPosition(sourceFile, span.start);

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.20220629";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220630";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -3309,6 +3309,22 @@ var ts;
             return wrapFunction(deprecation, func);
         }
         Debug.deprecate = deprecate;
+        function formatVariance(varianceFlags) {
+            var variance = varianceFlags & 7 /* VarianceMask */;
+            var result = variance === 0 /* Invariant */ ? "in out" :
+                variance === 3 /* Bivariant */ ? "[bivariant]" :
+                    variance === 2 /* Contravariant */ ? "in" :
+                        variance === 1 /* Covariant */ ? "out" :
+                            variance === 4 /* Independent */ ? "[independent]" : "";
+            if (varianceFlags & 8 /* Unmeasurable */) {
+                result += " (unmeasurable)";
+            }
+            else if (varianceFlags & 16 /* Unreliable */) {
+                result += " (unreliable)";
+            }
+            return result;
+        }
+        Debug.formatVariance = formatVariance;
     })(Debug = ts.Debug || (ts.Debug = {}));
 })(ts || (ts = {}));
 /* @internal */
@@ -4050,9 +4066,9 @@ var ts;
             eventStack.push({ phase: phase, name: name, args: args, time: 1000 * ts.timestamp(), separateBeginAndEnd: separateBeginAndEnd });
         }
         tracingEnabled.push = push;
-        function pop() {
+        function pop(results) {
             ts.Debug.assert(eventStack.length > 0);
-            writeStackEvent(eventStack.length - 1, 1000 * ts.timestamp());
+            writeStackEvent(eventStack.length - 1, 1000 * ts.timestamp(), results);
             eventStack.length--;
         }
         tracingEnabled.pop = pop;
@@ -4066,14 +4082,15 @@ var ts;
         tracingEnabled.popAll = popAll;
         // sample every 10ms
         var sampleInterval = 1000 * 10;
-        function writeStackEvent(index, endTime) {
+        function writeStackEvent(index, endTime, results) {
             var _a = eventStack[index], phase = _a.phase, name = _a.name, args = _a.args, time = _a.time, separateBeginAndEnd = _a.separateBeginAndEnd;
             if (separateBeginAndEnd) {
+                ts.Debug.assert(!results, "`results` are not supported for events with `separateBeginAndEnd`");
                 writeEvent("E", phase, name, args, /*extras*/ undefined, endTime);
             }
             // test if [time,endTime) straddles a sampling point
             else if (sampleInterval - (time % sampleInterval) <= endTime - time) {
-                writeEvent("X", phase, name, args, "\"dur\":" + (endTime - time), time);
+                writeEvent("X", phase, name, __assign(__assign({}, args), { results: results }), "\"dur\":" + (endTime - time), time);
             }
         }
         function writeEvent(eventType, phase, name, args, extras, time) {
@@ -67689,7 +67706,7 @@ var ts;
                     _loop_22(tp);
                 }
                 links.variances = variances;
-                ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop();
+                ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop({ variances: variances.map(ts.Debug.formatVariance) });
             }
             return links.variances;
         }
@@ -80770,12 +80787,14 @@ 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 */) {
+                        ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.push("checkTypes" /* CheckTypes */, "checkTypeParameterDeferred", { parent: getTypeId(getDeclaredTypeOfSymbol(symbol)), id: getTypeId(typeParameter) });
                         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);
                         varianceTypeParameter = saveVarianceTypeParameter;
+                        ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop();
                     }
                 }
             }
@@ -82171,8 +82190,17 @@ var ts;
             }
             // For a union, get a union of the awaited types of each constituent.
             if (type.flags & 1048576 /* Union */) {
+                if (awaitedTypeStack.lastIndexOf(type.id) >= 0) {
+                    if (errorNode) {
+                        error(errorNode, ts.Diagnostics.Type_is_referenced_directly_or_indirectly_in_the_fulfillment_callback_of_its_own_then_method);
+                    }
+                    return undefined;
+                }
                 var mapper = errorNode ? function (constituentType) { return getAwaitedTypeNoAlias(constituentType, errorNode, diagnosticMessage, arg0); } : getAwaitedTypeNoAlias;
-                return typeAsAwaitable.awaitedTypeOfType = mapType(type, mapper);
+                awaitedTypeStack.push(type.id);
+                var mapped = mapType(type, mapper);
+                awaitedTypeStack.pop();
+                return typeAsAwaitable.awaitedTypeOfType = mapped;
             }
             var thisTypeForErrorOut = { value: undefined };
             var promisedType = getPromisedTypeOfPromise(type, /*errorNode*/ undefined, thisTypeForErrorOut);
@@ -133966,37 +133994,36 @@ var ts;
                 }
             }
             var entries = ts.createSortedArray();
-            if (isUncheckedFile(sourceFile, compilerOptions)) {
-                var uniqueNames = getCompletionEntriesFromSymbols(symbols, entries, 
-                /*replacementToken*/ undefined, contextToken, location, sourceFile, host, program, ts.getEmitScriptTarget(compilerOptions), log, completionKind, preferences, compilerOptions, formatContext, isTypeOnlyLocation, propertyAccessToConvert, isJsxIdentifierExpected, isJsxInitializer, importCompletionNode, recommendedCompletion, symbolToOriginInfoMap, symbolToSortTextMap, isJsxIdentifierExpected, isRightOfOpenTag);
-                getJSCompletionEntries(sourceFile, location.pos, uniqueNames, ts.getEmitScriptTarget(compilerOptions), entries);
-            }
-            else {
-                if (!isNewIdentifierLocation && (!symbols || symbols.length === 0) && keywordFilters === 0 /* None */) {
-                    return undefined;
-                }
-                getCompletionEntriesFromSymbols(symbols, entries, 
-                /*replacementToken*/ undefined, contextToken, location, sourceFile, host, program, ts.getEmitScriptTarget(compilerOptions), log, completionKind, preferences, compilerOptions, formatContext, isTypeOnlyLocation, propertyAccessToConvert, isJsxIdentifierExpected, isJsxInitializer, importCompletionNode, recommendedCompletion, symbolToOriginInfoMap, symbolToSortTextMap, isJsxIdentifierExpected, isRightOfOpenTag);
+            var isChecked = isCheckedFile(sourceFile, compilerOptions);
+            if (isChecked && !isNewIdentifierLocation && (!symbols || symbols.length === 0) && keywordFilters === 0 /* None */) {
+                return undefined;
             }
+            var uniqueNames = getCompletionEntriesFromSymbols(symbols, entries, 
+            /*replacementToken*/ undefined, contextToken, location, sourceFile, host, program, ts.getEmitScriptTarget(compilerOptions), log, completionKind, preferences, compilerOptions, formatContext, isTypeOnlyLocation, propertyAccessToConvert, isJsxIdentifierExpected, isJsxInitializer, importCompletionNode, recommendedCompletion, symbolToOriginInfoMap, symbolToSortTextMap, isJsxIdentifierExpected, isRightOfOpenTag);
             if (keywordFilters !== 0 /* None */) {
-                var entryNames_1 = new ts.Set(entries.map(function (e) { return e.name; }));
                 for (var _i = 0, _a = getKeywordCompletions(keywordFilters, !insideJsDocTagTypeExpression && ts.isSourceFileJS(sourceFile)); _i < _a.length; _i++) {
                     var keywordEntry = _a[_i];
-                    if (isTypeOnlyLocation && ts.isTypeKeyword(ts.stringToToken(keywordEntry.name)) || !entryNames_1.has(keywordEntry.name)) {
+                    if (isTypeOnlyLocation && ts.isTypeKeyword(ts.stringToToken(keywordEntry.name)) || !uniqueNames.has(keywordEntry.name)) {
+                        uniqueNames.add(keywordEntry.name);
                         ts.insertSorted(entries, keywordEntry, compareCompletionEntries, /*allowDuplicates*/ true);
                     }
                 }
             }
-            var entryNames = new ts.Set(entries.map(function (e) { return e.name; }));
             for (var _b = 0, _c = getContextualKeywords(contextToken, position); _b < _c.length; _b++) {
                 var keywordEntry = _c[_b];
-                if (!entryNames.has(keywordEntry.name)) {
+                if (!uniqueNames.has(keywordEntry.name)) {
+                    uniqueNames.add(keywordEntry.name);
                     ts.insertSorted(entries, keywordEntry, compareCompletionEntries, /*allowDuplicates*/ true);
                 }
             }
             for (var _d = 0, literals_1 = literals; _d < literals_1.length; _d++) {
                 var literal = literals_1[_d];
-                ts.insertSorted(entries, createCompletionEntryForLiteral(sourceFile, preferences, literal), compareCompletionEntries, /*allowDuplicates*/ true);
+                var literalEntry = createCompletionEntryForLiteral(sourceFile, preferences, literal);
+                uniqueNames.add(literalEntry.name);
+                ts.insertSorted(entries, literalEntry, compareCompletionEntries, /*allowDuplicates*/ true);
+            }
+            if (!isChecked) {
+                getJSCompletionEntries(sourceFile, location.pos, uniqueNames, ts.getEmitScriptTarget(compilerOptions), entries);
             }
             return {
                 flags: completionData.flags,
@@ -134008,8 +134035,8 @@ var ts;
                 entries: entries,
             };
         }
-        function isUncheckedFile(sourceFile, compilerOptions) {
-            return ts.isSourceFileJS(sourceFile) && !ts.isCheckJsEnabledForFile(sourceFile, compilerOptions);
+        function isCheckedFile(sourceFile, compilerOptions) {
+            return !ts.isSourceFileJS(sourceFile) || !!ts.isCheckJsEnabledForFile(sourceFile, compilerOptions);
         }
         function isMemberCompletionKind(kind) {
             switch (kind) {
@@ -134967,7 +134994,7 @@ var ts;
         }
         function getCompletionData(program, log, sourceFile, compilerOptions, position, preferences, detailsEntryId, host, formatContext, cancellationToken) {
             var typeChecker = program.getTypeChecker();
-            var inUncheckedFile = isUncheckedFile(sourceFile, compilerOptions);
+            var inCheckedFile = isCheckedFile(sourceFile, compilerOptions);
             var start = ts.timestamp();
             var currentToken = ts.getTokenAtPosition(sourceFile, position); // TODO: GH#15853
             // We will check for jsdoc comments with insideComment and getJsDocTagAtPosition. (TODO: that seems rather inefficient to check the same thing so many times.)
@@ -135383,15 +135410,7 @@ var ts;
                     isNewIdentifierLocation = true;
                 }
                 var propertyAccess = node.kind === 200 /* ImportType */ ? node : node.parent;
-                if (inUncheckedFile) {
-                    // In javascript files, for union types, we don't just get the members that
-                    // the individual types have in common, we also include all the members that
-                    // each individual type has. This is because we're going to add all identifiers
-                    // anyways. So we might as well elevate the members that were at least part
-                    // of the individual types to a higher status since we know what they are.
-                    symbols.push.apply(symbols, ts.filter(getPropertiesForCompletion(type, typeChecker), function (s) { return typeChecker.isValidPropertyAccessForCompletions(propertyAccess, type, s); }));
-                }
-                else {
+                if (inCheckedFile) {
                     for (var _i = 0, _a = type.getApparentProperties(); _i < _a.length; _i++) {
                         var symbol = _a[_i];
                         if (typeChecker.isValidPropertyAccessForCompletions(propertyAccess, type, symbol)) {
@@ -135399,6 +135418,14 @@ var ts;
                         }
                     }
                 }
+                else {
+                    // In javascript files, for union types, we don't just get the members that
+                    // the individual types have in common, we also include all the members that
+                    // each individual type has. This is because we're going to add all identifiers
+                    // anyways. So we might as well elevate the members that were at least part
+                    // of the individual types to a higher status since we know what they are.
+                    symbols.push.apply(symbols, ts.filter(getPropertiesForCompletion(type, typeChecker), function (s) { return typeChecker.isValidPropertyAccessForCompletions(propertyAccess, type, s); }));
+                }
                 if (insertAwait && preferences.includeCompletionsWithInsertText) {
                     var promiseType = typeChecker.getPromisedTypeOfPromise(type);
                     if (promiseType) {
@@ -155761,7 +155788,7 @@ var ts;
             if (!newConstraint)
                 return;
             var newConstraintText = newConstraint[1];
-            changes.insertText(related.file, related.start + related.length, " extends " + newConstraintText);
+            changes.insertText(related.file, decl.name.end, " extends " + newConstraintText);
         }
         function findAncestorMatchingSpan(sourceFile, span) {
             var token = ts.getTokenAtPosition(sourceFile, span.start);

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.20220629";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220630";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -3104,6 +3104,22 @@ var ts;
             return wrapFunction(deprecation, func);
         }
         Debug.deprecate = deprecate;
+        function formatVariance(varianceFlags) {
+            var variance = varianceFlags & 7 /* VarianceMask */;
+            var result = variance === 0 /* Invariant */ ? "in out" :
+                variance === 3 /* Bivariant */ ? "[bivariant]" :
+                    variance === 2 /* Contravariant */ ? "in" :
+                        variance === 1 /* Covariant */ ? "out" :
+                            variance === 4 /* Independent */ ? "[independent]" : "";
+            if (varianceFlags & 8 /* Unmeasurable */) {
+                result += " (unmeasurable)";
+            }
+            else if (varianceFlags & 16 /* Unreliable */) {
+                result += " (unreliable)";
+            }
+            return result;
+        }
+        Debug.formatVariance = formatVariance;
     })(Debug = ts.Debug || (ts.Debug = {}));
 })(ts || (ts = {}));
 /* @internal */
@@ -3845,9 +3861,9 @@ var ts;
             eventStack.push({ phase: phase, name: name, args: args, time: 1000 * ts.timestamp(), separateBeginAndEnd: separateBeginAndEnd });
         }
         tracingEnabled.push = push;
-        function pop() {
+        function pop(results) {
             ts.Debug.assert(eventStack.length > 0);
-            writeStackEvent(eventStack.length - 1, 1000 * ts.timestamp());
+            writeStackEvent(eventStack.length - 1, 1000 * ts.timestamp(), results);
             eventStack.length--;
         }
         tracingEnabled.pop = pop;
@@ -3861,14 +3877,15 @@ var ts;
         tracingEnabled.popAll = popAll;
         // sample every 10ms
         var sampleInterval = 1000 * 10;
-        function writeStackEvent(index, endTime) {
+        function writeStackEvent(index, endTime, results) {
             var _a = eventStack[index], phase = _a.phase, name = _a.name, args = _a.args, time = _a.time, separateBeginAndEnd = _a.separateBeginAndEnd;
             if (separateBeginAndEnd) {
+                ts.Debug.assert(!results, "`results` are not supported for events with `separateBeginAndEnd`");
                 writeEvent("E", phase, name, args, /*extras*/ undefined, endTime);
             }
             // test if [time,endTime) straddles a sampling point
             else if (sampleInterval - (time % sampleInterval) <= endTime - time) {
-                writeEvent("X", phase, name, args, "\"dur\":" + (endTime - time), time);
+                writeEvent("X", phase, name, __assign(__assign({}, args), { results: results }), "\"dur\":" + (endTime - time), time);
             }
         }
         function writeEvent(eventType, phase, name, args, extras, time) {
@@ -67484,7 +67501,7 @@ var ts;
                     _loop_22(tp);
                 }
                 links.variances = variances;
-                ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop();
+                ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop({ variances: variances.map(ts.Debug.formatVariance) });
             }
             return links.variances;
         }
@@ -80565,12 +80582,14 @@ 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 */) {
+                        ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.push("checkTypes" /* CheckTypes */, "checkTypeParameterDeferred", { parent: getTypeId(getDeclaredTypeOfSymbol(symbol)), id: getTypeId(typeParameter) });
                         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);
                         varianceTypeParameter = saveVarianceTypeParameter;
+                        ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.pop();
                     }
                 }
             }
@@ -81966,8 +81985,17 @@ var ts;
             }
             // For a union, get a union of the awaited types of each constituent.
             if (type.flags & 1048576 /* Union */) {
+                if (awaitedTypeStack.lastIndexOf(type.id) >= 0) {
+                    if (errorNode) {
+                        error(errorNode, ts.Diagnostics.Type_is_referenced_directly_or_indirectly_in_the_fulfillment_callback_of_its_own_then_method);
+                    }
+                    return undefined;
+                }
                 var mapper = errorNode ? function (constituentType) { return getAwaitedTypeNoAlias(constituentType, errorNode, diagnosticMessage, arg0); } : getAwaitedTypeNoAlias;
-                return typeAsAwaitable.awaitedTypeOfType = mapType(type, mapper);
+                awaitedTypeStack.push(type.id);
+                var mapped = mapType(type, mapper);
+                awaitedTypeStack.pop();
+                return typeAsAwaitable.awaitedTypeOfType = mapped;
             }
             var thisTypeForErrorOut = { value: undefined };
             var promisedType = getPromisedTypeOfPromise(type, /*errorNode*/ undefined, thisTypeForErrorOut);

package/package.json

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