typescript 4.9.0-dev.20220930 → 4.9.0-dev.20221001

package/lib/tsc.js

@@ -69,7 +69,7 @@ var __generator = (this && this.__generator) || function (thisArg, body) {
 var ts;
 (function (ts) {
     ts.versionMajorMinor = "4.9";
-    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220930");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20221001");
     var NativeCollections;
     (function (NativeCollections) {
         var globals = typeof globalThis !== "undefined" ? globalThis :
@@ -8350,7 +8350,7 @@ var ts;
             return -1;
         }
         function peekExtendedUnicodeEscape() {
-            if (languageVersion >= 2 && codePointAt(text, pos + 1) === 117 && codePointAt(text, pos + 2) === 123) {
+            if (codePointAt(text, pos + 1) === 117 && codePointAt(text, pos + 2) === 123) {
                 var start_2 = pos;
                 pos += 3;
                 var escapedValueString = scanMinimumNumberOfHexDigits(1, false);
@@ -18485,7 +18485,7 @@ var ts;
             nextAutoGenerateId++;
             return node;
         }
-        function createIdentifier(text, typeArguments, originalKeywordKind) {
+        function createIdentifier(text, typeArguments, originalKeywordKind, hasExtendedUnicodeEscape) {
             var node = createBaseIdentifier(text, originalKeywordKind);
             if (typeArguments) {
                 node.typeArguments = createNodeArray(typeArguments);
@@ -18493,6 +18493,10 @@ var ts;
             if (node.originalKeywordKind === 133) {
                 node.transformFlags |= 67108864;
             }
+            if (hasExtendedUnicodeEscape) {
+                node.hasExtendedUnicodeEscape = hasExtendedUnicodeEscape;
+                node.transformFlags |= 1024;
+            }
             return node;
         }
         function updateIdentifier(node, typeArguments) {
@@ -26760,8 +26764,9 @@ var ts;
                 var pos = getNodePos();
                 var originalKeywordKind = token();
                 var text = internIdentifier(scanner.getTokenValue());
+                var hasExtendedUnicodeEscape = scanner.hasExtendedUnicodeEscape();
                 nextTokenWithoutCheck();
-                return finishNode(factory.createIdentifier(text, undefined, originalKeywordKind), pos);
+                return finishNode(factory.createIdentifier(text, undefined, originalKeywordKind, hasExtendedUnicodeEscape), pos);
             }
             if (token() === 80) {
                 parseErrorAtCurrentToken(privateIdentifierDiagnosticMessage || ts.Diagnostics.Private_identifiers_are_not_allowed_outside_class_bodies);
@@ -62258,7 +62263,7 @@ var ts;
         function instantiateContextualType(contextualType, node, contextFlags) {
             if (contextualType && maybeTypeOfKind(contextualType, 465829888)) {
                 var inferenceContext = getInferenceContext(node);
-                if (inferenceContext && contextFlags & 1 && ts.some(inferenceContext.inferences, hasInferenceCandidates)) {
+                if (inferenceContext && contextFlags & 1 && ts.some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
                     return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
                 }
                 if (inferenceContext === null || inferenceContext === void 0 ? void 0 : inferenceContext.returnMapper) {
@@ -68207,6 +68212,9 @@ var ts;
         function hasInferenceCandidates(info) {
             return !!(info.candidates || info.contraCandidates);
         }
+        function hasInferenceCandidatesOrDefault(info) {
+            return !!(info.candidates || info.contraCandidates || hasTypeParameterDefault(info.typeParameter));
+        }
         function hasOverlappingInferences(a, b) {
             for (var i = 0; i < a.length; i++) {
                 if (hasInferenceCandidates(a[i]) && hasInferenceCandidates(b[i])) {
@@ -84819,11 +84827,13 @@ var ts;
             return ts.visitEachChild(node, visitorWithUnusedExpressionResult, context);
         }
         function visitIdentifier(node) {
-            if (!convertedLoopState) {
-                return node;
+            if (convertedLoopState) {
+                if (resolver.isArgumentsLocalBinding(node)) {
+                    return convertedLoopState.argumentsName || (convertedLoopState.argumentsName = factory.createUniqueName("arguments"));
+                }
             }
-            if (resolver.isArgumentsLocalBinding(node)) {
-                return convertedLoopState.argumentsName || (convertedLoopState.argumentsName = factory.createUniqueName("arguments"));
+            if (node.hasExtendedUnicodeEscape) {
+                return ts.setOriginalNode(ts.setTextRange(factory.createIdentifier(ts.unescapeLeadingUnderscores(node.escapedText)), node), node);
             }
             return node;
         }

package/lib/tsserver.js

@@ -109,7 +109,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 = "".concat(ts.versionMajorMinor, ".0-dev.20220930");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20221001");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -11378,7 +11378,7 @@ var ts;
             return -1;
         }
         function peekExtendedUnicodeEscape() {
-            if (languageVersion >= 2 /* ScriptTarget.ES2015 */ && codePointAt(text, pos + 1) === 117 /* CharacterCodes.u */ && codePointAt(text, pos + 2) === 123 /* CharacterCodes.openBrace */) {
+            if (codePointAt(text, pos + 1) === 117 /* CharacterCodes.u */ && codePointAt(text, pos + 2) === 123 /* CharacterCodes.openBrace */) {
                 var start_2 = pos;
                 pos += 3;
                 var escapedValueString = scanMinimumNumberOfHexDigits(1, /*canHaveSeparators*/ false);
@@ -23159,7 +23159,7 @@ var ts;
             return node;
         }
         // @api
-        function createIdentifier(text, typeArguments, originalKeywordKind) {
+        function createIdentifier(text, typeArguments, originalKeywordKind, hasExtendedUnicodeEscape) {
             var node = createBaseIdentifier(text, originalKeywordKind);
             if (typeArguments) {
                 // NOTE: we do not use `setChildren` here because typeArguments in an identifier do not contribute to transformations
@@ -23168,6 +23168,10 @@ var ts;
             if (node.originalKeywordKind === 133 /* SyntaxKind.AwaitKeyword */) {
                 node.transformFlags |= 67108864 /* TransformFlags.ContainsPossibleTopLevelAwait */;
             }
+            if (hasExtendedUnicodeEscape) {
+                node.hasExtendedUnicodeEscape = hasExtendedUnicodeEscape;
+                node.transformFlags |= 1024 /* TransformFlags.ContainsES2015 */;
+            }
             return node;
         }
         // @api
@@ -33102,8 +33106,9 @@ var ts;
                 // Store original token kind if it is not just an Identifier so we can report appropriate error later in type checker
                 var originalKeywordKind = token();
                 var text = internIdentifier(scanner.getTokenValue());
+                var hasExtendedUnicodeEscape = scanner.hasExtendedUnicodeEscape();
                 nextTokenWithoutCheck();
-                return finishNode(factory.createIdentifier(text, /*typeArguments*/ undefined, originalKeywordKind), pos);
+                return finishNode(factory.createIdentifier(text, /*typeArguments*/ undefined, originalKeywordKind, hasExtendedUnicodeEscape), pos);
             }
             if (token() === 80 /* SyntaxKind.PrivateIdentifier */) {
                 parseErrorAtCurrentToken(privateIdentifierDiagnosticMessage || ts.Diagnostics.Private_identifiers_are_not_allowed_outside_class_bodies);
@@ -74433,9 +74438,10 @@ var ts;
         function instantiateContextualType(contextualType, node, contextFlags) {
             if (contextualType && maybeTypeOfKind(contextualType, 465829888 /* TypeFlags.Instantiable */)) {
                 var inferenceContext = getInferenceContext(node);
-                // If no inferences have been made, nothing is gained from instantiating as type parameters
-                // would just be replaced with their defaults similar to the apparent type.
-                if (inferenceContext && contextFlags & 1 /* ContextFlags.Signature */ && ts.some(inferenceContext.inferences, hasInferenceCandidates)) {
+                // If no inferences have been made, and none of the type parameters for which we are inferring
+                // specify default types, nothing is gained from instantiating as type parameters would just be
+                // replaced with their constraints similar to the apparent type.
+                if (inferenceContext && contextFlags & 1 /* ContextFlags.Signature */ && ts.some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
                     // For contextual signatures we incorporate all inferences made so far, e.g. from return
                     // types as well as arguments to the left in a function call.
                     return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
@@ -81283,6 +81289,9 @@ var ts;
         function hasInferenceCandidates(info) {
             return !!(info.candidates || info.contraCandidates);
         }
+        function hasInferenceCandidatesOrDefault(info) {
+            return !!(info.candidates || info.contraCandidates || hasTypeParameterDefault(info.typeParameter));
+        }
         function hasOverlappingInferences(a, b) {
             for (var i = 0; i < a.length; i++) {
                 if (hasInferenceCandidates(a[i]) && hasInferenceCandidates(b[i])) {
@@ -101315,11 +101324,13 @@ var ts;
             return ts.visitEachChild(node, visitorWithUnusedExpressionResult, context);
         }
         function visitIdentifier(node) {
-            if (!convertedLoopState) {
-                return node;
+            if (convertedLoopState) {
+                if (resolver.isArgumentsLocalBinding(node)) {
+                    return convertedLoopState.argumentsName || (convertedLoopState.argumentsName = factory.createUniqueName("arguments"));
+                }
             }
-            if (resolver.isArgumentsLocalBinding(node)) {
-                return convertedLoopState.argumentsName || (convertedLoopState.argumentsName = factory.createUniqueName("arguments"));
+            if (node.hasExtendedUnicodeEscape) {
+                return ts.setOriginalNode(ts.setTextRange(factory.createIdentifier(ts.unescapeLeadingUnderscores(node.escapedText)), node), node);
             }
             return node;
         }

package/lib/tsserverlibrary.js

@@ -108,7 +108,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 = "".concat(ts.versionMajorMinor, ".0-dev.20220930");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20221001");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -11377,7 +11377,7 @@ var ts;
             return -1;
         }
         function peekExtendedUnicodeEscape() {
-            if (languageVersion >= 2 /* ScriptTarget.ES2015 */ && codePointAt(text, pos + 1) === 117 /* CharacterCodes.u */ && codePointAt(text, pos + 2) === 123 /* CharacterCodes.openBrace */) {
+            if (codePointAt(text, pos + 1) === 117 /* CharacterCodes.u */ && codePointAt(text, pos + 2) === 123 /* CharacterCodes.openBrace */) {
                 var start_2 = pos;
                 pos += 3;
                 var escapedValueString = scanMinimumNumberOfHexDigits(1, /*canHaveSeparators*/ false);
@@ -23158,7 +23158,7 @@ var ts;
             return node;
         }
         // @api
-        function createIdentifier(text, typeArguments, originalKeywordKind) {
+        function createIdentifier(text, typeArguments, originalKeywordKind, hasExtendedUnicodeEscape) {
             var node = createBaseIdentifier(text, originalKeywordKind);
             if (typeArguments) {
                 // NOTE: we do not use `setChildren` here because typeArguments in an identifier do not contribute to transformations
@@ -23167,6 +23167,10 @@ var ts;
             if (node.originalKeywordKind === 133 /* SyntaxKind.AwaitKeyword */) {
                 node.transformFlags |= 67108864 /* TransformFlags.ContainsPossibleTopLevelAwait */;
             }
+            if (hasExtendedUnicodeEscape) {
+                node.hasExtendedUnicodeEscape = hasExtendedUnicodeEscape;
+                node.transformFlags |= 1024 /* TransformFlags.ContainsES2015 */;
+            }
             return node;
         }
         // @api
@@ -33101,8 +33105,9 @@ var ts;
                 // Store original token kind if it is not just an Identifier so we can report appropriate error later in type checker
                 var originalKeywordKind = token();
                 var text = internIdentifier(scanner.getTokenValue());
+                var hasExtendedUnicodeEscape = scanner.hasExtendedUnicodeEscape();
                 nextTokenWithoutCheck();
-                return finishNode(factory.createIdentifier(text, /*typeArguments*/ undefined, originalKeywordKind), pos);
+                return finishNode(factory.createIdentifier(text, /*typeArguments*/ undefined, originalKeywordKind, hasExtendedUnicodeEscape), pos);
             }
             if (token() === 80 /* SyntaxKind.PrivateIdentifier */) {
                 parseErrorAtCurrentToken(privateIdentifierDiagnosticMessage || ts.Diagnostics.Private_identifiers_are_not_allowed_outside_class_bodies);
@@ -74432,9 +74437,10 @@ var ts;
         function instantiateContextualType(contextualType, node, contextFlags) {
             if (contextualType && maybeTypeOfKind(contextualType, 465829888 /* TypeFlags.Instantiable */)) {
                 var inferenceContext = getInferenceContext(node);
-                // If no inferences have been made, nothing is gained from instantiating as type parameters
-                // would just be replaced with their defaults similar to the apparent type.
-                if (inferenceContext && contextFlags & 1 /* ContextFlags.Signature */ && ts.some(inferenceContext.inferences, hasInferenceCandidates)) {
+                // If no inferences have been made, and none of the type parameters for which we are inferring
+                // specify default types, nothing is gained from instantiating as type parameters would just be
+                // replaced with their constraints similar to the apparent type.
+                if (inferenceContext && contextFlags & 1 /* ContextFlags.Signature */ && ts.some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
                     // For contextual signatures we incorporate all inferences made so far, e.g. from return
                     // types as well as arguments to the left in a function call.
                     return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
@@ -81282,6 +81288,9 @@ var ts;
         function hasInferenceCandidates(info) {
             return !!(info.candidates || info.contraCandidates);
         }
+        function hasInferenceCandidatesOrDefault(info) {
+            return !!(info.candidates || info.contraCandidates || hasTypeParameterDefault(info.typeParameter));
+        }
         function hasOverlappingInferences(a, b) {
             for (var i = 0; i < a.length; i++) {
                 if (hasInferenceCandidates(a[i]) && hasInferenceCandidates(b[i])) {
@@ -101314,11 +101323,13 @@ var ts;
             return ts.visitEachChild(node, visitorWithUnusedExpressionResult, context);
         }
         function visitIdentifier(node) {
-            if (!convertedLoopState) {
-                return node;
+            if (convertedLoopState) {
+                if (resolver.isArgumentsLocalBinding(node)) {
+                    return convertedLoopState.argumentsName || (convertedLoopState.argumentsName = factory.createUniqueName("arguments"));
+                }
             }
-            if (resolver.isArgumentsLocalBinding(node)) {
-                return convertedLoopState.argumentsName || (convertedLoopState.argumentsName = factory.createUniqueName("arguments"));
+            if (node.hasExtendedUnicodeEscape) {
+                return ts.setOriginalNode(ts.setTextRange(factory.createIdentifier(ts.unescapeLeadingUnderscores(node.escapedText)), node), node);
             }
             return node;
         }

package/lib/typescript.js

@@ -99,7 +99,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 = "".concat(ts.versionMajorMinor, ".0-dev.20220930");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20221001");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -11368,7 +11368,7 @@ var ts;
             return -1;
         }
         function peekExtendedUnicodeEscape() {
-            if (languageVersion >= 2 /* ScriptTarget.ES2015 */ && codePointAt(text, pos + 1) === 117 /* CharacterCodes.u */ && codePointAt(text, pos + 2) === 123 /* CharacterCodes.openBrace */) {
+            if (codePointAt(text, pos + 1) === 117 /* CharacterCodes.u */ && codePointAt(text, pos + 2) === 123 /* CharacterCodes.openBrace */) {
                 var start_2 = pos;
                 pos += 3;
                 var escapedValueString = scanMinimumNumberOfHexDigits(1, /*canHaveSeparators*/ false);
@@ -23149,7 +23149,7 @@ var ts;
             return node;
         }
         // @api
-        function createIdentifier(text, typeArguments, originalKeywordKind) {
+        function createIdentifier(text, typeArguments, originalKeywordKind, hasExtendedUnicodeEscape) {
             var node = createBaseIdentifier(text, originalKeywordKind);
             if (typeArguments) {
                 // NOTE: we do not use `setChildren` here because typeArguments in an identifier do not contribute to transformations
@@ -23158,6 +23158,10 @@ var ts;
             if (node.originalKeywordKind === 133 /* SyntaxKind.AwaitKeyword */) {
                 node.transformFlags |= 67108864 /* TransformFlags.ContainsPossibleTopLevelAwait */;
             }
+            if (hasExtendedUnicodeEscape) {
+                node.hasExtendedUnicodeEscape = hasExtendedUnicodeEscape;
+                node.transformFlags |= 1024 /* TransformFlags.ContainsES2015 */;
+            }
             return node;
         }
         // @api
@@ -33092,8 +33096,9 @@ var ts;
                 // Store original token kind if it is not just an Identifier so we can report appropriate error later in type checker
                 var originalKeywordKind = token();
                 var text = internIdentifier(scanner.getTokenValue());
+                var hasExtendedUnicodeEscape = scanner.hasExtendedUnicodeEscape();
                 nextTokenWithoutCheck();
-                return finishNode(factory.createIdentifier(text, /*typeArguments*/ undefined, originalKeywordKind), pos);
+                return finishNode(factory.createIdentifier(text, /*typeArguments*/ undefined, originalKeywordKind, hasExtendedUnicodeEscape), pos);
             }
             if (token() === 80 /* SyntaxKind.PrivateIdentifier */) {
                 parseErrorAtCurrentToken(privateIdentifierDiagnosticMessage || ts.Diagnostics.Private_identifiers_are_not_allowed_outside_class_bodies);
@@ -74423,9 +74428,10 @@ var ts;
         function instantiateContextualType(contextualType, node, contextFlags) {
             if (contextualType && maybeTypeOfKind(contextualType, 465829888 /* TypeFlags.Instantiable */)) {
                 var inferenceContext = getInferenceContext(node);
-                // If no inferences have been made, nothing is gained from instantiating as type parameters
-                // would just be replaced with their defaults similar to the apparent type.
-                if (inferenceContext && contextFlags & 1 /* ContextFlags.Signature */ && ts.some(inferenceContext.inferences, hasInferenceCandidates)) {
+                // If no inferences have been made, and none of the type parameters for which we are inferring
+                // specify default types, nothing is gained from instantiating as type parameters would just be
+                // replaced with their constraints similar to the apparent type.
+                if (inferenceContext && contextFlags & 1 /* ContextFlags.Signature */ && ts.some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
                     // For contextual signatures we incorporate all inferences made so far, e.g. from return
                     // types as well as arguments to the left in a function call.
                     return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
@@ -81273,6 +81279,9 @@ var ts;
         function hasInferenceCandidates(info) {
             return !!(info.candidates || info.contraCandidates);
         }
+        function hasInferenceCandidatesOrDefault(info) {
+            return !!(info.candidates || info.contraCandidates || hasTypeParameterDefault(info.typeParameter));
+        }
         function hasOverlappingInferences(a, b) {
             for (var i = 0; i < a.length; i++) {
                 if (hasInferenceCandidates(a[i]) && hasInferenceCandidates(b[i])) {
@@ -101305,11 +101314,13 @@ var ts;
             return ts.visitEachChild(node, visitorWithUnusedExpressionResult, context);
         }
         function visitIdentifier(node) {
-            if (!convertedLoopState) {
-                return node;
+            if (convertedLoopState) {
+                if (resolver.isArgumentsLocalBinding(node)) {
+                    return convertedLoopState.argumentsName || (convertedLoopState.argumentsName = factory.createUniqueName("arguments"));
+                }
             }
-            if (resolver.isArgumentsLocalBinding(node)) {
-                return convertedLoopState.argumentsName || (convertedLoopState.argumentsName = factory.createUniqueName("arguments"));
+            if (node.hasExtendedUnicodeEscape) {
+                return ts.setOriginalNode(ts.setTextRange(factory.createIdentifier(ts.unescapeLeadingUnderscores(node.escapedText)), node), node);
             }
             return node;
         }

package/lib/typescriptServices.js

@@ -99,7 +99,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 = "".concat(ts.versionMajorMinor, ".0-dev.20220930");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20221001");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -11368,7 +11368,7 @@ var ts;
             return -1;
         }
         function peekExtendedUnicodeEscape() {
-            if (languageVersion >= 2 /* ScriptTarget.ES2015 */ && codePointAt(text, pos + 1) === 117 /* CharacterCodes.u */ && codePointAt(text, pos + 2) === 123 /* CharacterCodes.openBrace */) {
+            if (codePointAt(text, pos + 1) === 117 /* CharacterCodes.u */ && codePointAt(text, pos + 2) === 123 /* CharacterCodes.openBrace */) {
                 var start_2 = pos;
                 pos += 3;
                 var escapedValueString = scanMinimumNumberOfHexDigits(1, /*canHaveSeparators*/ false);
@@ -23149,7 +23149,7 @@ var ts;
             return node;
         }
         // @api
-        function createIdentifier(text, typeArguments, originalKeywordKind) {
+        function createIdentifier(text, typeArguments, originalKeywordKind, hasExtendedUnicodeEscape) {
             var node = createBaseIdentifier(text, originalKeywordKind);
             if (typeArguments) {
                 // NOTE: we do not use `setChildren` here because typeArguments in an identifier do not contribute to transformations
@@ -23158,6 +23158,10 @@ var ts;
             if (node.originalKeywordKind === 133 /* SyntaxKind.AwaitKeyword */) {
                 node.transformFlags |= 67108864 /* TransformFlags.ContainsPossibleTopLevelAwait */;
             }
+            if (hasExtendedUnicodeEscape) {
+                node.hasExtendedUnicodeEscape = hasExtendedUnicodeEscape;
+                node.transformFlags |= 1024 /* TransformFlags.ContainsES2015 */;
+            }
             return node;
         }
         // @api
@@ -33092,8 +33096,9 @@ var ts;
                 // Store original token kind if it is not just an Identifier so we can report appropriate error later in type checker
                 var originalKeywordKind = token();
                 var text = internIdentifier(scanner.getTokenValue());
+                var hasExtendedUnicodeEscape = scanner.hasExtendedUnicodeEscape();
                 nextTokenWithoutCheck();
-                return finishNode(factory.createIdentifier(text, /*typeArguments*/ undefined, originalKeywordKind), pos);
+                return finishNode(factory.createIdentifier(text, /*typeArguments*/ undefined, originalKeywordKind, hasExtendedUnicodeEscape), pos);
             }
             if (token() === 80 /* SyntaxKind.PrivateIdentifier */) {
                 parseErrorAtCurrentToken(privateIdentifierDiagnosticMessage || ts.Diagnostics.Private_identifiers_are_not_allowed_outside_class_bodies);
@@ -74423,9 +74428,10 @@ var ts;
         function instantiateContextualType(contextualType, node, contextFlags) {
             if (contextualType && maybeTypeOfKind(contextualType, 465829888 /* TypeFlags.Instantiable */)) {
                 var inferenceContext = getInferenceContext(node);
-                // If no inferences have been made, nothing is gained from instantiating as type parameters
-                // would just be replaced with their defaults similar to the apparent type.
-                if (inferenceContext && contextFlags & 1 /* ContextFlags.Signature */ && ts.some(inferenceContext.inferences, hasInferenceCandidates)) {
+                // If no inferences have been made, and none of the type parameters for which we are inferring
+                // specify default types, nothing is gained from instantiating as type parameters would just be
+                // replaced with their constraints similar to the apparent type.
+                if (inferenceContext && contextFlags & 1 /* ContextFlags.Signature */ && ts.some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
                     // For contextual signatures we incorporate all inferences made so far, e.g. from return
                     // types as well as arguments to the left in a function call.
                     return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
@@ -81273,6 +81279,9 @@ var ts;
         function hasInferenceCandidates(info) {
             return !!(info.candidates || info.contraCandidates);
         }
+        function hasInferenceCandidatesOrDefault(info) {
+            return !!(info.candidates || info.contraCandidates || hasTypeParameterDefault(info.typeParameter));
+        }
         function hasOverlappingInferences(a, b) {
             for (var i = 0; i < a.length; i++) {
                 if (hasInferenceCandidates(a[i]) && hasInferenceCandidates(b[i])) {
@@ -101305,11 +101314,13 @@ var ts;
             return ts.visitEachChild(node, visitorWithUnusedExpressionResult, context);
         }
         function visitIdentifier(node) {
-            if (!convertedLoopState) {
-                return node;
+            if (convertedLoopState) {
+                if (resolver.isArgumentsLocalBinding(node)) {
+                    return convertedLoopState.argumentsName || (convertedLoopState.argumentsName = factory.createUniqueName("arguments"));
+                }
             }
-            if (resolver.isArgumentsLocalBinding(node)) {
-                return convertedLoopState.argumentsName || (convertedLoopState.argumentsName = factory.createUniqueName("arguments"));
+            if (node.hasExtendedUnicodeEscape) {
+                return ts.setOriginalNode(ts.setTextRange(factory.createIdentifier(ts.unescapeLeadingUnderscores(node.escapedText)), node), node);
             }
             return node;
         }

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 = "".concat(ts.versionMajorMinor, ".0-dev.20220930");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20221001");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -11358,7 +11358,7 @@ var ts;
             return -1;
         }
         function peekExtendedUnicodeEscape() {
-            if (languageVersion >= 2 /* ScriptTarget.ES2015 */ && codePointAt(text, pos + 1) === 117 /* CharacterCodes.u */ && codePointAt(text, pos + 2) === 123 /* CharacterCodes.openBrace */) {
+            if (codePointAt(text, pos + 1) === 117 /* CharacterCodes.u */ && codePointAt(text, pos + 2) === 123 /* CharacterCodes.openBrace */) {
                 var start_2 = pos;
                 pos += 3;
                 var escapedValueString = scanMinimumNumberOfHexDigits(1, /*canHaveSeparators*/ false);
@@ -23139,7 +23139,7 @@ var ts;
             return node;
         }
         // @api
-        function createIdentifier(text, typeArguments, originalKeywordKind) {
+        function createIdentifier(text, typeArguments, originalKeywordKind, hasExtendedUnicodeEscape) {
             var node = createBaseIdentifier(text, originalKeywordKind);
             if (typeArguments) {
                 // NOTE: we do not use `setChildren` here because typeArguments in an identifier do not contribute to transformations
@@ -23148,6 +23148,10 @@ var ts;
             if (node.originalKeywordKind === 133 /* SyntaxKind.AwaitKeyword */) {
                 node.transformFlags |= 67108864 /* TransformFlags.ContainsPossibleTopLevelAwait */;
             }
+            if (hasExtendedUnicodeEscape) {
+                node.hasExtendedUnicodeEscape = hasExtendedUnicodeEscape;
+                node.transformFlags |= 1024 /* TransformFlags.ContainsES2015 */;
+            }
             return node;
         }
         // @api
@@ -33082,8 +33086,9 @@ var ts;
                 // Store original token kind if it is not just an Identifier so we can report appropriate error later in type checker
                 var originalKeywordKind = token();
                 var text = internIdentifier(scanner.getTokenValue());
+                var hasExtendedUnicodeEscape = scanner.hasExtendedUnicodeEscape();
                 nextTokenWithoutCheck();
-                return finishNode(factory.createIdentifier(text, /*typeArguments*/ undefined, originalKeywordKind), pos);
+                return finishNode(factory.createIdentifier(text, /*typeArguments*/ undefined, originalKeywordKind, hasExtendedUnicodeEscape), pos);
             }
             if (token() === 80 /* SyntaxKind.PrivateIdentifier */) {
                 parseErrorAtCurrentToken(privateIdentifierDiagnosticMessage || ts.Diagnostics.Private_identifiers_are_not_allowed_outside_class_bodies);
@@ -74413,9 +74418,10 @@ var ts;
         function instantiateContextualType(contextualType, node, contextFlags) {
             if (contextualType && maybeTypeOfKind(contextualType, 465829888 /* TypeFlags.Instantiable */)) {
                 var inferenceContext = getInferenceContext(node);
-                // If no inferences have been made, nothing is gained from instantiating as type parameters
-                // would just be replaced with their defaults similar to the apparent type.
-                if (inferenceContext && contextFlags & 1 /* ContextFlags.Signature */ && ts.some(inferenceContext.inferences, hasInferenceCandidates)) {
+                // If no inferences have been made, and none of the type parameters for which we are inferring
+                // specify default types, nothing is gained from instantiating as type parameters would just be
+                // replaced with their constraints similar to the apparent type.
+                if (inferenceContext && contextFlags & 1 /* ContextFlags.Signature */ && ts.some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
                     // For contextual signatures we incorporate all inferences made so far, e.g. from return
                     // types as well as arguments to the left in a function call.
                     return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
@@ -81263,6 +81269,9 @@ var ts;
         function hasInferenceCandidates(info) {
             return !!(info.candidates || info.contraCandidates);
         }
+        function hasInferenceCandidatesOrDefault(info) {
+            return !!(info.candidates || info.contraCandidates || hasTypeParameterDefault(info.typeParameter));
+        }
         function hasOverlappingInferences(a, b) {
             for (var i = 0; i < a.length; i++) {
                 if (hasInferenceCandidates(a[i]) && hasInferenceCandidates(b[i])) {
@@ -101295,11 +101304,13 @@ var ts;
             return ts.visitEachChild(node, visitorWithUnusedExpressionResult, context);
         }
         function visitIdentifier(node) {
-            if (!convertedLoopState) {
-                return node;
+            if (convertedLoopState) {
+                if (resolver.isArgumentsLocalBinding(node)) {
+                    return convertedLoopState.argumentsName || (convertedLoopState.argumentsName = factory.createUniqueName("arguments"));
+                }
             }
-            if (resolver.isArgumentsLocalBinding(node)) {
-                return convertedLoopState.argumentsName || (convertedLoopState.argumentsName = factory.createUniqueName("arguments"));
+            if (node.hasExtendedUnicodeEscape) {
+                return ts.setOriginalNode(ts.setTextRange(factory.createIdentifier(ts.unescapeLeadingUnderscores(node.escapedText)), node), node);
             }
             return node;
         }

package/package.json

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