typescript 4.6.0-dev.20220121 → 4.6.0-dev.20220122

package/lib/tsc.js

@@ -69,7 +69,7 @@ var __generator = (this && this.__generator) || function (thisArg, body) {
 var ts;
 (function (ts) {
     ts.versionMajorMinor = "4.6";
-    ts.version = ts.versionMajorMinor + ".0-dev.20220121";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220122";
     var NativeCollections;
     (function (NativeCollections) {
         function tryGetNativeMap() {
@@ -56693,10 +56693,21 @@ var ts;
             }
             if (flags & 2097152) {
                 ignoreObjects || (ignoreObjects = maybeTypeOfKind(type, 131068));
-                return ts.reduceLeft(type.types, function (facts, t) { return facts & getTypeFacts(t, ignoreObjects); }, 16777215);
+                return getIntersectionTypeFacts(type, ignoreObjects);
             }
             return 16777215;
         }
+        function getIntersectionTypeFacts(type, ignoreObjects) {
+            var oredFacts = 0;
+            var andedFacts = 16777215;
+            for (var _i = 0, _a = type.types; _i < _a.length; _i++) {
+                var t = _a[_i];
+                var f = getTypeFacts(t, ignoreObjects);
+                oredFacts |= f;
+                andedFacts &= f;
+            }
+            return oredFacts & 8288 | andedFacts & 16768927;
+        }
         function getTypeWithFacts(type, include) {
             return filterType(type, function (t) { return (getTypeFacts(t) & include) !== 0; });
         }

package/lib/tsserver.js

@@ -100,7 +100,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.20220121";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220122";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -46788,6 +46788,9 @@ var ts;
         TypeFacts[TypeFacts["EmptyObjectStrictFacts"] = 16318463] = "EmptyObjectStrictFacts";
         TypeFacts[TypeFacts["AllTypeofNE"] = 556800] = "AllTypeofNE";
         TypeFacts[TypeFacts["EmptyObjectFacts"] = 16777215] = "EmptyObjectFacts";
+        // Masks
+        TypeFacts[TypeFacts["OrFactsMask"] = 8288] = "OrFactsMask";
+        TypeFacts[TypeFacts["AndFactsMask"] = 16768927] = "AndFactsMask";
     })(TypeFacts || (TypeFacts = {}));
     var typeofEQFacts = new ts.Map(ts.getEntries({
         string: 1 /* TypeofEQString */,
@@ -67929,10 +67932,23 @@ var ts;
                 // When an intersection contains a primitive type we ignore object type constituents as they are
                 // presumably type tags. For example, in string & { __kind__: "name" } we ignore the object type.
                 ignoreObjects || (ignoreObjects = maybeTypeOfKind(type, 131068 /* Primitive */));
-                return ts.reduceLeft(type.types, function (facts, t) { return facts & getTypeFacts(t, ignoreObjects); }, 16777215 /* All */);
+                return getIntersectionTypeFacts(type, ignoreObjects);
             }
             return 16777215 /* All */;
         }
+        function getIntersectionTypeFacts(type, ignoreObjects) {
+            // When computing the type facts of an intersection type, certain type facts are computed as `and`
+            // and others are computed as `or`.
+            var oredFacts = 0 /* None */;
+            var andedFacts = 16777215 /* All */;
+            for (var _i = 0, _a = type.types; _i < _a.length; _i++) {
+                var t = _a[_i];
+                var f = getTypeFacts(t, ignoreObjects);
+                oredFacts |= f;
+                andedFacts &= f;
+            }
+            return oredFacts & 8288 /* OrFactsMask */ | andedFacts & 16768927 /* AndFactsMask */;
+        }
         function getTypeWithFacts(type, include) {
             return filterType(type, function (t) { return (getTypeFacts(t) & include) !== 0; });
         }
@@ -136279,7 +136295,7 @@ var ts;
                 return file && { reference: libReferenceDirective, fileName: file.fileName, file: file, unverified: false };
             }
             if ((_a = sourceFile.resolvedModules) === null || _a === void 0 ? void 0 : _a.size()) {
-                var node = ts.getTokenAtPosition(sourceFile, position);
+                var node = ts.getTouchingToken(sourceFile, position);
                 if (ts.isModuleSpecifierLike(node) && ts.isExternalModuleNameRelative(node.text) && sourceFile.resolvedModules.has(node.text, ts.getModeForUsageLocation(sourceFile, node))) {
                     var verifiedFileName = (_b = sourceFile.resolvedModules.get(node.text, ts.getModeForUsageLocation(sourceFile, node))) === null || _b === void 0 ? void 0 : _b.resolvedFileName;
                     var fileName = verifiedFileName || ts.resolvePath(ts.getDirectoryPath(sourceFile.fileName), node.text);

package/lib/tsserverlibrary.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.20220121";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220122";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -46982,6 +46982,9 @@ var ts;
         TypeFacts[TypeFacts["EmptyObjectStrictFacts"] = 16318463] = "EmptyObjectStrictFacts";
         TypeFacts[TypeFacts["AllTypeofNE"] = 556800] = "AllTypeofNE";
         TypeFacts[TypeFacts["EmptyObjectFacts"] = 16777215] = "EmptyObjectFacts";
+        // Masks
+        TypeFacts[TypeFacts["OrFactsMask"] = 8288] = "OrFactsMask";
+        TypeFacts[TypeFacts["AndFactsMask"] = 16768927] = "AndFactsMask";
     })(TypeFacts || (TypeFacts = {}));
     var typeofEQFacts = new ts.Map(ts.getEntries({
         string: 1 /* TypeofEQString */,
@@ -68123,10 +68126,23 @@ var ts;
                 // When an intersection contains a primitive type we ignore object type constituents as they are
                 // presumably type tags. For example, in string & { __kind__: "name" } we ignore the object type.
                 ignoreObjects || (ignoreObjects = maybeTypeOfKind(type, 131068 /* Primitive */));
-                return ts.reduceLeft(type.types, function (facts, t) { return facts & getTypeFacts(t, ignoreObjects); }, 16777215 /* All */);
+                return getIntersectionTypeFacts(type, ignoreObjects);
             }
             return 16777215 /* All */;
         }
+        function getIntersectionTypeFacts(type, ignoreObjects) {
+            // When computing the type facts of an intersection type, certain type facts are computed as `and`
+            // and others are computed as `or`.
+            var oredFacts = 0 /* None */;
+            var andedFacts = 16777215 /* All */;
+            for (var _i = 0, _a = type.types; _i < _a.length; _i++) {
+                var t = _a[_i];
+                var f = getTypeFacts(t, ignoreObjects);
+                oredFacts |= f;
+                andedFacts &= f;
+            }
+            return oredFacts & 8288 /* OrFactsMask */ | andedFacts & 16768927 /* AndFactsMask */;
+        }
         function getTypeWithFacts(type, include) {
             return filterType(type, function (t) { return (getTypeFacts(t) & include) !== 0; });
         }
@@ -136890,7 +136906,7 @@ var ts;
                 return file && { reference: libReferenceDirective, fileName: file.fileName, file: file, unverified: false };
             }
             if ((_a = sourceFile.resolvedModules) === null || _a === void 0 ? void 0 : _a.size()) {
-                var node = ts.getTokenAtPosition(sourceFile, position);
+                var node = ts.getTouchingToken(sourceFile, position);
                 if (ts.isModuleSpecifierLike(node) && ts.isExternalModuleNameRelative(node.text) && sourceFile.resolvedModules.has(node.text, ts.getModeForUsageLocation(sourceFile, node))) {
                     var verifiedFileName = (_b = sourceFile.resolvedModules.get(node.text, ts.getModeForUsageLocation(sourceFile, node))) === null || _b === void 0 ? void 0 : _b.resolvedFileName;
                     var fileName = verifiedFileName || ts.resolvePath(ts.getDirectoryPath(sourceFile.fileName), node.text);

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.20220121";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220122";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -46982,6 +46982,9 @@ var ts;
         TypeFacts[TypeFacts["EmptyObjectStrictFacts"] = 16318463] = "EmptyObjectStrictFacts";
         TypeFacts[TypeFacts["AllTypeofNE"] = 556800] = "AllTypeofNE";
         TypeFacts[TypeFacts["EmptyObjectFacts"] = 16777215] = "EmptyObjectFacts";
+        // Masks
+        TypeFacts[TypeFacts["OrFactsMask"] = 8288] = "OrFactsMask";
+        TypeFacts[TypeFacts["AndFactsMask"] = 16768927] = "AndFactsMask";
     })(TypeFacts || (TypeFacts = {}));
     var typeofEQFacts = new ts.Map(ts.getEntries({
         string: 1 /* TypeofEQString */,
@@ -68123,10 +68126,23 @@ var ts;
                 // When an intersection contains a primitive type we ignore object type constituents as they are
                 // presumably type tags. For example, in string & { __kind__: "name" } we ignore the object type.
                 ignoreObjects || (ignoreObjects = maybeTypeOfKind(type, 131068 /* Primitive */));
-                return ts.reduceLeft(type.types, function (facts, t) { return facts & getTypeFacts(t, ignoreObjects); }, 16777215 /* All */);
+                return getIntersectionTypeFacts(type, ignoreObjects);
             }
             return 16777215 /* All */;
         }
+        function getIntersectionTypeFacts(type, ignoreObjects) {
+            // When computing the type facts of an intersection type, certain type facts are computed as `and`
+            // and others are computed as `or`.
+            var oredFacts = 0 /* None */;
+            var andedFacts = 16777215 /* All */;
+            for (var _i = 0, _a = type.types; _i < _a.length; _i++) {
+                var t = _a[_i];
+                var f = getTypeFacts(t, ignoreObjects);
+                oredFacts |= f;
+                andedFacts &= f;
+            }
+            return oredFacts & 8288 /* OrFactsMask */ | andedFacts & 16768927 /* AndFactsMask */;
+        }
         function getTypeWithFacts(type, include) {
             return filterType(type, function (t) { return (getTypeFacts(t) & include) !== 0; });
         }
@@ -136890,7 +136906,7 @@ var ts;
                 return file && { reference: libReferenceDirective, fileName: file.fileName, file: file, unverified: false };
             }
             if ((_a = sourceFile.resolvedModules) === null || _a === void 0 ? void 0 : _a.size()) {
-                var node = ts.getTokenAtPosition(sourceFile, position);
+                var node = ts.getTouchingToken(sourceFile, position);
                 if (ts.isModuleSpecifierLike(node) && ts.isExternalModuleNameRelative(node.text) && sourceFile.resolvedModules.has(node.text, ts.getModeForUsageLocation(sourceFile, node))) {
                     var verifiedFileName = (_b = sourceFile.resolvedModules.get(node.text, ts.getModeForUsageLocation(sourceFile, node))) === null || _b === void 0 ? void 0 : _b.resolvedFileName;
                     var fileName = verifiedFileName || ts.resolvePath(ts.getDirectoryPath(sourceFile.fileName), node.text);

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.20220121";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220122";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -46982,6 +46982,9 @@ var ts;
         TypeFacts[TypeFacts["EmptyObjectStrictFacts"] = 16318463] = "EmptyObjectStrictFacts";
         TypeFacts[TypeFacts["AllTypeofNE"] = 556800] = "AllTypeofNE";
         TypeFacts[TypeFacts["EmptyObjectFacts"] = 16777215] = "EmptyObjectFacts";
+        // Masks
+        TypeFacts[TypeFacts["OrFactsMask"] = 8288] = "OrFactsMask";
+        TypeFacts[TypeFacts["AndFactsMask"] = 16768927] = "AndFactsMask";
     })(TypeFacts || (TypeFacts = {}));
     var typeofEQFacts = new ts.Map(ts.getEntries({
         string: 1 /* TypeofEQString */,
@@ -68123,10 +68126,23 @@ var ts;
                 // When an intersection contains a primitive type we ignore object type constituents as they are
                 // presumably type tags. For example, in string & { __kind__: "name" } we ignore the object type.
                 ignoreObjects || (ignoreObjects = maybeTypeOfKind(type, 131068 /* Primitive */));
-                return ts.reduceLeft(type.types, function (facts, t) { return facts & getTypeFacts(t, ignoreObjects); }, 16777215 /* All */);
+                return getIntersectionTypeFacts(type, ignoreObjects);
             }
             return 16777215 /* All */;
         }
+        function getIntersectionTypeFacts(type, ignoreObjects) {
+            // When computing the type facts of an intersection type, certain type facts are computed as `and`
+            // and others are computed as `or`.
+            var oredFacts = 0 /* None */;
+            var andedFacts = 16777215 /* All */;
+            for (var _i = 0, _a = type.types; _i < _a.length; _i++) {
+                var t = _a[_i];
+                var f = getTypeFacts(t, ignoreObjects);
+                oredFacts |= f;
+                andedFacts &= f;
+            }
+            return oredFacts & 8288 /* OrFactsMask */ | andedFacts & 16768927 /* AndFactsMask */;
+        }
         function getTypeWithFacts(type, include) {
             return filterType(type, function (t) { return (getTypeFacts(t) & include) !== 0; });
         }
@@ -136890,7 +136906,7 @@ var ts;
                 return file && { reference: libReferenceDirective, fileName: file.fileName, file: file, unverified: false };
             }
             if ((_a = sourceFile.resolvedModules) === null || _a === void 0 ? void 0 : _a.size()) {
-                var node = ts.getTokenAtPosition(sourceFile, position);
+                var node = ts.getTouchingToken(sourceFile, position);
                 if (ts.isModuleSpecifierLike(node) && ts.isExternalModuleNameRelative(node.text) && sourceFile.resolvedModules.has(node.text, ts.getModeForUsageLocation(sourceFile, node))) {
                     var verifiedFileName = (_b = sourceFile.resolvedModules.get(node.text, ts.getModeForUsageLocation(sourceFile, node))) === null || _b === void 0 ? void 0 : _b.resolvedFileName;
                     var fileName = verifiedFileName || ts.resolvePath(ts.getDirectoryPath(sourceFile.fileName), node.text);

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.20220121";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220122";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -46777,6 +46777,9 @@ var ts;
         TypeFacts[TypeFacts["EmptyObjectStrictFacts"] = 16318463] = "EmptyObjectStrictFacts";
         TypeFacts[TypeFacts["AllTypeofNE"] = 556800] = "AllTypeofNE";
         TypeFacts[TypeFacts["EmptyObjectFacts"] = 16777215] = "EmptyObjectFacts";
+        // Masks
+        TypeFacts[TypeFacts["OrFactsMask"] = 8288] = "OrFactsMask";
+        TypeFacts[TypeFacts["AndFactsMask"] = 16768927] = "AndFactsMask";
     })(TypeFacts || (TypeFacts = {}));
     var typeofEQFacts = new ts.Map(ts.getEntries({
         string: 1 /* TypeofEQString */,
@@ -67918,10 +67921,23 @@ var ts;
                 // When an intersection contains a primitive type we ignore object type constituents as they are
                 // presumably type tags. For example, in string & { __kind__: "name" } we ignore the object type.
                 ignoreObjects || (ignoreObjects = maybeTypeOfKind(type, 131068 /* Primitive */));
-                return ts.reduceLeft(type.types, function (facts, t) { return facts & getTypeFacts(t, ignoreObjects); }, 16777215 /* All */);
+                return getIntersectionTypeFacts(type, ignoreObjects);
             }
             return 16777215 /* All */;
         }
+        function getIntersectionTypeFacts(type, ignoreObjects) {
+            // When computing the type facts of an intersection type, certain type facts are computed as `and`
+            // and others are computed as `or`.
+            var oredFacts = 0 /* None */;
+            var andedFacts = 16777215 /* All */;
+            for (var _i = 0, _a = type.types; _i < _a.length; _i++) {
+                var t = _a[_i];
+                var f = getTypeFacts(t, ignoreObjects);
+                oredFacts |= f;
+                andedFacts &= f;
+            }
+            return oredFacts & 8288 /* OrFactsMask */ | andedFacts & 16768927 /* AndFactsMask */;
+        }
         function getTypeWithFacts(type, include) {
             return filterType(type, function (t) { return (getTypeFacts(t) & include) !== 0; });
         }

package/package.json

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