typescript 4.8.0-dev.20220629 → 4.8.0-dev.20220703

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.20220703";
     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) {
@@ -39809,6 +39826,24 @@ var ts;
         var Symbol = ts.objectAllocator.getSymbolConstructor();
         var Type = ts.objectAllocator.getTypeConstructor();
         var Signature = ts.objectAllocator.getSignatureConstructor();
+        var DebugTypeMapper = (function () {
+            function DebugTypeMapper() {
+            }
+            DebugTypeMapper.prototype.__debugToString = function () {
+                var _a;
+                ts.Debug.type(this);
+                switch (this.kind) {
+                    case 3: return ((_a = this.debugInfo) === null || _a === void 0 ? void 0 : _a.call(this)) || "(function mapper)";
+                    case 0: return this.source.__debugTypeToString() + " -> " + this.target.__debugTypeToString();
+                    case 1: return ts.zipWith(this.sources, this.targets || ts.map(this.sources, function () { return anyType; }), function (s, t) { return s.__debugTypeToString() + " -> " + t.__debugTypeToString(); }).join(", ");
+                    case 2: return ts.zipWith(this.sources, this.targets, function (s, t) { return s.__debugTypeToString() + " -> " + t().__debugTypeToString(); }).join(", ");
+                    case 5:
+                    case 4: return "m1: " + this.mapper1.__debugToString().split("\n").join("\n    ") + "\nm2: " + this.mapper2.__debugToString().split("\n").join("\n    ");
+                    default: return ts.Debug.assertNever(this);
+                }
+            };
+            return DebugTypeMapper;
+        }());
         var typeCount = 0;
         var symbolCount = 0;
         var enumCount = 0;
@@ -40256,10 +40291,23 @@ var ts;
         var numberOrBigIntType = getUnionType([numberType, bigintType]);
         var templateConstraintType = getUnionType([stringType, numberType, booleanType, bigintType, nullType, undefinedType]);
         var numericStringType = getTemplateLiteralType(["", ""], [numberType]);
-        var restrictiveMapper = makeFunctionTypeMapper(function (t) { return t.flags & 262144 ? getRestrictiveTypeParameter(t) : t; });
-        var permissiveMapper = makeFunctionTypeMapper(function (t) { return t.flags & 262144 ? wildcardType : t; });
+        var restrictiveMapper = makeFunctionTypeMapper(function (t) { return t.flags & 262144 ? getRestrictiveTypeParameter(t) : t; }, function () { return "(restrictive mapper)"; });
+        var permissiveMapper = makeFunctionTypeMapper(function (t) { return t.flags & 262144 ? wildcardType : t; }, function () { return "(permissive mapper)"; });
         var uniqueLiteralType = createIntrinsicType(131072, "never");
-        var uniqueLiteralMapper = makeFunctionTypeMapper(function (t) { return t.flags & 262144 ? uniqueLiteralType : t; });
+        var uniqueLiteralMapper = makeFunctionTypeMapper(function (t) { return t.flags & 262144 ? uniqueLiteralType : t; }, function () { return "(unique literal mapper)"; });
+        var outofbandVarianceMarkerHandler;
+        var reportUnreliableMapper = makeFunctionTypeMapper(function (t) {
+            if (outofbandVarianceMarkerHandler && (t === markerSuperType || t === markerSubType || t === markerOtherType)) {
+                outofbandVarianceMarkerHandler(true);
+            }
+            return t;
+        }, function () { return "(unmeasurable reporter)"; });
+        var reportUnmeasurableMapper = makeFunctionTypeMapper(function (t) {
+            if (outofbandVarianceMarkerHandler && (t === markerSuperType || t === markerSubType || t === markerOtherType)) {
+                outofbandVarianceMarkerHandler(false);
+            }
+            return t;
+        }, function () { return "(unreliable reporter)"; });
         var emptyObjectType = createAnonymousType(undefined, emptySymbols, ts.emptyArray, ts.emptyArray, ts.emptyArray);
         var emptyJsxObjectType = createAnonymousType(undefined, emptySymbols, ts.emptyArray, ts.emptyArray, ts.emptyArray);
         emptyJsxObjectType.objectFlags |= 2048;
@@ -40408,7 +40456,6 @@ var ts;
         var typeofType = createTypeofType();
         var _jsxNamespace;
         var _jsxFactoryEntity;
-        var outofbandVarianceMarkerHandler;
         var subtypeRelation = new ts.Map();
         var strictSubtypeRelation = new ts.Map();
         var assignableRelation = new ts.Map();
@@ -43704,7 +43751,7 @@ var ts;
                         var name = typeParameterToName(newParam, context);
                         var newTypeVariable = ts.factory.createTypeReferenceNode(name);
                         context.approximateLength += 37;
-                        var newMapper = prependTypeMapping(type.root.checkType, newParam, type.combinedMapper || type.mapper);
+                        var newMapper = prependTypeMapping(type.root.checkType, newParam, type.mapper);
                         var saveInferTypeParameters_1 = context.inferTypeParameters;
                         context.inferTypeParameters = type.root.inferTypeParameters;
                         var extendsTypeNode_1 = typeToTypeNodeHelper(instantiateType(type.root.extendsType, newMapper), context);
@@ -50128,19 +50175,20 @@ var ts;
             var _a;
             var inferences;
             if ((_a = typeParameter.symbol) === null || _a === void 0 ? void 0 : _a.declarations) {
-                for (var _i = 0, _b = typeParameter.symbol.declarations; _i < _b.length; _i++) {
-                    var declaration = _b[_i];
+                var _loop_15 = function (declaration) {
                     if (declaration.parent.kind === 190) {
                         var _c = ts.walkUpParenthesizedTypesAndGetParentAndChild(declaration.parent.parent), _d = _c[0], childTypeParameter = _d === void 0 ? declaration.parent : _d, grandParent = _c[1];
                         if (grandParent.kind === 178 && !omitTypeReferences) {
-                            var typeReference = grandParent;
-                            var typeParameters = getTypeParametersForTypeReference(typeReference);
-                            if (typeParameters) {
-                                var index = typeReference.typeArguments.indexOf(childTypeParameter);
-                                if (index < typeParameters.length) {
-                                    var declaredConstraint = getConstraintOfTypeParameter(typeParameters[index]);
+                            var typeReference_1 = grandParent;
+                            var typeParameters_1 = getTypeParametersForTypeReference(typeReference_1);
+                            if (typeParameters_1) {
+                                var index = typeReference_1.typeArguments.indexOf(childTypeParameter);
+                                if (index < typeParameters_1.length) {
+                                    var declaredConstraint = getConstraintOfTypeParameter(typeParameters_1[index]);
                                     if (declaredConstraint) {
-                                        var mapper = createTypeMapper(typeParameters, getEffectiveTypeArguments(typeReference, typeParameters));
+                                        var mapper = makeDeferredTypeMapper(typeParameters_1, typeParameters_1.map(function (_, index) { return function () {
+                                            return getEffectiveTypeArgumentAtIndex(typeReference_1, typeParameters_1, index);
+                                        }; }));
                                         var constraint = instantiateType(declaredConstraint, mapper);
                                         if (constraint !== typeParameter) {
                                             inferences = ts.append(inferences, constraint);
@@ -50169,6 +50217,10 @@ var ts;
                             inferences = ts.append(inferences, instantiateType(nodeType, makeUnaryTypeMapper(getDeclaredTypeOfTypeParameter(getSymbolOfNode(checkMappedType_1.typeParameter)), checkMappedType_1.typeParameter.constraint ? getTypeFromTypeNode(checkMappedType_1.typeParameter.constraint) : keyofConstraintType)));
                         }
                     }
+                };
+                for (var _i = 0, _b = typeParameter.symbol.declarations; _i < _b.length; _i++) {
+                    var declaration = _b[_i];
+                    _loop_15(declaration);
                 }
             }
             return inferences && getIntersectionType(inferences);
@@ -50976,7 +51028,7 @@ var ts;
             var lastRequiredIndex = -1;
             var firstRestIndex = -1;
             var lastOptionalOrRestIndex = -1;
-            var _loop_15 = function (i) {
+            var _loop_16 = function (i) {
                 var type = elementTypes[i];
                 var flags = target.elementFlags[i];
                 if (flags & 8) {
@@ -51002,7 +51054,7 @@ var ts;
                 }
             };
             for (var i = 0; i < elementTypes.length; i++) {
-                var state_4 = _loop_15(i);
+                var state_4 = _loop_16(i);
                 if (typeof state_4 === "object")
                     return state_4.value;
             }
@@ -51179,7 +51231,7 @@ var ts;
             var templates = ts.filter(types, isPatternLiteralType);
             if (templates.length) {
                 var i = types.length;
-                var _loop_16 = function () {
+                var _loop_17 = function () {
                     i--;
                     var t = types[i];
                     if (t.flags & 128 && ts.some(templates, function (template) { return isTypeMatchedByTemplateLiteralType(t, template); })) {
@@ -51187,7 +51239,7 @@ var ts;
                     }
                 };
                 while (i > 0) {
-                    _loop_16();
+                    _loop_17();
                 }
             }
         }
@@ -51257,14 +51309,14 @@ var ts;
                 var namedUnions = [];
                 addNamedUnions(namedUnions, types);
                 var reducedTypes = [];
-                var _loop_17 = function (t) {
+                var _loop_18 = function (t) {
                     if (!ts.some(namedUnions, function (union) { return containsType(union.types, t); })) {
                         reducedTypes.push(t);
                     }
                 };
                 for (var _i = 0, typeSet_1 = typeSet; _i < typeSet_1.length; _i++) {
                     var t = typeSet_1[_i];
-                    _loop_17(t);
+                    _loop_18(t);
                 }
                 if (!aliasSymbol && namedUnions.length === 1 && reducedTypes.length === 0) {
                     return namedUnions[0];
@@ -52340,7 +52392,7 @@ var ts;
             var result;
             var extraTypes;
             var tailCount = 0;
-            var _loop_18 = function () {
+            var _loop_19 = function () {
                 if (tailCount === 1000) {
                     error(currentNode, ts.Diagnostics.Type_instantiation_is_excessively_deep_and_possibly_infinite);
                     result = errorType;
@@ -52414,7 +52466,7 @@ var ts;
                 return "break";
             };
             while (true) {
-                var state_5 = _loop_18();
+                var state_5 = _loop_19();
                 if (typeof state_5 === "object")
                     return state_5.value;
                 if (state_5 === "break")
@@ -53015,7 +53067,7 @@ var ts;
             switch (mapper.kind) {
                 case 0:
                     return type === mapper.source ? mapper.target : type;
-                case 1:
+                case 1: {
                     var sources = mapper.sources;
                     var targets = mapper.targets;
                     for (var i = 0; i < sources.length; i++) {
@@ -53024,43 +53076,64 @@ var ts;
                         }
                     }
                     return type;
-                case 2:
-                    return mapper.func(type);
+                }
+                case 2: {
+                    var sources = mapper.sources;
+                    var targets = mapper.targets;
+                    for (var i = 0; i < sources.length; i++) {
+                        if (type === sources[i]) {
+                            return targets[i]();
+                        }
+                    }
+                    return type;
+                }
                 case 3:
+                    return mapper.func(type);
                 case 4:
+                case 5:
                     var t1 = getMappedType(type, mapper.mapper1);
-                    return t1 !== type && mapper.kind === 3 ? instantiateType(t1, mapper.mapper2) : getMappedType(t1, mapper.mapper2);
+                    return t1 !== type && mapper.kind === 4 ? instantiateType(t1, mapper.mapper2) : getMappedType(t1, mapper.mapper2);
             }
         }
+        function attachDebugPrototypeIfDebug(mapper) {
+            if (ts.Debug.isDebugging) {
+                return Object.setPrototypeOf(mapper, DebugTypeMapper.prototype);
+            }
+            return mapper;
+        }
         function makeUnaryTypeMapper(source, target) {
-            return { kind: 0, source: source, target: target };
+            return attachDebugPrototypeIfDebug({ kind: 0, source: source, target: target });
         }
         function makeArrayTypeMapper(sources, targets) {
-            return { kind: 1, sources: sources, targets: targets };
+            return attachDebugPrototypeIfDebug({ kind: 1, sources: sources, targets: targets });
+        }
+        function makeFunctionTypeMapper(func, debugInfo) {
+            return attachDebugPrototypeIfDebug({ kind: 3, func: func, debugInfo: ts.Debug.isDebugging ? debugInfo : undefined });
         }
-        function makeFunctionTypeMapper(func) {
-            return { kind: 2, func: func };
+        function makeDeferredTypeMapper(sources, targets) {
+            return attachDebugPrototypeIfDebug({ kind: 2, sources: sources, targets: targets });
         }
         function makeCompositeTypeMapper(kind, mapper1, mapper2) {
-            return { kind: kind, mapper1: mapper1, mapper2: mapper2 };
+            return attachDebugPrototypeIfDebug({ kind: kind, mapper1: mapper1, mapper2: mapper2 });
         }
         function createTypeEraser(sources) {
             return createTypeMapper(sources, undefined);
         }
         function createBackreferenceMapper(context, index) {
-            return makeFunctionTypeMapper(function (t) { return ts.findIndex(context.inferences, function (info) { return info.typeParameter === t; }) >= index ? unknownType : t; });
+            var forwardInferences = context.inferences.slice(index);
+            return createTypeMapper(ts.map(forwardInferences, function (i) { return i.typeParameter; }), ts.map(forwardInferences, function () { return unknownType; }));
         }
         function combineTypeMappers(mapper1, mapper2) {
-            return mapper1 ? makeCompositeTypeMapper(3, mapper1, mapper2) : mapper2;
+            return mapper1 ? makeCompositeTypeMapper(4, mapper1, mapper2) : mapper2;
         }
         function mergeTypeMappers(mapper1, mapper2) {
-            return mapper1 ? makeCompositeTypeMapper(4, mapper1, mapper2) : mapper2;
+            return mapper1 ? makeCompositeTypeMapper(5, mapper1, mapper2) : mapper2;
         }
         function prependTypeMapping(source, target, mapper) {
-            return !mapper ? makeUnaryTypeMapper(source, target) : makeCompositeTypeMapper(4, makeUnaryTypeMapper(source, target), mapper);
+            return !mapper ? makeUnaryTypeMapper(source, target) : makeCompositeTypeMapper(5, makeUnaryTypeMapper(source, target), mapper);
         }
         function appendTypeMapping(mapper, source, target) {
-            return !mapper ? makeUnaryTypeMapper(source, target) : makeCompositeTypeMapper(4, mapper, makeUnaryTypeMapper(source, target));
+            return !mapper ? makeUnaryTypeMapper(source, target) : makeCompositeTypeMapper(5, mapper, makeUnaryTypeMapper(source, target));
         }
         function getRestrictiveTypeParameter(tp) {
             return tp.constraint === unknownType ? tp : tp.restrictiveInstantiation || (tp.restrictiveInstantiation = createTypeParameter(tp.symbol),
@@ -54740,7 +54813,7 @@ var ts;
                     reducedTarget = findMatchingDiscriminantType(source, target, isRelatedTo) || filterPrimitivesIfContainsNonPrimitive(target);
                     checkTypes = reducedTarget.flags & 1048576 ? reducedTarget.types : [reducedTarget];
                 }
-                var _loop_19 = function (prop) {
+                var _loop_20 = function (prop) {
                     if (shouldCheckAsExcessProperty(prop, source.symbol) && !isIgnoredJsxProperty(source, prop)) {
                         if (!isKnownProperty(reducedTarget, prop.escapedName, isComparingJsxAttributes)) {
                             if (reportErrors) {
@@ -54793,7 +54866,7 @@ var ts;
                 };
                 for (var _i = 0, _b = getPropertiesOfType(source); _i < _b.length; _i++) {
                     var prop = _b[_i];
-                    var state_6 = _loop_19(prop);
+                    var state_6 = _loop_20(prop);
                     if (typeof state_6 === "object")
                         return state_6.value;
                 }
@@ -54981,10 +55054,10 @@ var ts;
                         if (outofbandVarianceMarkerHandler) {
                             var saved = entry & 24;
                             if (saved & 8) {
-                                instantiateType(source, makeFunctionTypeMapper(reportUnmeasurableMarkers));
+                                instantiateType(source, reportUnmeasurableMapper);
                             }
                             if (saved & 16) {
-                                instantiateType(source, makeFunctionTypeMapper(reportUnreliableMarkers));
+                                instantiateType(source, reportUnreliableMapper);
                             }
                         }
                         return entry & 1 ? -1 : 0;
@@ -55321,7 +55394,7 @@ var ts;
                         if (relation === comparableRelation) {
                             return templateLiteralTypesDefinitelyUnrelated(source, target) ? 0 : -1;
                         }
-                        instantiateType(source, makeFunctionTypeMapper(reportUnreliableMarkers));
+                        instantiateType(source, reportUnreliableMapper);
                     }
                     if (isTypeMatchedByTemplateLiteralType(source, target)) {
                         return -1;
@@ -55533,25 +55606,13 @@ var ts;
                     }
                 }
             }
-            function reportUnmeasurableMarkers(p) {
-                if (outofbandVarianceMarkerHandler && (p === markerSuperType || p === markerSubType || p === markerOtherType)) {
-                    outofbandVarianceMarkerHandler(false);
-                }
-                return p;
-            }
-            function reportUnreliableMarkers(p) {
-                if (outofbandVarianceMarkerHandler && (p === markerSuperType || p === markerSubType || p === markerOtherType)) {
-                    outofbandVarianceMarkerHandler(true);
-                }
-                return p;
-            }
             function mappedTypeRelatedTo(source, target, reportErrors) {
                 var modifiersRelated = relation === comparableRelation || (relation === identityRelation ? getMappedTypeModifiers(source) === getMappedTypeModifiers(target) :
                     getCombinedMappedTypeOptionality(source) <= getCombinedMappedTypeOptionality(target));
                 if (modifiersRelated) {
                     var result_10;
                     var targetConstraint = getConstraintTypeFromMappedType(target);
-                    var sourceConstraint = instantiateType(getConstraintTypeFromMappedType(source), makeFunctionTypeMapper(getCombinedMappedTypeOptionality(source) < 0 ? reportUnmeasurableMarkers : reportUnreliableMarkers));
+                    var sourceConstraint = instantiateType(getConstraintTypeFromMappedType(source), getCombinedMappedTypeOptionality(source) < 0 ? reportUnmeasurableMapper : reportUnreliableMapper);
                     if (result_10 = isRelatedTo(targetConstraint, sourceConstraint, 3, reportErrors)) {
                         var mapper = createTypeMapper([getTypeParameterFromMappedType(source)], [getTypeParameterFromMappedType(target)]);
                         if (instantiateType(getNameTypeFromMappedType(source), mapper) === instantiateType(getNameTypeFromMappedType(target), mapper)) {
@@ -55587,11 +55648,11 @@ var ts;
                 }
                 var discriminantCombinations = ts.cartesianProduct(sourceDiscriminantTypes);
                 var matchingTypes = [];
-                var _loop_20 = function (combination) {
+                var _loop_21 = function (combination) {
                     var hasMatch = false;
                     outer: for (var _c = 0, _d = target.types; _c < _d.length; _c++) {
                         var type = _d[_c];
-                        var _loop_21 = function (i) {
+                        var _loop_22 = function (i) {
                             var sourceProperty = sourcePropertiesFiltered[i];
                             var targetProperty = getPropertyOfType(type, sourceProperty.escapedName);
                             if (!targetProperty)
@@ -55604,7 +55665,7 @@ var ts;
                             }
                         };
                         for (var i = 0; i < sourcePropertiesFiltered.length; i++) {
-                            var state_8 = _loop_21(i);
+                            var state_8 = _loop_22(i);
                             switch (state_8) {
                                 case "continue-outer": continue outer;
                             }
@@ -55618,7 +55679,7 @@ var ts;
                 };
                 for (var _a = 0, discriminantCombinations_1 = discriminantCombinations; _a < discriminantCombinations_1.length; _a++) {
                     var combination = discriminantCombinations_1[_a];
-                    var state_7 = _loop_20(combination);
+                    var state_7 = _loop_21(combination);
                     if (typeof state_7 === "object")
                         return state_7.value;
                 }
@@ -56024,7 +56085,7 @@ var ts;
                 return function (source, target) { return reportIncompatibleError(ts.Diagnostics.Construct_signature_return_types_0_and_1_are_incompatible, typeToString(source), typeToString(target)); };
             }
             function signatureRelatedTo(source, target, erase, reportErrors, incompatibleReporter) {
-                return compareSignaturesRelated(erase ? getErasedSignature(source) : source, erase ? getErasedSignature(target) : target, relation === strictSubtypeRelation ? 8 : 0, reportErrors, reportError, incompatibleReporter, isRelatedToWorker, makeFunctionTypeMapper(reportUnreliableMarkers));
+                return compareSignaturesRelated(erase ? getErasedSignature(source) : source, erase ? getErasedSignature(target) : target, relation === strictSubtypeRelation ? 8 : 0, reportErrors, reportError, incompatibleReporter, isRelatedToWorker, reportUnreliableMapper);
             }
             function signaturesIdenticalTo(source, target, kind) {
                 var sourceSignatures = getSignaturesOfType(source, kind);
@@ -56262,7 +56323,7 @@ var ts;
                 ts.tracing === null || ts.tracing === void 0 ? void 0 : ts.tracing.push("checkTypes", "getVariancesWorker", { arity: typeParameters.length, id: getTypeId(getDeclaredTypeOfSymbol(symbol)) });
                 links.variances = ts.emptyArray;
                 var variances = [];
-                var _loop_22 = function (tp) {
+                var _loop_23 = function (tp) {
                     var modifiers = getVarianceModifiers(tp);
                     var variance = modifiers & 65536 ?
                         modifiers & 32768 ? 0 : 1 :
@@ -56291,12 +56352,12 @@ var ts;
                     }
                     variances.push(variance);
                 };
-                for (var _i = 0, typeParameters_1 = typeParameters; _i < typeParameters_1.length; _i++) {
-                    var tp = typeParameters_1[_i];
-                    _loop_22(tp);
+                for (var _i = 0, typeParameters_2 = typeParameters; _i < typeParameters_2.length; _i++) {
+                    var tp = typeParameters_2[_i];
+                    _loop_23(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;
         }
@@ -57161,25 +57222,27 @@ var ts;
                 signature: signature,
                 flags: flags,
                 compareTypes: compareTypes,
-                mapper: makeFunctionTypeMapper(function (t) { return mapToInferredType(context, t, true); }),
-                nonFixingMapper: makeFunctionTypeMapper(function (t) { return mapToInferredType(context, t, false); }),
+                mapper: reportUnmeasurableMapper,
+                nonFixingMapper: reportUnmeasurableMapper,
             };
+            context.mapper = makeFixingMapperForContext(context);
+            context.nonFixingMapper = makeNonFixingMapperForContext(context);
             return context;
         }
-        function mapToInferredType(context, t, fix) {
-            var inferences = context.inferences;
-            for (var i = 0; i < inferences.length; i++) {
-                var inference = inferences[i];
-                if (t === inference.typeParameter) {
-                    if (fix && !inference.isFixed) {
-                        inferFromIntraExpressionSites(context);
-                        clearCachedInferences(inferences);
-                        inference.isFixed = true;
-                    }
-                    return getInferredType(context, i);
+        function makeFixingMapperForContext(context) {
+            return makeDeferredTypeMapper(ts.map(context.inferences, function (i) { return i.typeParameter; }), ts.map(context.inferences, function (inference, i) { return function () {
+                if (!inference.isFixed) {
+                    inferFromIntraExpressionSites(context);
+                    clearCachedInferences(context.inferences);
+                    inference.isFixed = true;
                 }
-            }
-            return t;
+                return getInferredType(context, i);
+            }; }));
+        }
+        function makeNonFixingMapperForContext(context) {
+            return makeDeferredTypeMapper(ts.map(context.inferences, function (i) { return i.typeParameter; }), ts.map(context.inferences, function (_, i) { return function () {
+                return getInferredType(context, i);
+            }; }));
         }
         function clearCachedInferences(inferences) {
             for (var _i = 0, inferences_1 = inferences; _i < inferences_1.length; _i++) {
@@ -57929,7 +57992,7 @@ var ts;
                 var matches = inferTypesFromTemplateLiteralType(source, target);
                 var types = target.types;
                 if (matches || ts.every(target.texts, function (s) { return s.length === 0; })) {
-                    var _loop_23 = function (i) {
+                    var _loop_24 = function (i) {
                         var source_1 = matches ? matches[i] : neverType;
                         var target_3 = types[i];
                         if (source_1.flags & 128 && target_3.flags & 8650752) {
@@ -57973,7 +58036,7 @@ var ts;
                         inferFromTypes(source_1, target_3);
                     };
                     for (var i = 0; i < types.length; i++) {
-                        _loop_23(i);
+                        _loop_24(i);
                     }
                 }
             }
@@ -58443,7 +58506,7 @@ var ts;
         function mapTypesByKeyProperty(types, name) {
             var map = new ts.Map();
             var count = 0;
-            var _loop_24 = function (type) {
+            var _loop_25 = function (type) {
                 if (type.flags & (524288 | 2097152 | 58982400)) {
                     var discriminant = getTypeOfPropertyOfType(type, name);
                     if (discriminant) {
@@ -58469,7 +58532,7 @@ var ts;
             };
             for (var _i = 0, types_15 = types; _i < types_15.length; _i++) {
                 var type = types_15[_i];
-                var state_9 = _loop_24(type);
+                var state_9 = _loop_25(type);
                 if (typeof state_9 === "object")
                     return state_9.value;
             }
@@ -63878,7 +63941,7 @@ var ts;
             var spreadIndex = getSpreadArgumentIndex(args);
             if (spreadIndex >= 0) {
                 var effectiveArgs_1 = args.slice(0, spreadIndex);
-                var _loop_25 = function (i) {
+                var _loop_26 = function (i) {
                     var arg = args[i];
                     var spreadType = arg.kind === 225 && (flowLoopCount ? checkExpression(arg.expression) : checkExpressionCached(arg.expression));
                     if (spreadType && isTupleType(spreadType)) {
@@ -63894,7 +63957,7 @@ var ts;
                     }
                 };
                 for (var i = spreadIndex; i < args.length; i++) {
-                    _loop_25(i);
+                    _loop_26(i);
                 }
                 return effectiveArgs_1;
             }
@@ -64144,7 +64207,7 @@ var ts;
                         var min_3 = Number.MAX_VALUE;
                         var minIndex = 0;
                         var i_1 = 0;
-                        var _loop_26 = function (c) {
+                        var _loop_27 = function (c) {
                             var chain_2 = function () { return ts.chainDiagnosticMessages(undefined, ts.Diagnostics.Overload_0_of_1_2_gave_the_following_error, i_1 + 1, candidates.length, signatureToString(c)); };
                             var diags_2 = getSignatureApplicabilityError(node, args, c, assignableRelation, 0, true, chain_2);
                             if (diags_2) {
@@ -64162,7 +64225,7 @@ var ts;
                         };
                         for (var _a = 0, candidatesForArgumentError_1 = candidatesForArgumentError; _a < candidatesForArgumentError_1.length; _a++) {
                             var c = candidatesForArgumentError_1[_a];
-                            _loop_26(c);
+                            _loop_27(c);
                         }
                         var diags_3 = max > 1 ? allDiagnostics[minIndex] : ts.flatten(allDiagnostics);
                         ts.Debug.assert(diags_3.length > 0, "No errors reported for 3 or fewer overload signatures");
@@ -64305,7 +64368,7 @@ var ts;
             }
             var _a = ts.minAndMax(candidates, getNumNonRestParameters), minArgumentCount = _a.min, maxNonRestParam = _a.max;
             var parameters = [];
-            var _loop_27 = function (i) {
+            var _loop_28 = function (i) {
                 var symbols = ts.mapDefined(candidates, function (s) { return signatureHasRestParameter(s) ?
                     i < s.parameters.length - 1 ? s.parameters[i] : ts.last(s.parameters) :
                     i < s.parameters.length ? s.parameters[i] : undefined; });
@@ -64313,7 +64376,7 @@ var ts;
                 parameters.push(createCombinedSymbolFromTypes(symbols, ts.mapDefined(candidates, function (candidate) { return tryGetTypeAtPosition(candidate, i); })));
             };
             for (var i = 0; i < maxNonRestParam; i++) {
-                _loop_27(i);
+                _loop_28(i);
             }
             var restParameterSymbols = ts.mapDefined(candidates, function (c) { return signatureHasRestParameter(c) ? ts.last(c.parameters) : undefined; });
             var flags = 0;
@@ -67290,8 +67353,8 @@ var ts;
             var result = [];
             var oldTypeParameters;
             var newTypeParameters;
-            for (var _i = 0, typeParameters_2 = typeParameters; _i < typeParameters_2.length; _i++) {
-                var tp = typeParameters_2[_i];
+            for (var _i = 0, typeParameters_3 = typeParameters; _i < typeParameters_3.length; _i++) {
+                var tp = typeParameters_3[_i];
                 var name = tp.symbol.escapedName;
                 if (hasTypeParameterByName(context.inferredTypeParameters, name) || hasTypeParameterByName(result, name)) {
                     var newName = getUniqueTypeParameterName(ts.concatenate(context.inferredTypeParameters, result), name);
@@ -67584,12 +67647,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();
                     }
                 }
             }
@@ -67899,7 +67964,7 @@ var ts;
             var indexSymbol = getIndexSymbol(getSymbolOfNode(node));
             if (indexSymbol === null || indexSymbol === void 0 ? void 0 : indexSymbol.declarations) {
                 var indexSignatureMap_1 = new ts.Map();
-                var _loop_28 = function (declaration) {
+                var _loop_29 = function (declaration) {
                     if (declaration.parameters.length === 1 && declaration.parameters[0].type) {
                         forEachType(getTypeFromTypeNode(declaration.parameters[0].type), function (type) {
                             var entry = indexSignatureMap_1.get(getTypeId(type));
@@ -67914,7 +67979,7 @@ var ts;
                 };
                 for (var _i = 0, _a = indexSymbol.declarations; _i < _a.length; _i++) {
                     var declaration = _a[_i];
-                    _loop_28(declaration);
+                    _loop_29(declaration);
                 }
                 indexSignatureMap_1.forEach(function (entry) {
                     if (entry.declarations.length > 1) {
@@ -68106,6 +68171,12 @@ var ts;
         function checkMissingDeclaration(node) {
             checkDecorators(node);
         }
+        function getEffectiveTypeArgumentAtIndex(node, typeParameters, index) {
+            if (index < typeParameters.length) {
+                return getTypeFromTypeNode(node.typeArguments[index]);
+            }
+            return getEffectiveTypeArguments(node, typeParameters)[index];
+        }
         function getEffectiveTypeArguments(node, typeParameters) {
             return fillMissingTypeArguments(ts.map(node.typeArguments, getTypeFromTypeNode), typeParameters, getMinTypeArgumentCount(typeParameters), ts.isInJSFile(node));
         }
@@ -68763,20 +68834,30 @@ var ts;
                 isAwaitedTypeInstantiation(type) ? type.aliasTypeArguments[0] :
                     type;
         }
-        function createAwaitedTypeIfNeeded(type) {
-            if (isTypeAny(type)) {
-                return type;
-            }
-            if (isAwaitedTypeInstantiation(type)) {
-                return type;
+        function isAwaitedTypeNeeded(type) {
+            if (isTypeAny(type) || isAwaitedTypeInstantiation(type)) {
+                return false;
             }
             if (isGenericObjectType(type)) {
                 var baseConstraint = getBaseConstraintOfType(type);
                 if (!baseConstraint || (baseConstraint.flags & 3) || isEmptyObjectType(baseConstraint) || isThenableType(baseConstraint)) {
-                    var awaitedSymbol = getGlobalAwaitedSymbol(true);
-                    if (awaitedSymbol) {
-                        return getTypeAliasInstantiation(awaitedSymbol, [unwrapAwaitedType(type)]);
-                    }
+                    return true;
+                }
+            }
+            return false;
+        }
+        function tryCreateAwaitedType(type) {
+            var awaitedSymbol = getGlobalAwaitedSymbol(true);
+            if (awaitedSymbol) {
+                return getTypeAliasInstantiation(awaitedSymbol, [unwrapAwaitedType(type)]);
+            }
+            return undefined;
+        }
+        function createAwaitedTypeIfNeeded(type) {
+            if (isAwaitedTypeNeeded(type)) {
+                var awaitedType = tryCreateAwaitedType(type);
+                if (awaitedType) {
+                    return awaitedType;
                 }
             }
             ts.Debug.assert(getPromisedTypeOfPromise(type) === undefined, "type provided should not be a non-generic 'promise'-like.");
@@ -68798,8 +68879,20 @@ 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;
+            }
+            if (isAwaitedTypeNeeded(type)) {
+                return typeAsAwaitable.awaitedTypeOfType = type;
             }
             var thisTypeForErrorOut = { value: undefined };
             var promisedType = getPromisedTypeOfPromise(type, undefined, thisTypeForErrorOut);
@@ -69304,8 +69397,8 @@ var ts;
                 return;
             var typeParameters = ts.getEffectiveTypeParameterDeclarations(node);
             var seenParentsWithEveryUnused = new ts.Set();
-            for (var _i = 0, typeParameters_3 = typeParameters; _i < typeParameters_3.length; _i++) {
-                var typeParameter = typeParameters_3[_i];
+            for (var _i = 0, typeParameters_4 = typeParameters; _i < typeParameters_4.length; _i++) {
+                var typeParameter = typeParameters_4[_i];
                 if (!isTypeParameterUnused(typeParameter))
                     continue;
                 var name = ts.idText(typeParameter.name);
@@ -70769,7 +70862,7 @@ var ts;
             var interfaceDeclaration = ts.getObjectFlags(type) & 2 ? ts.getDeclarationOfKind(type.symbol, 258) : undefined;
             var localPropDeclaration = declaration && declaration.kind === 221 ||
                 name && name.kind === 162 || getParentOfSymbol(prop) === type.symbol ? declaration : undefined;
-            var _loop_29 = function (info) {
+            var _loop_30 = function (info) {
                 var localIndexDeclaration = info.declaration && getParentOfSymbol(getSymbolOfNode(info.declaration)) === type.symbol ? info.declaration : undefined;
                 var errorNode = localPropDeclaration || localIndexDeclaration ||
                     (interfaceDeclaration && !ts.some(getBaseTypes(type), function (base) { return !!getPropertyOfObjectType(base, prop.escapedName) && !!getIndexTypeOfType(base, info.keyType); }) ? interfaceDeclaration : undefined);
@@ -70779,7 +70872,7 @@ var ts;
             };
             for (var _i = 0, indexInfos_9 = indexInfos; _i < indexInfos_9.length; _i++) {
                 var info = indexInfos_9[_i];
-                _loop_29(info);
+                _loop_30(info);
             }
         }
         function checkIndexConstraintForIndexSignature(type, checkInfo) {
@@ -70787,7 +70880,7 @@ var ts;
             var indexInfos = getApplicableIndexInfos(type, checkInfo.keyType);
             var interfaceDeclaration = ts.getObjectFlags(type) & 2 ? ts.getDeclarationOfKind(type.symbol, 258) : undefined;
             var localCheckDeclaration = declaration && getParentOfSymbol(getSymbolOfNode(declaration)) === type.symbol ? declaration : undefined;
-            var _loop_30 = function (info) {
+            var _loop_31 = function (info) {
                 if (info === checkInfo)
                     return "continue";
                 var localIndexDeclaration = info.declaration && getParentOfSymbol(getSymbolOfNode(info.declaration)) === type.symbol ? info.declaration : undefined;
@@ -70799,7 +70892,7 @@ var ts;
             };
             for (var _i = 0, indexInfos_10 = indexInfos; _i < indexInfos_10.length; _i++) {
                 var info = indexInfos_10[_i];
-                _loop_30(info);
+                _loop_31(info);
             }
         }
         function checkTypeNameIsReserved(name, message) {
@@ -71094,7 +71187,7 @@ var ts;
             var baseTypes = baseTypeNode && getBaseTypes(type);
             var baseWithThis = (baseTypes === null || baseTypes === void 0 ? void 0 : baseTypes.length) ? getTypeWithThisArgument(ts.first(baseTypes), type.thisType) : undefined;
             var baseStaticType = getBaseConstructorTypeOfClass(type);
-            var _loop_31 = function (member) {
+            var _loop_32 = function (member) {
                 if (ts.hasAmbientModifier(member)) {
                     return "continue";
                 }
@@ -71109,7 +71202,7 @@ var ts;
             };
             for (var _i = 0, _a = node.members; _i < _a.length; _i++) {
                 var member = _a[_i];
-                _loop_31(member);
+                _loop_32(member);
             }
         }
         function checkExistingMemberForOverrideModifier(node, staticType, baseStaticType, baseWithThis, type, typeWithThis, member, memberIsParameterProperty, reportErrors) {
@@ -71184,7 +71277,7 @@ var ts;
         }
         function issueMemberSpecificError(node, typeWithThis, baseWithThis, broadDiag) {
             var issuedMemberError = false;
-            var _loop_32 = function (member) {
+            var _loop_33 = function (member) {
                 if (ts.isStatic(member)) {
                     return "continue";
                 }
@@ -71202,7 +71295,7 @@ var ts;
             };
             for (var _i = 0, _a = node.members; _i < _a.length; _i++) {
                 var member = _a[_i];
-                _loop_32(member);
+                _loop_33(member);
             }
             if (!issuedMemberError) {
                 checkTypeAssignableTo(typeWithThis, baseWithThis, node.name || node, broadDiag);
@@ -71249,7 +71342,7 @@ var ts;
         function checkKindsOfPropertyMemberOverrides(type, baseType) {
             var _a, _b, _c, _d;
             var baseProperties = getPropertiesOfType(baseType);
-            var _loop_33 = function (baseProperty) {
+            var _loop_34 = function (baseProperty) {
                 var base = getTargetSymbol(baseProperty);
                 if (base.flags & 4194304) {
                     return "continue";
@@ -71347,7 +71440,7 @@ var ts;
             };
             basePropertyCheck: for (var _i = 0, baseProperties_1 = baseProperties; _i < baseProperties_1.length; _i++) {
                 var baseProperty = baseProperties_1[_i];
-                var state_10 = _loop_33(baseProperty);
+                var state_10 = _loop_34(baseProperty);
                 switch (state_10) {
                     case "continue-basePropertyCheck": continue basePropertyCheck;
                 }
@@ -91819,7 +91912,6 @@ var ts;
                         newBuildInfo.program = buildInfo.program;
                         if (newBuildInfo.program && changedDtsText !== undefined && config.options.composite) {
                             newBuildInfo.program.outSignature = ts.computeSignature(changedDtsText, createHash, changedDtsData);
-                            newBuildInfo.program.dtsChangeTime = ts.getCurrentTime(host).getTime();
                         }
                         var _a = buildInfo.bundle, js = _a.js, dts = _a.dts, sourceFiles = _a.sourceFiles;
                         newBuildInfo.bundle.js.sources = js.sources;
@@ -100197,7 +100289,7 @@ var ts;
             state.outSignature = oldState === null || oldState === void 0 ? void 0 : oldState.outSignature;
         }
         state.changedFilesSet = new ts.Set();
-        state.dtsChangeTime = compilerOptions.composite ? oldState === null || oldState === void 0 ? void 0 : oldState.dtsChangeTime : undefined;
+        state.latestChangedDtsFile = compilerOptions.composite ? oldState === null || oldState === void 0 ? void 0 : oldState.latestChangedDtsFile : undefined;
         var useOldState = ts.BuilderState.canReuseOldState(state.referencedMap, oldState);
         var oldCompilerOptions = useOldState ? oldState.compilerOptions : undefined;
         var canCopySemanticDiagnostics = useOldState && oldState.semanticDiagnosticsPerFile && !!state.semanticDiagnosticsPerFile &&
@@ -100304,7 +100396,7 @@ var ts;
             programEmitComplete: state.programEmitComplete,
             emitSignatures: state.emitSignatures && new ts.Map(state.emitSignatures),
             outSignature: state.outSignature,
-            dtsChangeTime: state.dtsChangeTime,
+            latestChangedDtsFile: state.latestChangedDtsFile,
             hasChangedEmitSignature: state.hasChangedEmitSignature,
             changedFilesSet: outFilePath ? new ts.Set(state.changedFilesSet) : undefined,
         };
@@ -100317,7 +100409,7 @@ var ts;
         state.programEmitComplete = savedEmitState.programEmitComplete;
         state.emitSignatures = savedEmitState.emitSignatures;
         state.outSignature = savedEmitState.outSignature;
-        state.dtsChangeTime = savedEmitState.dtsChangeTime;
+        state.latestChangedDtsFile = savedEmitState.latestChangedDtsFile;
         state.hasChangedEmitSignature = savedEmitState.hasChangedEmitSignature;
         if (savedEmitState.changedFilesSet)
             state.changedFilesSet = savedEmitState.changedFilesSet;
@@ -100547,13 +100639,13 @@ var ts;
         return !!ts.outFile(info.options || {});
     }
     ts.isProgramBundleEmitBuildInfo = isProgramBundleEmitBuildInfo;
-    function getProgramBuildInfo(state, getCanonicalFileName, host) {
+    function getProgramBuildInfo(state, getCanonicalFileName) {
         var outFilePath = ts.outFile(state.compilerOptions);
         if (outFilePath && !state.compilerOptions.composite)
             return;
         var currentDirectory = ts.Debug.checkDefined(state.program).getCurrentDirectory();
         var buildInfoDirectory = ts.getDirectoryPath(ts.getNormalizedAbsolutePath(ts.getTsBuildInfoEmitOutputFilePath(state.compilerOptions), currentDirectory));
-        state.dtsChangeTime = state.hasChangedEmitSignature ? ts.getCurrentTime(host).getTime() : state.dtsChangeTime;
+        var latestChangedDtsFile = state.latestChangedDtsFile ? relativeToBuildInfoEnsuringAbsolutePath(state.latestChangedDtsFile) : undefined;
         if (outFilePath) {
             var fileNames_1 = [];
             var fileInfos_1 = [];
@@ -100569,7 +100661,7 @@ var ts;
                 fileInfos: fileInfos_1,
                 options: convertToProgramBuildInfoCompilerOptions(state.compilerOptions, "affectsBundleEmitBuildInfo"),
                 outSignature: state.outSignature,
-                dtsChangeTime: state.dtsChangeTime,
+                latestChangedDtsFile: latestChangedDtsFile,
             };
             return result_15;
         }
@@ -100664,7 +100756,7 @@ var ts;
             affectedFilesPendingEmit: affectedFilesPendingEmit,
             changeFileSet: changeFileSet,
             emitSignatures: emitSignatures,
-            dtsChangeTime: state.dtsChangeTime,
+            latestChangedDtsFile: latestChangedDtsFile,
         };
         return result;
         function relativeToBuildInfoEnsuringAbsolutePath(path) {
@@ -100822,7 +100914,7 @@ var ts;
         var getCanonicalFileName = ts.createGetCanonicalFileName(host.useCaseSensitiveFileNames());
         var computeHash = ts.maybeBind(host, host.createHash);
         var state = createBuilderProgramState(newProgram, getCanonicalFileName, oldState, host.disableUseFileVersionAsSignature);
-        newProgram.getProgramBuildInfo = function () { return getProgramBuildInfo(state, getCanonicalFileName, host); };
+        newProgram.getProgramBuildInfo = function () { return getProgramBuildInfo(state, getCanonicalFileName); };
         newProgram = undefined;
         oldProgram = undefined;
         oldState = undefined;
@@ -100831,6 +100923,7 @@ var ts;
         builderProgram.getState = getState;
         builderProgram.saveEmitState = function () { return backupBuilderProgramEmitState(state); };
         builderProgram.restoreEmitState = function (saved) { return restoreBuilderProgramEmitState(state, saved); };
+        builderProgram.hasChangedEmitSignature = function () { return !!state.hasChangedEmitSignature; };
         builderProgram.getAllDependencies = function (sourceFile) { return ts.BuilderState.getAllDependencies(state, ts.Debug.checkDefined(state.program), sourceFile); };
         builderProgram.getSemanticDiagnostics = getSemanticDiagnostics;
         builderProgram.emit = emit;
@@ -100919,18 +101012,20 @@ var ts;
                             var filePath = sourceFiles[0].resolvedPath;
                             var oldSignature = (_f = state.emitSignatures) === null || _f === void 0 ? void 0 : _f.get(filePath);
                             emitSignature !== null && emitSignature !== void 0 ? emitSignature : (emitSignature = computeSignature(text, computeHash, data));
-                            if (emitSignature !== oldSignature) {
-                                ((_g = state.emitSignatures) !== null && _g !== void 0 ? _g : (state.emitSignatures = new ts.Map())).set(filePath, emitSignature);
-                                state.hasChangedEmitSignature = true;
-                            }
+                            if (emitSignature === oldSignature)
+                                return;
+                            ((_g = state.emitSignatures) !== null && _g !== void 0 ? _g : (state.emitSignatures = new ts.Map())).set(filePath, emitSignature);
+                            state.hasChangedEmitSignature = true;
+                            state.latestChangedDtsFile = fileName;
                         }
                     }
                     else if (state.compilerOptions.composite) {
                         var newSignature = computeSignature(text, computeHash, data);
-                        if (newSignature !== state.outSignature) {
-                            state.outSignature = newSignature;
-                            state.hasChangedEmitSignature = true;
-                        }
+                        if (newSignature === state.outSignature)
+                            return;
+                        state.outSignature = newSignature;
+                        state.hasChangedEmitSignature = true;
+                        state.latestChangedDtsFile = fileName;
                     }
                 }
                 if (writeFile)
@@ -101051,11 +101146,12 @@ var ts;
         var state;
         var filePaths;
         var filePathsSetList;
+        var latestChangedDtsFile = program.latestChangedDtsFile ? toAbsolutePath(program.latestChangedDtsFile) : undefined;
         if (isProgramBundleEmitBuildInfo(program)) {
             state = {
                 fileInfos: new ts.Map(),
                 compilerOptions: program.options ? ts.convertToOptionsWithAbsolutePaths(program.options, toAbsolutePath) : {},
-                dtsChangeTime: program.dtsChangeTime,
+                latestChangedDtsFile: latestChangedDtsFile,
                 outSignature: program.outSignature,
             };
         }
@@ -101088,7 +101184,7 @@ var ts;
                 affectedFilesPendingEmitKind: program.affectedFilesPendingEmit && ts.arrayToMap(program.affectedFilesPendingEmit, function (value) { return toFilePath(value[0]); }, function (value) { return value[1]; }),
                 affectedFilesPendingEmitIndex: program.affectedFilesPendingEmit && 0,
                 changedFilesSet: new ts.Set(ts.map(program.changeFileSet, toFilePath)),
-                dtsChangeTime: program.dtsChangeTime,
+                latestChangedDtsFile: latestChangedDtsFile,
                 emitSignatures: (emitSignatures_1 === null || emitSignatures_1 === void 0 ? void 0 : emitSignatures_1.size) ? emitSignatures_1 : undefined,
             };
         }
@@ -101115,6 +101211,7 @@ var ts;
             getSemanticDiagnosticsOfNextAffectedFile: ts.notImplemented,
             emitBuildInfo: ts.notImplemented,
             close: ts.noop,
+            hasChangedEmitSignature: ts.returnFalse,
         };
         function toPath(path) {
             return ts.toPath(path, buildInfoDirectory, getCanonicalFileName);
@@ -102255,7 +102352,7 @@ var ts;
                 importedFileFromNodeModules = importedFileFromNodeModules || isInNodeModules;
             });
             var sortedPaths = [];
-            var _loop_34 = function (directory) {
+            var _loop_35 = function (directory) {
                 var directoryStart = ts.ensureTrailingDirectorySeparator(directory);
                 var pathsInDirectory;
                 allFileNames.forEach(function (_a, fileName) {
@@ -102279,7 +102376,7 @@ var ts;
             };
             var out_directory_1;
             for (var directory = ts.getDirectoryPath(importingFileName); allFileNames.size !== 0;) {
-                var state_11 = _loop_34(directory);
+                var state_11 = _loop_35(directory);
                 directory = out_directory_1;
                 if (state_11 === "break")
                     break;
@@ -103052,7 +103149,6 @@ var ts;
             readDirectory: ts.maybeBind(host, host.readDirectory),
             disableUseFileVersionAsSignature: host.disableUseFileVersionAsSignature,
             storeFilesChangingSignatureDuringEmit: host.storeFilesChangingSignatureDuringEmit,
-            now: ts.maybeBind(host, host.now),
         };
         function writeFile(fileName, text, writeByteOrderMark, onError) {
             try {
@@ -103191,7 +103287,6 @@ var ts;
         host.createHash = ts.maybeBind(system, system.createHash);
         host.disableUseFileVersionAsSignature = system.disableUseFileVersionAsSignature;
         host.storeFilesChangingSignatureDuringEmit = system.storeFilesChangingSignatureDuringEmit;
-        host.now = ts.maybeBind(system, system.now);
         ts.setGetSourceFileAsHashVersioned(host, system);
         ts.changeCompilerHostLikeToUseCache(host, function (fileName) { return ts.toPath(fileName, host.getCurrentDirectory(), host.getCanonicalFileName); });
         return host;
@@ -104415,8 +104510,7 @@ var ts;
                 };
             }
             var host = state.host, compilerHost = state.compilerHost;
-            var resultFlags = BuildResultFlags.DeclarationOutputUnchanged;
-            var existingBuildInfo = ((_d = state.buildInfoCache.get(projectPath)) === null || _d === void 0 ? void 0 : _d.buildInfo) || undefined;
+            var resultFlags = ((_d = program.hasChangedEmitSignature) === null || _d === void 0 ? void 0 : _d.call(program)) ? BuildResultFlags.None : BuildResultFlags.DeclarationOutputUnchanged;
             var emitterDiagnostics = ts.createDiagnosticCollection();
             var emittedOutputs = new ts.Map();
             var options = program.getCompilerOptions();
@@ -104424,16 +104518,11 @@ var ts;
             var outputTimeStampMap;
             var now;
             outputFiles.forEach(function (_a) {
-                var _b, _c;
                 var name = _a.name, text = _a.text, writeByteOrderMark = _a.writeByteOrderMark, buildInfo = _a.buildInfo;
                 var path = toPath(state, name);
                 emittedOutputs.set(toPath(state, name), name);
-                if (buildInfo) {
-                    setBuildInfo(state, buildInfo, projectPath, options);
-                    if (((_b = buildInfo.program) === null || _b === void 0 ? void 0 : _b.dtsChangeTime) !== ((_c = existingBuildInfo === null || existingBuildInfo === void 0 ? void 0 : existingBuildInfo.program) === null || _c === void 0 ? void 0 : _c.dtsChangeTime)) {
-                        resultFlags &= ~BuildResultFlags.DeclarationOutputUnchanged;
-                    }
-                }
+                if (buildInfo)
+                    setBuildInfo(state, buildInfo, projectPath, options, resultFlags);
                 ts.writeFile(writeFileCallback ? { writeFile: writeFileCallback } : compilerHost, emitterDiagnostics, name, text, writeByteOrderMark);
                 if (!isIncremental && state.watch) {
                     (outputTimeStampMap || (outputTimeStampMap = getOutputTimeStampMap(state, projectPath))).set(path, now || (now = getCurrentTime(state.host)));
@@ -104447,7 +104536,7 @@ var ts;
             ts.Debug.assert(step === BuildStep.EmitBuildInfo);
             var emitResult = program.emitBuildInfo(function (name, text, writeByteOrderMark, onError, sourceFiles, data) {
                 if (data === null || data === void 0 ? void 0 : data.buildInfo)
-                    setBuildInfo(state, data.buildInfo, projectPath, program.getCompilerOptions());
+                    setBuildInfo(state, data.buildInfo, projectPath, program.getCompilerOptions(), BuildResultFlags.DeclarationOutputUnchanged);
                 if (writeFileCallback)
                     writeFileCallback(name, text, writeByteOrderMark, onError, sourceFiles, data);
                 else
@@ -104479,7 +104568,6 @@ var ts;
             state.diagnostics.delete(projectPath);
             state.projectStatus.set(projectPath, {
                 type: ts.UpToDateStatusType.UpToDate,
-                newestDeclarationFileContentChangedTime: getDtsChangeTime(state, config.options, projectPath),
                 oldestOutputFileName: oldestOutputFileName
             });
             afterProgramDone(state, program, config);
@@ -104519,10 +104607,10 @@ var ts;
                 var name = _a.name, text = _a.text, writeByteOrderMark = _a.writeByteOrderMark, buildInfo = _a.buildInfo;
                 emittedOutputs.set(toPath(state, name), name);
                 if (buildInfo) {
-                    setBuildInfo(state, buildInfo, projectPath, config.options);
-                    if (((_b = buildInfo.program) === null || _b === void 0 ? void 0 : _b.dtsChangeTime) !== ((_c = existingBuildInfo.program) === null || _c === void 0 ? void 0 : _c.dtsChangeTime)) {
+                    if (((_b = buildInfo.program) === null || _b === void 0 ? void 0 : _b.outSignature) !== ((_c = existingBuildInfo.program) === null || _c === void 0 ? void 0 : _c.outSignature)) {
                         resultFlags &= ~BuildResultFlags.DeclarationOutputUnchanged;
                     }
+                    setBuildInfo(state, buildInfo, projectPath, config.options, resultFlags);
                 }
                 ts.writeFile(writeFileCallback ? { writeFile: writeFileCallback } : compilerHost, emitterDiagnostics, name, text, writeByteOrderMark);
             });
@@ -104771,15 +104859,23 @@ var ts;
             state.outputTimeStamps.set(resolvedConfigFilePath, result = new ts.Map());
         return result;
     }
-    function setBuildInfo(state, buildInfo, resolvedConfigPath, options) {
+    function setBuildInfo(state, buildInfo, resolvedConfigPath, options, resultFlags) {
         var buildInfoPath = ts.getTsBuildInfoEmitOutputFilePath(options);
         var existing = getBuildInfoCacheEntry(state, buildInfoPath, resolvedConfigPath);
+        var modifiedTime = getCurrentTime(state.host);
         if (existing) {
             existing.buildInfo = buildInfo;
-            existing.modifiedTime = getCurrentTime(state.host);
+            existing.modifiedTime = modifiedTime;
+            if (!(resultFlags & BuildResultFlags.DeclarationOutputUnchanged))
+                existing.latestChangedDtsTime = modifiedTime;
         }
         else {
-            state.buildInfoCache.set(resolvedConfigPath, { path: toPath(state, buildInfoPath), buildInfo: buildInfo, modifiedTime: getCurrentTime(state.host) });
+            state.buildInfoCache.set(resolvedConfigPath, {
+                path: toPath(state, buildInfoPath),
+                buildInfo: buildInfo,
+                modifiedTime: modifiedTime,
+                latestChangedDtsTime: resultFlags & BuildResultFlags.DeclarationOutputUnchanged ? undefined : modifiedTime,
+            });
         }
     }
     function getBuildInfoCacheEntry(state, buildInfoPath, resolvedConfigPath) {
@@ -104810,7 +104906,7 @@ var ts;
         }
     }
     function getUpToDateStatusWorker(state, project, resolvedPath) {
-        var _a, _b, _c;
+        var _a, _b;
         if (!project.fileNames.length && !ts.canJsonReportNoInputFiles(project.raw)) {
             return {
                 type: ts.UpToDateStatusType.ContainerOnly
@@ -104820,8 +104916,8 @@ var ts;
         var force = !!state.options.force;
         if (project.projectReferences) {
             state.projectStatus.set(resolvedPath, { type: ts.UpToDateStatusType.ComputingUpstream });
-            for (var _i = 0, _d = project.projectReferences; _i < _d.length; _i++) {
-                var ref = _d[_i];
+            for (var _i = 0, _c = project.projectReferences; _i < _c.length; _i++) {
+                var ref = _c[_i];
                 var resolvedRef = ts.resolveProjectReferencePath(ref);
                 var resolvedRefPath = toResolvedConfigFilePath(state, resolvedRef);
                 var resolvedConfig = parseConfigFile(state, resolvedRef, resolvedRefPath);
@@ -104857,7 +104953,6 @@ var ts;
         var buildInfoTime;
         var buildInfoProgram;
         var buildInfoVersionMap;
-        var newestDeclarationFileContentChangedTime;
         if (buildInfoPath) {
             var buildInfoCacheEntry_1 = getBuildInfoCacheEntry(state, buildInfoPath, resolvedPath);
             buildInfoTime = (buildInfoCacheEntry_1 === null || buildInfoCacheEntry_1 === void 0 ? void 0 : buildInfoCacheEntry_1.modifiedTime) || ts.getModifiedTime(host, buildInfoPath);
@@ -104893,13 +104988,12 @@ var ts;
             }
             oldestOutputFileTime = buildInfoTime;
             oldestOutputFileName = buildInfoPath;
-            newestDeclarationFileContentChangedTime = ((_c = buildInfo.program) === null || _c === void 0 ? void 0 : _c.dtsChangeTime) ? new Date(buildInfo.program.dtsChangeTime) : undefined;
         }
         var newestInputFileName = undefined;
         var newestInputFileTime = minimumDate;
         var pseudoInputUpToDate = false;
-        for (var _e = 0, _f = project.fileNames; _e < _f.length; _e++) {
-            var inputFile = _f[_e];
+        for (var _d = 0, _e = project.fileNames; _d < _e.length; _d++) {
+            var inputFile = _e[_d];
             var inputTime = getModifiedTime(state, inputFile);
             if (inputTime === ts.missingFileModifiedTime) {
                 return {
@@ -104935,8 +105029,8 @@ var ts;
         if (!buildInfoPath) {
             var outputs = ts.getAllProjectOutputs(project, !host.useCaseSensitiveFileNames());
             var outputTimeStampMap = getOutputTimeStampMap(state, resolvedPath);
-            for (var _g = 0, outputs_1 = outputs; _g < outputs_1.length; _g++) {
-                var output = outputs_1[_g];
+            for (var _f = 0, outputs_1 = outputs; _f < outputs_1.length; _f++) {
+                var output = outputs_1[_f];
                 var path = toPath(state, output);
                 var outputTime = outputTimeStampMap === null || outputTimeStampMap === void 0 ? void 0 : outputTimeStampMap.get(path);
                 if (!outputTime) {
@@ -104969,8 +105063,8 @@ var ts;
         var usesPrepend = false;
         var upstreamChangedProject;
         if (referenceStatuses) {
-            for (var _h = 0, referenceStatuses_1 = referenceStatuses; _h < referenceStatuses_1.length; _h++) {
-                var _j = referenceStatuses_1[_h], ref = _j.ref, refStatus = _j.refStatus, resolvedConfig = _j.resolvedConfig, resolvedRefPath = _j.resolvedRefPath;
+            for (var _g = 0, referenceStatuses_1 = referenceStatuses; _g < referenceStatuses_1.length; _g++) {
+                var _h = referenceStatuses_1[_g], ref = _h.ref, refStatus = _h.refStatus, resolvedConfig = _h.resolvedConfig, resolvedRefPath = _h.resolvedRefPath;
                 usesPrepend = usesPrepend || !!(ref.prepend);
                 if (refStatus.newestInputFileTime && refStatus.newestInputFileTime <= oldestOutputFileTime) {
                     continue;
@@ -104982,7 +105076,8 @@ var ts;
                         newerProjectName: ref.path
                     };
                 }
-                if (refStatus.newestDeclarationFileContentChangedTime && refStatus.newestDeclarationFileContentChangedTime <= oldestOutputFileTime) {
+                var newestDeclarationFileContentChangedTime = getLatestChangedDtsTime(state, resolvedConfig.options, resolvedRefPath);
+                if (newestDeclarationFileContentChangedTime && newestDeclarationFileContentChangedTime <= oldestOutputFileTime) {
                     pseudoUpToDate = true;
                     upstreamChangedProject = ref.path;
                     continue;
@@ -105020,7 +105115,6 @@ var ts;
                 pseudoInputUpToDate ?
                     ts.UpToDateStatusType.UpToDateWithInputFileText :
                     ts.UpToDateStatusType.UpToDate,
-            newestDeclarationFileContentChangedTime: newestDeclarationFileContentChangedTime,
             newestInputFileTime: newestInputFileTime,
             newestInputFileName: newestInputFileName,
             oldestOutputFileName: oldestOutputFileName
@@ -105099,13 +105193,17 @@ var ts;
                 outputTimeStampMap.delete(key);
         });
     }
-    function getDtsChangeTime(state, options, resolvedConfigPath) {
-        var _a;
+    function getLatestChangedDtsTime(state, options, resolvedConfigPath) {
         if (!options.composite)
             return undefined;
-        var buildInfoPath = ts.getTsBuildInfoEmitOutputFilePath(options);
-        var buildInfo = getBuildInfo(state, buildInfoPath, resolvedConfigPath, undefined);
-        return ((_a = buildInfo === null || buildInfo === void 0 ? void 0 : buildInfo.program) === null || _a === void 0 ? void 0 : _a.dtsChangeTime) ? new Date(buildInfo.program.dtsChangeTime) : undefined;
+        var entry = ts.Debug.checkDefined(state.buildInfoCache.get(resolvedConfigPath));
+        if (entry.latestChangedDtsTime !== undefined)
+            return entry.latestChangedDtsTime || undefined;
+        var latestChangedDtsTime = entry.buildInfo && entry.buildInfo.program && entry.buildInfo.program.latestChangedDtsFile ?
+            state.host.getModifiedTime(ts.getNormalizedAbsolutePath(entry.buildInfo.program.latestChangedDtsFile, ts.getDirectoryPath(entry.path))) :
+            undefined;
+        entry.latestChangedDtsTime = latestChangedDtsTime || false;
+        return latestChangedDtsTime;
     }
     function updateOutputTimestamps(state, proj, resolvedPath) {
         if (state.options.dry) {
@@ -105114,7 +105212,6 @@ var ts;
         updateOutputTimestampsWorker(state, proj, resolvedPath, ts.Diagnostics.Updating_output_timestamps_of_project_0);
         state.projectStatus.set(resolvedPath, {
             type: ts.UpToDateStatusType.UpToDate,
-            newestDeclarationFileContentChangedTime: getDtsChangeTime(state, proj.options, resolvedPath),
             oldestOutputFileName: ts.getFirstProjectOutput(proj, !state.host.useCaseSensitiveFileNames())
         });
     }