typescript 5.3.0-dev.20230820 → 5.3.0-dev.20230822

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-dev.20230820`;
+var version = `${versionMajorMinor}.0-dev.20230822`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -54740,7 +54740,7 @@ function createTypeChecker(host) {
     }
     const iife = getImmediatelyInvokedFunctionExpression(node.parent);
     if (iife) {
-      return !node.type && !node.dotDotDotToken && node.parent.parameters.indexOf(node) >= iife.arguments.length;
+      return !node.type && !node.dotDotDotToken && node.parent.parameters.indexOf(node) >= getEffectiveCallArguments(iife).length;
     }
     return false;
   }
@@ -72040,14 +72040,14 @@ function createTypeChecker(host) {
     return node.name.escapedText === "meta" ? getGlobalImportMetaType() : errorType;
   }
   function getTypeOfParameter(symbol) {
-    const type = getTypeOfSymbol(symbol);
-    if (strictNullChecks) {
-      const declaration = symbol.valueDeclaration;
-      if (declaration && hasInitializer(declaration)) {
-        return getOptionalType(type);
-      }
-    }
-    return type;
+    const declaration = symbol.valueDeclaration;
+    return addOptionality(
+      getTypeOfSymbol(symbol),
+      /*isProperty*/
+      false,
+      /*isOptional*/
+      !!declaration && (hasInitializer(declaration) || isOptionalDeclaration(declaration))
+    );
   }
   function getTupleElementLabel(d, index, restParameterName = "arg") {
     if (!d) {
@@ -72314,23 +72314,29 @@ function createTypeChecker(host) {
       assignParameterType(parameter);
     }
   }
-  function assignParameterType(parameter, type) {
+  function assignParameterType(parameter, contextualType) {
     const links = getSymbolLinks(parameter);
     if (!links.type) {
       const declaration = parameter.valueDeclaration;
-      links.type = type || (declaration ? getWidenedTypeForVariableLikeDeclaration(
-        declaration,
-        /*reportErrors*/
-        true
-      ) : getTypeOfSymbol(parameter));
+      links.type = addOptionality(
+        contextualType || (declaration ? getWidenedTypeForVariableLikeDeclaration(
+          declaration,
+          /*reportErrors*/
+          true
+        ) : getTypeOfSymbol(parameter)),
+        /*isProperty*/
+        false,
+        /*isOptional*/
+        !!declaration && !declaration.initializer && isOptionalDeclaration(declaration)
+      );
       if (declaration && declaration.name.kind !== 80 /* Identifier */) {
         if (links.type === unknownType) {
           links.type = getTypeFromBindingPattern(declaration.name);
         }
         assignBindingElementTypes(declaration.name, links.type);
       }
-    } else if (type) {
-      Debug.assertEqual(links.type, type, "Parameter symbol already has a cached type which differs from newly assigned type");
+    } else if (contextualType) {
+      Debug.assertEqual(links.type, contextualType, "Parameter symbol already has a cached type which differs from newly assigned type");
     }
   }
   function assignBindingElementTypes(pattern, parentType) {

package/lib/tsserver.js

@@ -2333,7 +2333,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-dev.20230820`;
+var version = `${versionMajorMinor}.0-dev.20230822`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -59448,7 +59448,7 @@ function createTypeChecker(host) {
     }
     const iife = getImmediatelyInvokedFunctionExpression(node.parent);
     if (iife) {
-      return !node.type && !node.dotDotDotToken && node.parent.parameters.indexOf(node) >= iife.arguments.length;
+      return !node.type && !node.dotDotDotToken && node.parent.parameters.indexOf(node) >= getEffectiveCallArguments(iife).length;
     }
     return false;
   }
@@ -76748,14 +76748,14 @@ function createTypeChecker(host) {
     return node.name.escapedText === "meta" ? getGlobalImportMetaType() : errorType;
   }
   function getTypeOfParameter(symbol) {
-    const type = getTypeOfSymbol(symbol);
-    if (strictNullChecks) {
-      const declaration = symbol.valueDeclaration;
-      if (declaration && hasInitializer(declaration)) {
-        return getOptionalType(type);
-      }
-    }
-    return type;
+    const declaration = symbol.valueDeclaration;
+    return addOptionality(
+      getTypeOfSymbol(symbol),
+      /*isProperty*/
+      false,
+      /*isOptional*/
+      !!declaration && (hasInitializer(declaration) || isOptionalDeclaration(declaration))
+    );
   }
   function getTupleElementLabel(d, index, restParameterName = "arg") {
     if (!d) {
@@ -77022,23 +77022,29 @@ function createTypeChecker(host) {
       assignParameterType(parameter);
     }
   }
-  function assignParameterType(parameter, type) {
+  function assignParameterType(parameter, contextualType) {
     const links = getSymbolLinks(parameter);
     if (!links.type) {
       const declaration = parameter.valueDeclaration;
-      links.type = type || (declaration ? getWidenedTypeForVariableLikeDeclaration(
-        declaration,
-        /*reportErrors*/
-        true
-      ) : getTypeOfSymbol(parameter));
+      links.type = addOptionality(
+        contextualType || (declaration ? getWidenedTypeForVariableLikeDeclaration(
+          declaration,
+          /*reportErrors*/
+          true
+        ) : getTypeOfSymbol(parameter)),
+        /*isProperty*/
+        false,
+        /*isOptional*/
+        !!declaration && !declaration.initializer && isOptionalDeclaration(declaration)
+      );
       if (declaration && declaration.name.kind !== 80 /* Identifier */) {
         if (links.type === unknownType) {
           links.type = getTypeFromBindingPattern(declaration.name);
         }
         assignBindingElementTypes(declaration.name, links.type);
       }
-    } else if (type) {
-      Debug.assertEqual(links.type, type, "Parameter symbol already has a cached type which differs from newly assigned type");
+    } else if (contextualType) {
+      Debug.assertEqual(links.type, contextualType, "Parameter symbol already has a cached type which differs from newly assigned type");
     }
   }
   function assignBindingElementTypes(pattern, parentType) {

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.3";
-      version = `${versionMajorMinor}.0-dev.20230820`;
+      version = `${versionMajorMinor}.0-dev.20230822`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -57209,7 +57209,7 @@ ${lanes.join("\n")}
       }
       const iife = getImmediatelyInvokedFunctionExpression(node.parent);
       if (iife) {
-        return !node.type && !node.dotDotDotToken && node.parent.parameters.indexOf(node) >= iife.arguments.length;
+        return !node.type && !node.dotDotDotToken && node.parent.parameters.indexOf(node) >= getEffectiveCallArguments(iife).length;
       }
       return false;
     }
@@ -74509,14 +74509,14 @@ ${lanes.join("\n")}
       return node.name.escapedText === "meta" ? getGlobalImportMetaType() : errorType;
     }
     function getTypeOfParameter(symbol) {
-      const type = getTypeOfSymbol(symbol);
-      if (strictNullChecks) {
-        const declaration = symbol.valueDeclaration;
-        if (declaration && hasInitializer(declaration)) {
-          return getOptionalType(type);
-        }
-      }
-      return type;
+      const declaration = symbol.valueDeclaration;
+      return addOptionality(
+        getTypeOfSymbol(symbol),
+        /*isProperty*/
+        false,
+        /*isOptional*/
+        !!declaration && (hasInitializer(declaration) || isOptionalDeclaration(declaration))
+      );
     }
     function getTupleElementLabel(d, index, restParameterName = "arg") {
       if (!d) {
@@ -74783,23 +74783,29 @@ ${lanes.join("\n")}
         assignParameterType(parameter);
       }
     }
-    function assignParameterType(parameter, type) {
+    function assignParameterType(parameter, contextualType) {
       const links = getSymbolLinks(parameter);
       if (!links.type) {
         const declaration = parameter.valueDeclaration;
-        links.type = type || (declaration ? getWidenedTypeForVariableLikeDeclaration(
-          declaration,
-          /*reportErrors*/
-          true
-        ) : getTypeOfSymbol(parameter));
+        links.type = addOptionality(
+          contextualType || (declaration ? getWidenedTypeForVariableLikeDeclaration(
+            declaration,
+            /*reportErrors*/
+            true
+          ) : getTypeOfSymbol(parameter)),
+          /*isProperty*/
+          false,
+          /*isOptional*/
+          !!declaration && !declaration.initializer && isOptionalDeclaration(declaration)
+        );
         if (declaration && declaration.name.kind !== 80 /* Identifier */) {
           if (links.type === unknownType) {
             links.type = getTypeFromBindingPattern(declaration.name);
           }
           assignBindingElementTypes(declaration.name, links.type);
         }
-      } else if (type) {
-        Debug.assertEqual(links.type, type, "Parameter symbol already has a cached type which differs from newly assigned type");
+      } else if (contextualType) {
+        Debug.assertEqual(links.type, contextualType, "Parameter symbol already has a cached type which differs from newly assigned type");
       }
     }
     function assignBindingElementTypes(pattern, parentType) {

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-dev.20230820`;
+var version = `${versionMajorMinor}.0-dev.20230822`;
 
 // 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.3.0-dev.20230820",
+    "version": "5.3.0-dev.20230822",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -115,5 +115,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "3af710e414834301cf199855a3fbe095c4f31d4b"
+    "gitHead": "5439c8111de50fa6ea239f95fc23c76dc868fc07"
 }