typescript 5.2.0-dev.20230519 → 5.2.0-dev.20230521

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.2";
-var version = `${versionMajorMinor}.0-dev.20230519`;
+var version = `${versionMajorMinor}.0-dev.20230521`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -53989,7 +53989,7 @@ function createTypeChecker(host) {
       } else if (type !== firstType) {
         checkFlags |= 64 /* HasNonUniformType */;
       }
-      if (isLiteralType(type) || isPatternLiteralType(type) || type === uniqueLiteralType) {
+      if (isLiteralType(type) || isPatternLiteralType(type)) {
         checkFlags |= 128 /* HasLiteralType */;
       }
       if (type.flags & 131072 /* Never */ && type !== uniqueLiteralType) {
@@ -56216,31 +56216,28 @@ function createTypeChecker(host) {
     return getUnionTypeFromSortedList(typeSet, objectFlags, aliasSymbol, aliasTypeArguments, origin);
   }
   function getUnionOrIntersectionTypePredicate(signatures, kind) {
-    let first2;
+    let last2;
     const types = [];
     for (const sig of signatures) {
       const pred = getTypePredicateOfSignature(sig);
-      if (!pred || pred.kind === 2 /* AssertsThis */ || pred.kind === 3 /* AssertsIdentifier */) {
-        if (kind !== 2097152 /* Intersection */) {
-          continue;
-        } else {
-          return;
-        }
-      }
-      if (first2) {
-        if (!typePredicateKindsMatch(first2, pred)) {
+      if (pred) {
+        if (pred.kind !== 0 /* This */ && pred.kind !== 1 /* Identifier */ || last2 && !typePredicateKindsMatch(last2, pred)) {
           return void 0;
         }
+        last2 = pred;
+        types.push(pred.type);
       } else {
-        first2 = pred;
+        const returnType = kind !== 2097152 /* Intersection */ ? getReturnTypeOfSignature(sig) : void 0;
+        if (returnType !== falseType && returnType !== regularFalseType) {
+          return void 0;
+        }
       }
-      types.push(pred.type);
     }
-    if (!first2) {
+    if (!last2) {
       return void 0;
     }
     const compositeType = getUnionOrIntersectionType(types, kind);
-    return createTypePredicate(first2.kind, first2.parameterName, first2.parameterIndex, compositeType);
+    return createTypePredicate(last2.kind, last2.parameterName, last2.parameterIndex, compositeType);
   }
   function typePredicateKindsMatch(a, b) {
     return a.kind === b.kind && a.parameterIndex === b.parameterIndex;
@@ -58121,18 +58118,19 @@ function createTypeChecker(host) {
         case 185 /* TypeQuery */:
           const entityName = node2.exprName;
           const firstIdentifier = getFirstIdentifier(entityName);
-          const firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
-          const tpDeclaration = tp.symbol.declarations[0];
-          let tpScope;
-          if (tpDeclaration.kind === 167 /* TypeParameter */) {
-            tpScope = tpDeclaration.parent;
-          } else if (tp.isThisType) {
-            tpScope = tpDeclaration;
-          } else {
-            return true;
-          }
-          if (firstIdentifierSymbol.declarations) {
-            return some(firstIdentifierSymbol.declarations, (idDecl) => isNodeDescendantOf(idDecl, tpScope)) || some(node2.typeArguments, containsReference);
+          if (!isThisIdentifier(firstIdentifier)) {
+            const firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
+            const tpDeclaration = tp.symbol.declarations[0];
+            const tpScope = tpDeclaration.kind === 167 /* TypeParameter */ ? tpDeclaration.parent : (
+              // Type parameter is a regular type parameter, e.g. foo<T>
+              tp.isThisType ? tpDeclaration : (
+                // Type parameter is the this type, and its declaration is the class declaration.
+                void 0
+              )
+            );
+            if (firstIdentifierSymbol.declarations && tpScope) {
+              return some(firstIdentifierSymbol.declarations, (idDecl) => isNodeDescendantOf(idDecl, tpScope)) || some(node2.typeArguments, containsReference);
+            }
           }
           return true;
         case 173 /* MethodDeclaration */:
@@ -81677,7 +81675,7 @@ function createTypeChecker(host) {
                 if (requestedExternalEmitHelperNames.has(name))
                   continue;
                 requestedExternalEmitHelperNames.add(name);
-                const symbol = getSymbol(helpersModule.exports, escapeLeadingUnderscores(name), 111551 /* Value */);
+                const symbol = getSymbol(getExportsOfModule(helpersModule), escapeLeadingUnderscores(name), 111551 /* Value */);
                 if (!symbol) {
                   error(location, Diagnostics.This_syntax_requires_an_imported_helper_named_1_which_does_not_exist_in_0_Consider_upgrading_your_version_of_0, externalHelpersModuleNameText, name);
                 } else if (helper & 524288 /* ClassPrivateFieldGet */) {

package/lib/tsserver.js

@@ -2304,7 +2304,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.2";
-var version = `${versionMajorMinor}.0-dev.20230519`;
+var version = `${versionMajorMinor}.0-dev.20230521`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -58640,7 +58640,7 @@ function createTypeChecker(host) {
       } else if (type !== firstType) {
         checkFlags |= 64 /* HasNonUniformType */;
       }
-      if (isLiteralType(type) || isPatternLiteralType(type) || type === uniqueLiteralType) {
+      if (isLiteralType(type) || isPatternLiteralType(type)) {
         checkFlags |= 128 /* HasLiteralType */;
       }
       if (type.flags & 131072 /* Never */ && type !== uniqueLiteralType) {
@@ -60867,31 +60867,28 @@ function createTypeChecker(host) {
     return getUnionTypeFromSortedList(typeSet, objectFlags, aliasSymbol, aliasTypeArguments, origin);
   }
   function getUnionOrIntersectionTypePredicate(signatures, kind) {
-    let first2;
+    let last2;
     const types = [];
     for (const sig of signatures) {
       const pred = getTypePredicateOfSignature(sig);
-      if (!pred || pred.kind === 2 /* AssertsThis */ || pred.kind === 3 /* AssertsIdentifier */) {
-        if (kind !== 2097152 /* Intersection */) {
-          continue;
-        } else {
-          return;
-        }
-      }
-      if (first2) {
-        if (!typePredicateKindsMatch(first2, pred)) {
+      if (pred) {
+        if (pred.kind !== 0 /* This */ && pred.kind !== 1 /* Identifier */ || last2 && !typePredicateKindsMatch(last2, pred)) {
           return void 0;
         }
+        last2 = pred;
+        types.push(pred.type);
       } else {
-        first2 = pred;
+        const returnType = kind !== 2097152 /* Intersection */ ? getReturnTypeOfSignature(sig) : void 0;
+        if (returnType !== falseType && returnType !== regularFalseType) {
+          return void 0;
+        }
       }
-      types.push(pred.type);
     }
-    if (!first2) {
+    if (!last2) {
       return void 0;
     }
     const compositeType = getUnionOrIntersectionType(types, kind);
-    return createTypePredicate(first2.kind, first2.parameterName, first2.parameterIndex, compositeType);
+    return createTypePredicate(last2.kind, last2.parameterName, last2.parameterIndex, compositeType);
   }
   function typePredicateKindsMatch(a, b) {
     return a.kind === b.kind && a.parameterIndex === b.parameterIndex;
@@ -62772,18 +62769,19 @@ function createTypeChecker(host) {
         case 185 /* TypeQuery */:
           const entityName = node2.exprName;
           const firstIdentifier = getFirstIdentifier(entityName);
-          const firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
-          const tpDeclaration = tp.symbol.declarations[0];
-          let tpScope;
-          if (tpDeclaration.kind === 167 /* TypeParameter */) {
-            tpScope = tpDeclaration.parent;
-          } else if (tp.isThisType) {
-            tpScope = tpDeclaration;
-          } else {
-            return true;
-          }
-          if (firstIdentifierSymbol.declarations) {
-            return some(firstIdentifierSymbol.declarations, (idDecl) => isNodeDescendantOf(idDecl, tpScope)) || some(node2.typeArguments, containsReference);
+          if (!isThisIdentifier(firstIdentifier)) {
+            const firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
+            const tpDeclaration = tp.symbol.declarations[0];
+            const tpScope = tpDeclaration.kind === 167 /* TypeParameter */ ? tpDeclaration.parent : (
+              // Type parameter is a regular type parameter, e.g. foo<T>
+              tp.isThisType ? tpDeclaration : (
+                // Type parameter is the this type, and its declaration is the class declaration.
+                void 0
+              )
+            );
+            if (firstIdentifierSymbol.declarations && tpScope) {
+              return some(firstIdentifierSymbol.declarations, (idDecl) => isNodeDescendantOf(idDecl, tpScope)) || some(node2.typeArguments, containsReference);
+            }
           }
           return true;
         case 173 /* MethodDeclaration */:
@@ -86328,7 +86326,7 @@ function createTypeChecker(host) {
                 if (requestedExternalEmitHelperNames.has(name))
                   continue;
                 requestedExternalEmitHelperNames.add(name);
-                const symbol = getSymbol2(helpersModule.exports, escapeLeadingUnderscores(name), 111551 /* Value */);
+                const symbol = getSymbol2(getExportsOfModule(helpersModule), escapeLeadingUnderscores(name), 111551 /* Value */);
                 if (!symbol) {
                   error(location, Diagnostics.This_syntax_requires_an_imported_helper_named_1_which_does_not_exist_in_0_Consider_upgrading_your_version_of_0, externalHelpersModuleNameText, name);
                 } else if (helper & 524288 /* ClassPrivateFieldGet */) {

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.2";
-      version = `${versionMajorMinor}.0-dev.20230519`;
+      version = `${versionMajorMinor}.0-dev.20230521`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -56431,7 +56431,7 @@ ${lanes.join("\n")}
         } else if (type !== firstType) {
           checkFlags |= 64 /* HasNonUniformType */;
         }
-        if (isLiteralType(type) || isPatternLiteralType(type) || type === uniqueLiteralType) {
+        if (isLiteralType(type) || isPatternLiteralType(type)) {
           checkFlags |= 128 /* HasLiteralType */;
         }
         if (type.flags & 131072 /* Never */ && type !== uniqueLiteralType) {
@@ -58658,31 +58658,28 @@ ${lanes.join("\n")}
       return getUnionTypeFromSortedList(typeSet, objectFlags, aliasSymbol, aliasTypeArguments, origin);
     }
     function getUnionOrIntersectionTypePredicate(signatures, kind) {
-      let first2;
+      let last2;
       const types = [];
       for (const sig of signatures) {
         const pred = getTypePredicateOfSignature(sig);
-        if (!pred || pred.kind === 2 /* AssertsThis */ || pred.kind === 3 /* AssertsIdentifier */) {
-          if (kind !== 2097152 /* Intersection */) {
-            continue;
-          } else {
-            return;
-          }
-        }
-        if (first2) {
-          if (!typePredicateKindsMatch(first2, pred)) {
+        if (pred) {
+          if (pred.kind !== 0 /* This */ && pred.kind !== 1 /* Identifier */ || last2 && !typePredicateKindsMatch(last2, pred)) {
             return void 0;
           }
+          last2 = pred;
+          types.push(pred.type);
         } else {
-          first2 = pred;
+          const returnType = kind !== 2097152 /* Intersection */ ? getReturnTypeOfSignature(sig) : void 0;
+          if (returnType !== falseType && returnType !== regularFalseType) {
+            return void 0;
+          }
         }
-        types.push(pred.type);
       }
-      if (!first2) {
+      if (!last2) {
         return void 0;
       }
       const compositeType = getUnionOrIntersectionType(types, kind);
-      return createTypePredicate(first2.kind, first2.parameterName, first2.parameterIndex, compositeType);
+      return createTypePredicate(last2.kind, last2.parameterName, last2.parameterIndex, compositeType);
     }
     function typePredicateKindsMatch(a, b) {
       return a.kind === b.kind && a.parameterIndex === b.parameterIndex;
@@ -60563,18 +60560,19 @@ ${lanes.join("\n")}
           case 185 /* TypeQuery */:
             const entityName = node2.exprName;
             const firstIdentifier = getFirstIdentifier(entityName);
-            const firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
-            const tpDeclaration = tp.symbol.declarations[0];
-            let tpScope;
-            if (tpDeclaration.kind === 167 /* TypeParameter */) {
-              tpScope = tpDeclaration.parent;
-            } else if (tp.isThisType) {
-              tpScope = tpDeclaration;
-            } else {
-              return true;
-            }
-            if (firstIdentifierSymbol.declarations) {
-              return some(firstIdentifierSymbol.declarations, (idDecl) => isNodeDescendantOf(idDecl, tpScope)) || some(node2.typeArguments, containsReference);
+            if (!isThisIdentifier(firstIdentifier)) {
+              const firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
+              const tpDeclaration = tp.symbol.declarations[0];
+              const tpScope = tpDeclaration.kind === 167 /* TypeParameter */ ? tpDeclaration.parent : (
+                // Type parameter is a regular type parameter, e.g. foo<T>
+                tp.isThisType ? tpDeclaration : (
+                  // Type parameter is the this type, and its declaration is the class declaration.
+                  void 0
+                )
+              );
+              if (firstIdentifierSymbol.declarations && tpScope) {
+                return some(firstIdentifierSymbol.declarations, (idDecl) => isNodeDescendantOf(idDecl, tpScope)) || some(node2.typeArguments, containsReference);
+              }
             }
             return true;
           case 173 /* MethodDeclaration */:
@@ -84119,7 +84117,7 @@ ${lanes.join("\n")}
                   if (requestedExternalEmitHelperNames.has(name))
                     continue;
                   requestedExternalEmitHelperNames.add(name);
-                  const symbol = getSymbol2(helpersModule.exports, escapeLeadingUnderscores(name), 111551 /* Value */);
+                  const symbol = getSymbol2(getExportsOfModule(helpersModule), escapeLeadingUnderscores(name), 111551 /* Value */);
                   if (!symbol) {
                     error(location, Diagnostics.This_syntax_requires_an_imported_helper_named_1_which_does_not_exist_in_0_Consider_upgrading_your_version_of_0, externalHelpersModuleNameText, name);
                   } else if (helper & 524288 /* ClassPrivateFieldGet */) {

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.2";
-      version = `${versionMajorMinor}.0-dev.20230519`;
+      version = `${versionMajorMinor}.0-dev.20230521`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -56431,7 +56431,7 @@ ${lanes.join("\n")}
         } else if (type !== firstType) {
           checkFlags |= 64 /* HasNonUniformType */;
         }
-        if (isLiteralType(type) || isPatternLiteralType(type) || type === uniqueLiteralType) {
+        if (isLiteralType(type) || isPatternLiteralType(type)) {
           checkFlags |= 128 /* HasLiteralType */;
         }
         if (type.flags & 131072 /* Never */ && type !== uniqueLiteralType) {
@@ -58658,31 +58658,28 @@ ${lanes.join("\n")}
       return getUnionTypeFromSortedList(typeSet, objectFlags, aliasSymbol, aliasTypeArguments, origin);
     }
     function getUnionOrIntersectionTypePredicate(signatures, kind) {
-      let first2;
+      let last2;
       const types = [];
       for (const sig of signatures) {
         const pred = getTypePredicateOfSignature(sig);
-        if (!pred || pred.kind === 2 /* AssertsThis */ || pred.kind === 3 /* AssertsIdentifier */) {
-          if (kind !== 2097152 /* Intersection */) {
-            continue;
-          } else {
-            return;
-          }
-        }
-        if (first2) {
-          if (!typePredicateKindsMatch(first2, pred)) {
+        if (pred) {
+          if (pred.kind !== 0 /* This */ && pred.kind !== 1 /* Identifier */ || last2 && !typePredicateKindsMatch(last2, pred)) {
             return void 0;
           }
+          last2 = pred;
+          types.push(pred.type);
         } else {
-          first2 = pred;
+          const returnType = kind !== 2097152 /* Intersection */ ? getReturnTypeOfSignature(sig) : void 0;
+          if (returnType !== falseType && returnType !== regularFalseType) {
+            return void 0;
+          }
         }
-        types.push(pred.type);
       }
-      if (!first2) {
+      if (!last2) {
         return void 0;
       }
       const compositeType = getUnionOrIntersectionType(types, kind);
-      return createTypePredicate(first2.kind, first2.parameterName, first2.parameterIndex, compositeType);
+      return createTypePredicate(last2.kind, last2.parameterName, last2.parameterIndex, compositeType);
     }
     function typePredicateKindsMatch(a, b) {
       return a.kind === b.kind && a.parameterIndex === b.parameterIndex;
@@ -60563,18 +60560,19 @@ ${lanes.join("\n")}
           case 185 /* TypeQuery */:
             const entityName = node2.exprName;
             const firstIdentifier = getFirstIdentifier(entityName);
-            const firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
-            const tpDeclaration = tp.symbol.declarations[0];
-            let tpScope;
-            if (tpDeclaration.kind === 167 /* TypeParameter */) {
-              tpScope = tpDeclaration.parent;
-            } else if (tp.isThisType) {
-              tpScope = tpDeclaration;
-            } else {
-              return true;
-            }
-            if (firstIdentifierSymbol.declarations) {
-              return some(firstIdentifierSymbol.declarations, (idDecl) => isNodeDescendantOf(idDecl, tpScope)) || some(node2.typeArguments, containsReference);
+            if (!isThisIdentifier(firstIdentifier)) {
+              const firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
+              const tpDeclaration = tp.symbol.declarations[0];
+              const tpScope = tpDeclaration.kind === 167 /* TypeParameter */ ? tpDeclaration.parent : (
+                // Type parameter is a regular type parameter, e.g. foo<T>
+                tp.isThisType ? tpDeclaration : (
+                  // Type parameter is the this type, and its declaration is the class declaration.
+                  void 0
+                )
+              );
+              if (firstIdentifierSymbol.declarations && tpScope) {
+                return some(firstIdentifierSymbol.declarations, (idDecl) => isNodeDescendantOf(idDecl, tpScope)) || some(node2.typeArguments, containsReference);
+              }
             }
             return true;
           case 173 /* MethodDeclaration */:
@@ -84119,7 +84117,7 @@ ${lanes.join("\n")}
                   if (requestedExternalEmitHelperNames.has(name))
                     continue;
                   requestedExternalEmitHelperNames.add(name);
-                  const symbol = getSymbol2(helpersModule.exports, escapeLeadingUnderscores(name), 111551 /* Value */);
+                  const symbol = getSymbol2(getExportsOfModule(helpersModule), escapeLeadingUnderscores(name), 111551 /* Value */);
                   if (!symbol) {
                     error(location, Diagnostics.This_syntax_requires_an_imported_helper_named_1_which_does_not_exist_in_0_Consider_upgrading_your_version_of_0, externalHelpersModuleNameText, name);
                   } else if (helper & 524288 /* ClassPrivateFieldGet */) {

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.2";
-var version = `${versionMajorMinor}.0-dev.20230519`;
+var version = `${versionMajorMinor}.0-dev.20230521`;
 
 // src/compiler/core.ts
 var emptyArray = [];

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.2.0-dev.20230519",
+    "version": "5.2.0-dev.20230521",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -113,5 +113,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "ae33099f25a2d575a130f70eac44733a8046cf4e"
+    "gitHead": "b1ef88c882ca64c7dc6f4ba8b1c578a6a77981e5"
 }