typescript 4.8.0-dev.20220508 → 4.8.0-dev.20220511

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.20220508";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220511";
     var NativeCollections;
     (function (NativeCollections) {
         var globals = typeof globalThis !== "undefined" ? globalThis :
@@ -5578,6 +5578,7 @@ var ts;
         resolution_mode_can_only_be_set_for_type_only_imports: diag(1454, ts.DiagnosticCategory.Error, "resolution_mode_can_only_be_set_for_type_only_imports_1454", "`resolution-mode` can only be set for type-only imports."),
         resolution_mode_is_the_only_valid_key_for_type_import_assertions: diag(1455, ts.DiagnosticCategory.Error, "resolution_mode_is_the_only_valid_key_for_type_import_assertions_1455", "`resolution-mode` is the only valid key for type import assertions."),
         Type_import_assertions_should_have_exactly_one_key_resolution_mode_with_value_import_or_require: diag(1456, ts.DiagnosticCategory.Error, "Type_import_assertions_should_have_exactly_one_key_resolution_mode_with_value_import_or_require_1456", "Type import assertions should have exactly one key - `resolution-mode` - with value `import` or `require`."),
+        Matched_by_default_include_pattern_Asterisk_Asterisk_Slash_Asterisk: diag(1457, ts.DiagnosticCategory.Message, "Matched_by_default_include_pattern_Asterisk_Asterisk_Slash_Asterisk_1457", "Matched by default include pattern '**/*'"),
         The_import_meta_meta_property_is_not_allowed_in_files_which_will_build_into_CommonJS_output: diag(1470, ts.DiagnosticCategory.Error, "The_import_meta_meta_property_is_not_allowed_in_files_which_will_build_into_CommonJS_output_1470", "The 'import.meta' meta-property is not allowed in files which will build into CommonJS output."),
         Module_0_cannot_be_imported_using_this_construct_The_specifier_only_resolves_to_an_ES_module_which_cannot_be_imported_synchronously_Use_dynamic_import_instead: diag(1471, ts.DiagnosticCategory.Error, "Module_0_cannot_be_imported_using_this_construct_The_specifier_only_resolves_to_an_ES_module_which_c_1471", "Module '{0}' cannot be imported using this construct. The specifier only resolves to an ES module, which cannot be imported synchronously. Use dynamic import instead."),
         catch_or_finally_expected: diag(1472, ts.DiagnosticCategory.Error, "catch_or_finally_expected_1472", "'catch' or 'finally' expected."),
@@ -10664,6 +10665,16 @@ var ts;
         return node.kind === 324 || node.kind === 325 || node.kind === 326;
     }
     ts.isJSDocLinkLike = isJSDocLinkLike;
+    function hasRestParameter(s) {
+        var last = ts.lastOrUndefined(s.parameters);
+        return !!last && isRestParameter(last);
+    }
+    ts.hasRestParameter = hasRestParameter;
+    function isRestParameter(node) {
+        var type = ts.isJSDocParameterTag(node) ? (node.typeExpression && node.typeExpression.type) : node.type;
+        return node.dotDotDotToken !== undefined || !!type && type.kind === 318;
+    }
+    ts.isRestParameter = isRestParameter;
 })(ts || (ts = {}));
 var ts;
 (function (ts) {
@@ -13158,16 +13169,6 @@ var ts;
         return typeParameters && ts.find(typeParameters, function (p) { return p.name.escapedText === name; });
     }
     ts.getTypeParameterFromJsDoc = getTypeParameterFromJsDoc;
-    function hasRestParameter(s) {
-        var last = ts.lastOrUndefined(s.parameters);
-        return !!last && isRestParameter(last);
-    }
-    ts.hasRestParameter = hasRestParameter;
-    function isRestParameter(node) {
-        var type = ts.isJSDocParameterTag(node) ? (node.typeExpression && node.typeExpression.type) : node.type;
-        return node.dotDotDotToken !== undefined || !!type && type.kind === 318;
-    }
-    ts.isRestParameter = isRestParameter;
     function hasTypeArguments(node) {
         return !!node.typeArguments;
     }
@@ -27695,6 +27696,9 @@ var ts;
                     return 1;
                 }
                 if (ts.isModifierKind(second) && second !== 131 && lookAhead(nextTokenIsIdentifier)) {
+                    if (nextToken() === 127) {
+                        return 0;
+                    }
                     return 1;
                 }
                 if (!isIdentifier() && second !== 108) {
@@ -33357,7 +33361,7 @@ var ts;
             return undefined;
         if (ts.length(specs) !== 1)
             return specs;
-        if (specs[0] === "**/*")
+        if (specs[0] === ts.defaultIncludeSpec)
             return undefined;
         return specs;
     }
@@ -33591,6 +33595,7 @@ var ts;
     function directoryOfCombinedPath(fileName, basePath) {
         return ts.getDirectoryPath(ts.getNormalizedAbsolutePath(fileName, basePath));
     }
+    ts.defaultIncludeSpec = "**/*";
     function parseJsonConfigFileContentWorker(json, sourceFile, host, basePath, existingOptions, existingWatchOptions, configFileName, resolutionStack, extraFileExtensions, extendedConfigCache) {
         if (existingOptions === void 0) { existingOptions = {}; }
         if (resolutionStack === void 0) { resolutionStack = []; }
@@ -33643,6 +33648,7 @@ var ts;
             }
             var includeSpecs = toPropValue(getSpecsFromRaw("include"));
             var excludeOfRaw = getSpecsFromRaw("exclude");
+            var isDefaultIncludeSpec = false;
             var excludeSpecs = toPropValue(excludeOfRaw);
             if (excludeOfRaw === "no-prop" && raw.compilerOptions) {
                 var outDir = raw.compilerOptions.outDir;
@@ -33652,7 +33658,8 @@ var ts;
                 }
             }
             if (filesSpecs === undefined && includeSpecs === undefined) {
-                includeSpecs = ["**/*"];
+                includeSpecs = [ts.defaultIncludeSpec];
+                isDefaultIncludeSpec = true;
             }
             var validatedIncludeSpecs, validatedExcludeSpecs;
             if (includeSpecs) {
@@ -33669,6 +33676,7 @@ var ts;
                 validatedIncludeSpecs: validatedIncludeSpecs,
                 validatedExcludeSpecs: validatedExcludeSpecs,
                 pathPatterns: undefined,
+                isDefaultIncludeSpec: isDefaultIncludeSpec,
             };
         }
         function getFileNames(basePath) {
@@ -54508,6 +54516,18 @@ var ts;
                             }
                         }
                     }
+                    if (relation === comparableRelation && sourceFlags & 262144) {
+                        var constraint = getConstraintOfTypeParameter(source);
+                        if (constraint && hasNonCircularBaseConstraint(source)) {
+                            while (constraint && constraint.flags & 262144) {
+                                if (result = isRelatedTo(constraint, target, 1, false)) {
+                                    return result;
+                                }
+                                constraint = getConstraintOfTypeParameter(constraint);
+                            }
+                        }
+                        return 0;
+                    }
                 }
                 else if (targetFlags & 4194304) {
                     var targetType_1 = target.type;
@@ -54658,18 +54678,18 @@ var ts;
                 }
                 if (sourceFlags & 8650752) {
                     if (!(sourceFlags & 8388608 && targetFlags & 8388608)) {
-                        var constraint = getConstraintOfType(source);
-                        if (!constraint || (sourceFlags & 262144 && constraint.flags & 1)) {
+                        var constraint = getConstraintOfType(source) || unknownType;
+                        if (!getConstraintOfType(source) || (sourceFlags & 262144 && constraint.flags & 1)) {
                             if (result = isRelatedTo(emptyObjectType, extractTypesOfKind(target, ~67108864), 3)) {
                                 resetErrorInfo(saveErrorInfo);
                                 return result;
                             }
                         }
-                        else if (result = isRelatedTo(constraint, target, 1, false, undefined, intersectionState)) {
+                        if (result = isRelatedTo(constraint, target, 1, false, undefined, intersectionState)) {
                             resetErrorInfo(saveErrorInfo);
                             return result;
                         }
-                        else if (result = isRelatedTo(getTypeWithThisArgument(constraint, source), target, 1, reportErrors && !(targetFlags & sourceFlags & 262144), undefined, intersectionState)) {
+                        else if (result = isRelatedTo(getTypeWithThisArgument(constraint, source), target, 1, reportErrors && constraint !== unknownType && !(targetFlags & sourceFlags & 262144), undefined, intersectionState)) {
                             resetErrorInfo(saveErrorInfo);
                             return result;
                         }
@@ -60523,7 +60543,25 @@ var ts;
         }
         function getTypeOfPropertyOfContextualType(type, name, nameType) {
             return mapType(type, function (t) {
-                var _a;
+                if (t.flags & 2097152) {
+                    var intersection = t;
+                    var newTypes = ts.mapDefined(intersection.types, getTypeOfConcretePropertyOfContextualType);
+                    if (newTypes.length > 0) {
+                        return getIntersectionType(newTypes);
+                    }
+                    newTypes = ts.mapDefined(intersection.types, getTypeOfApplicableIndexInfoOfContextualType);
+                    if (newTypes.length > 0) {
+                        return getIntersectionType(newTypes);
+                    }
+                    return undefined;
+                }
+                var concretePropertyType = getTypeOfConcretePropertyOfContextualType(t);
+                if (concretePropertyType) {
+                    return concretePropertyType;
+                }
+                return getTypeOfApplicableIndexInfoOfContextualType(t);
+            }, true);
+            function getTypeOfConcretePropertyOfContextualType(t) {
                 if (isGenericMappedType(t) && !t.declaration.nameType) {
                     var constraint = getConstraintTypeFromMappedType(t);
                     var constraintOfConstraint = getBaseConstraintOfType(constraint) || constraint;
@@ -60531,8 +60569,9 @@ var ts;
                     if (isTypeAssignableTo(propertyNameType, constraintOfConstraint)) {
                         return substituteIndexedMappedType(t, propertyNameType);
                     }
+                    return undefined;
                 }
-                else if (t.flags & 3670016) {
+                if (t.flags & 3670016) {
                     var prop = getPropertyOfType(t, name);
                     if (prop) {
                         return isCircularMappedProperty(prop) ? undefined : getTypeOfSymbol(prop);
@@ -60543,10 +60582,16 @@ var ts;
                             return restType;
                         }
                     }
-                    return (_a = findApplicableIndexInfo(getIndexInfosOfStructuredType(t), nameType || getStringLiteralType(ts.unescapeLeadingUnderscores(name)))) === null || _a === void 0 ? void 0 : _a.type;
                 }
                 return undefined;
-            }, true);
+            }
+            function getTypeOfApplicableIndexInfoOfContextualType(t) {
+                var _a;
+                if (!(t.flags & 3670016)) {
+                    return undefined;
+                }
+                return (_a = findApplicableIndexInfo(getIndexInfosOfStructuredType(t), nameType || getStringLiteralType(ts.unescapeLeadingUnderscores(name)))) === null || _a === void 0 ? void 0 : _a.type;
+            }
         }
         function getContextualTypeForObjectLiteralMethod(node, contextFlags) {
             ts.Debug.assert(ts.isObjectLiteralMethod(node));
@@ -67924,7 +67969,7 @@ var ts;
             var promisedType = getPromisedTypeOfPromise(type, errorNode);
             return promisedType && getAwaitedType(promisedType, errorNode, diagnosticMessage, arg0);
         }
-        function getPromisedTypeOfPromise(type, errorNode) {
+        function getPromisedTypeOfPromise(type, errorNode, thisTypeForErrorOut) {
             if (isTypeAny(type)) {
                 return undefined;
             }
@@ -67949,7 +67994,29 @@ var ts;
                 }
                 return undefined;
             }
-            var onfulfilledParameterType = getTypeWithFacts(getUnionType(ts.map(thenSignatures, getTypeOfFirstParameterOfSignature)), 2097152);
+            var thisTypeForError;
+            var candidates;
+            for (var _i = 0, thenSignatures_1 = thenSignatures; _i < thenSignatures_1.length; _i++) {
+                var thenSignature = thenSignatures_1[_i];
+                var thisType = getThisTypeOfSignature(thenSignature);
+                if (thisType && thisType !== voidType && !isTypeRelatedTo(type, thisType, subtypeRelation)) {
+                    thisTypeForError = thisType;
+                }
+                else {
+                    candidates = ts.append(candidates, thenSignature);
+                }
+            }
+            if (!candidates) {
+                ts.Debug.assertIsDefined(thisTypeForError);
+                if (thisTypeForErrorOut) {
+                    thisTypeForErrorOut.value = thisTypeForError;
+                }
+                if (errorNode) {
+                    error(errorNode, ts.Diagnostics.The_this_context_of_type_0_is_not_assignable_to_method_s_this_of_type_1, typeToString(type), typeToString(thisTypeForError));
+                }
+                return undefined;
+            }
+            var onfulfilledParameterType = getTypeWithFacts(getUnionType(ts.map(candidates, getTypeOfFirstParameterOfSignature)), 2097152);
             if (isTypeAny(onfulfilledParameterType)) {
                 return undefined;
             }
@@ -68026,7 +68093,8 @@ var ts;
                 var mapper = errorNode ? function (constituentType) { return getAwaitedTypeNoAlias(constituentType, errorNode, diagnosticMessage, arg0); } : getAwaitedTypeNoAlias;
                 return typeAsAwaitable.awaitedTypeOfType = mapType(type, mapper);
             }
-            var promisedType = getPromisedTypeOfPromise(type);
+            var thisTypeForErrorOut = { value: undefined };
+            var promisedType = getPromisedTypeOfPromise(type, undefined, thisTypeForErrorOut);
             if (promisedType) {
                 if (type.id === promisedType.id || awaitedTypeStack.lastIndexOf(promisedType.id) >= 0) {
                     if (errorNode) {
@@ -68045,7 +68113,12 @@ var ts;
             if (isThenableType(type)) {
                 if (errorNode) {
                     ts.Debug.assertIsDefined(diagnosticMessage);
-                    error(errorNode, diagnosticMessage, arg0);
+                    var chain = void 0;
+                    if (thisTypeForErrorOut.value) {
+                        chain = ts.chainDiagnosticMessages(chain, ts.Diagnostics.The_this_context_of_type_0_is_not_assignable_to_method_s_this_of_type_1, typeToString(type), typeToString(thisTypeForErrorOut.value));
+                    }
+                    chain = ts.chainDiagnosticMessages(chain, diagnosticMessage, arg0);
+                    diagnostics.add(ts.createDiagnosticForNodeFromMessageChain(errorNode, chain));
                 }
                 return undefined;
             }
@@ -98108,7 +98181,7 @@ var ts;
                         break;
                     }
                     var matchedByInclude = ts.getMatchedIncludeSpec(program, fileName);
-                    if (!matchedByInclude)
+                    if (!matchedByInclude || !ts.isString(matchedByInclude))
                         return undefined;
                     configFileNode = ts.getTsConfigPropArrayElementValue(options.configFile, "include", matchedByInclude);
                     message = ts.Diagnostics.File_is_matched_by_include_pattern_specified_here;
@@ -101158,6 +101231,8 @@ var ts;
             if (ts.fileExtensionIsOneOf(fileName, [".json", ".mjs", ".cjs"]))
                 return fileName;
             var noExtension = ts.removeFileExtension(fileName);
+            if (fileName === noExtension)
+                return fileName;
             if (ts.fileExtensionIsOneOf(fileName, [".d.mts", ".mts", ".d.cts", ".cts"]))
                 return noExtension + getJSExtensionForFile(fileName, options);
             switch (ending) {
@@ -101428,6 +101503,8 @@ var ts;
         var configFile = program.getCompilerOptions().configFile;
         if (!((_a = configFile === null || configFile === void 0 ? void 0 : configFile.configFileSpecs) === null || _a === void 0 ? void 0 : _a.validatedIncludeSpecs))
             return undefined;
+        if (configFile.configFileSpecs.isDefaultIncludeSpec)
+            return true;
         var isJsonFile = ts.fileExtensionIs(fileName, ".json");
         var basePath = ts.getDirectoryPath(ts.getNormalizedAbsolutePath(configFile.fileName, program.getCurrentDirectory()));
         var useCaseSensitiveFileNames = program.useCaseSensitiveFileNames();
@@ -101492,9 +101569,11 @@ var ts;
                 if (matchedByFiles)
                     return ts.chainDiagnosticMessages(undefined, ts.Diagnostics.Part_of_files_list_in_tsconfig_json);
                 var matchedByInclude = getMatchedIncludeSpec(program, fileName);
-                return matchedByInclude ?
+                return ts.isString(matchedByInclude) ?
                     ts.chainDiagnosticMessages(undefined, ts.Diagnostics.Matched_by_include_pattern_0_in_1, matchedByInclude, toFileName(options.configFile, fileNameConvertor)) :
-                    ts.chainDiagnosticMessages(undefined, ts.Diagnostics.Root_file_specified_for_compilation);
+                    ts.chainDiagnosticMessages(undefined, matchedByInclude ?
+                        ts.Diagnostics.Matched_by_default_include_pattern_Asterisk_Asterisk_Slash_Asterisk :
+                        ts.Diagnostics.Root_file_specified_for_compilation);
             case ts.FileIncludeKind.SourceFromProjectReference:
             case ts.FileIncludeKind.OutputFromProjectReference:
                 var isOutput = reason.kind === ts.FileIncludeKind.OutputFromProjectReference;