typescript 4.9.0-dev.20220914 → 4.9.0-dev.20220916

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.20220914");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220916");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -10101,6 +10101,11 @@ var ts;
         Types_cannot_appear_in_export_declarations_in_JavaScript_files: diag(18043, ts.DiagnosticCategory.Error, "Types_cannot_appear_in_export_declarations_in_JavaScript_files_18043", "Types cannot appear in export declarations in JavaScript files."),
         _0_is_automatically_exported_here: diag(18044, ts.DiagnosticCategory.Message, "_0_is_automatically_exported_here_18044", "'{0}' is automatically exported here."),
         Properties_with_the_accessor_modifier_are_only_available_when_targeting_ECMAScript_2015_and_higher: diag(18045, ts.DiagnosticCategory.Error, "Properties_with_the_accessor_modifier_are_only_available_when_targeting_ECMAScript_2015_and_higher_18045", "Properties with the 'accessor' modifier are only available when targeting ECMAScript 2015 and higher."),
+        _0_is_of_type_unknown: diag(18046, ts.DiagnosticCategory.Error, "_0_is_of_type_unknown_18046", "'{0}' is of type 'unknown'."),
+        _0_is_possibly_null: diag(18047, ts.DiagnosticCategory.Error, "_0_is_possibly_null_18047", "'{0}' is possibly 'null'."),
+        _0_is_possibly_undefined: diag(18048, ts.DiagnosticCategory.Error, "_0_is_possibly_undefined_18048", "'{0}' is possibly 'undefined'."),
+        _0_is_possibly_null_or_undefined: diag(18049, ts.DiagnosticCategory.Error, "_0_is_possibly_null_or_undefined_18049", "'{0}' is possibly 'null' or 'undefined'."),
+        The_value_0_cannot_be_used_here: diag(18050, ts.DiagnosticCategory.Error, "The_value_0_cannot_be_used_here_18050", "The value '{0}' cannot be used here."),
     };
 })(ts || (ts = {}));
 var ts;
@@ -54435,22 +54440,15 @@ var ts;
                 context.approximateLength += ts.symbolName(parameterSymbol).length + 3;
                 return parameterNode;
                 function cloneBindingName(node) {
-                    return elideInitializerAndPropertyRenamingAndSetEmitFlags(node);
-                    function elideInitializerAndPropertyRenamingAndSetEmitFlags(node) {
+                    return elideInitializerAndSetEmitFlags(node);
+                    function elideInitializerAndSetEmitFlags(node) {
                         if (context.tracker.trackSymbol && ts.isComputedPropertyName(node) && isLateBindableName(node)) {
                             trackComputedName(node.expression, context.enclosingDeclaration, context);
                         }
-                        var visited = ts.visitEachChild(node, elideInitializerAndPropertyRenamingAndSetEmitFlags, ts.nullTransformationContext, /*nodesVisitor*/ undefined, elideInitializerAndPropertyRenamingAndSetEmitFlags);
+                        var visited = ts.visitEachChild(node, elideInitializerAndSetEmitFlags, ts.nullTransformationContext, /*nodesVisitor*/ undefined, elideInitializerAndSetEmitFlags);
                         if (ts.isBindingElement(visited)) {
-                            if (visited.propertyName && ts.isIdentifier(visited.propertyName) && ts.isIdentifier(visited.name) && !ts.isStringAKeyword(ts.idText(visited.propertyName))) {
-                                visited = ts.factory.updateBindingElement(visited, visited.dotDotDotToken, 
-                                /* propertyName*/ undefined, visited.propertyName, 
-                                /*initializer*/ undefined);
-                            }
-                            else {
-                                visited = ts.factory.updateBindingElement(visited, visited.dotDotDotToken, visited.propertyName, visited.name, 
-                                /*initializer*/ undefined);
-                            }
+                            visited = ts.factory.updateBindingElement(visited, visited.dotDotDotToken, visited.propertyName, visited.name, 
+                            /*initializer*/ undefined);
                         }
                         if (!ts.nodeIsSynthesized(visited)) {
                             visited = ts.factory.cloneNode(visited);
@@ -66460,11 +66458,15 @@ var ts;
                 // parameter 'T extends 1 | 2', the intersection 'T & 1' should be reduced to '1' such that it doesn't
                 // appear to be comparable to '2'.
                 if (relation === comparableRelation && target.flags & 131068 /* TypeFlags.Primitive */) {
-                    var constraints = ts.sameMap(source.types, getBaseConstraintOrType);
+                    var constraints = ts.sameMap(source.types, function (t) { return t.flags & 465829888 /* TypeFlags.Instantiable */ ? getBaseConstraintOfType(t) || unknownType : t; });
                     if (constraints !== source.types) {
                         source = getIntersectionType(constraints);
+                        if (source.flags & 131072 /* TypeFlags.Never */) {
+                            return 0 /* Ternary.False */;
+                        }
                         if (!(source.flags & 2097152 /* TypeFlags.Intersection */)) {
-                            return isRelatedTo(source, target, 1 /* RecursionFlags.Source */, /*reportErrors*/ false);
+                            return isRelatedTo(source, target, 1 /* RecursionFlags.Source */, /*reportErrors*/ false) ||
+                                isRelatedTo(target, source, 1 /* RecursionFlags.Source */, /*reportErrors*/ false);
                         }
                     }
                 }
@@ -66782,7 +66784,7 @@ var ts;
                     // the type param can be compared with itself in the target (with the influence of its constraint to match other parts)
                     // For example, if `T extends 1 | 2` and `U extends 2 | 3` and we compare `T & U` to `T & U & (1 | 2 | 3)`
                     var constraint = getEffectiveConstraintOfIntersection(source.flags & 2097152 /* TypeFlags.Intersection */ ? source.types : [source], !!(target.flags & 1048576 /* TypeFlags.Union */));
-                    if (constraint && everyType(constraint, function (c) { return c !== source; })) { // Skip comparison if expansion contains the source itself
+                    if (constraint && !(constraint.flags & 131072 /* TypeFlags.Never */) && everyType(constraint, function (c) { return c !== source; })) { // Skip comparison if expansion contains the source itself
                         // TODO: Stack errors so we get a pyramid for the "normal" comparison above, _and_ a second for this
                         result = isRelatedTo(constraint, target, 1 /* RecursionFlags.Source */, /*reportErrors*/ false, /*headMessage*/ undefined, intersectionState);
                     }
@@ -72296,24 +72298,11 @@ var ts;
                     assumeTrue = !assumeTrue;
                 }
                 var valueType = getTypeOfExpression(value);
-                if (((type.flags & 2 /* TypeFlags.Unknown */) || isEmptyAnonymousObjectType(type) && !(valueType.flags & 98304 /* TypeFlags.Nullable */)) &&
-                    assumeTrue &&
-                    (operator === 36 /* SyntaxKind.EqualsEqualsEqualsToken */ || operator === 37 /* SyntaxKind.ExclamationEqualsEqualsToken */)) {
-                    if (valueType.flags & (131068 /* TypeFlags.Primitive */ | 67108864 /* TypeFlags.NonPrimitive */)) {
-                        return valueType;
-                    }
-                    if (valueType.flags & 524288 /* TypeFlags.Object */) {
-                        return nonPrimitiveType;
-                    }
-                    if (type.flags & 2 /* TypeFlags.Unknown */) {
-                        return type;
-                    }
-                }
+                var doubleEquals = operator === 34 /* SyntaxKind.EqualsEqualsToken */ || operator === 35 /* SyntaxKind.ExclamationEqualsToken */;
                 if (valueType.flags & 98304 /* TypeFlags.Nullable */) {
                     if (!strictNullChecks) {
                         return type;
                     }
-                    var doubleEquals = operator === 34 /* SyntaxKind.EqualsEqualsToken */ || operator === 35 /* SyntaxKind.ExclamationEqualsToken */;
                     var facts = doubleEquals ?
                         assumeTrue ? 262144 /* TypeFacts.EQUndefinedOrNull */ : 2097152 /* TypeFacts.NEUndefinedOrNull */ :
                         valueType.flags & 65536 /* TypeFlags.Null */ ?
@@ -72322,10 +72311,16 @@ var ts;
                     return getAdjustedTypeWithFacts(type, facts);
                 }
                 if (assumeTrue) {
-                    var filterFn = operator === 34 /* SyntaxKind.EqualsEqualsToken */ ?
-                        function (t) { return areTypesComparable(t, valueType) || isCoercibleUnderDoubleEquals(t, valueType); } :
-                        function (t) { return areTypesComparable(t, valueType); };
-                    return replacePrimitivesWithLiterals(filterType(type, filterFn), valueType);
+                    if (!doubleEquals && (type.flags & 2 /* TypeFlags.Unknown */ || someType(type, isEmptyAnonymousObjectType))) {
+                        if (valueType.flags & (131068 /* TypeFlags.Primitive */ | 67108864 /* TypeFlags.NonPrimitive */) || isEmptyAnonymousObjectType(valueType)) {
+                            return valueType;
+                        }
+                        if (valueType.flags & 524288 /* TypeFlags.Object */) {
+                            return nonPrimitiveType;
+                        }
+                    }
+                    var filteredType = filterType(type, function (t) { return areTypesComparable(t, valueType) || doubleEquals && isCoercibleUnderDoubleEquals(t, valueType); });
+                    return replacePrimitivesWithLiterals(filteredType, valueType);
                 }
                 if (isUnitType(valueType)) {
                     return filterType(type, function (t) { return !(isUnitLikeType(t) && areTypesComparable(t, valueType)); });
@@ -75814,10 +75809,27 @@ var ts;
             return isNullableType(type) ? getNonNullableType(type) : type;
         }
         function reportObjectPossiblyNullOrUndefinedError(node, facts) {
-            error(node, facts & 16777216 /* TypeFacts.IsUndefined */ ? facts & 33554432 /* TypeFacts.IsNull */ ?
-                ts.Diagnostics.Object_is_possibly_null_or_undefined :
-                ts.Diagnostics.Object_is_possibly_undefined :
-                ts.Diagnostics.Object_is_possibly_null);
+            var nodeText = ts.isEntityNameExpression(node) ? ts.entityNameToString(node) : undefined;
+            if (node.kind === 104 /* SyntaxKind.NullKeyword */) {
+                error(node, ts.Diagnostics.The_value_0_cannot_be_used_here, "null");
+                return;
+            }
+            if (nodeText !== undefined && nodeText.length < 100) {
+                if (ts.isIdentifier(node) && nodeText === "undefined") {
+                    error(node, ts.Diagnostics.The_value_0_cannot_be_used_here, "undefined");
+                    return;
+                }
+                error(node, facts & 16777216 /* TypeFacts.IsUndefined */ ? facts & 33554432 /* TypeFacts.IsNull */ ?
+                    ts.Diagnostics._0_is_possibly_null_or_undefined :
+                    ts.Diagnostics._0_is_possibly_undefined :
+                    ts.Diagnostics._0_is_possibly_null, nodeText);
+            }
+            else {
+                error(node, facts & 16777216 /* TypeFacts.IsUndefined */ ? facts & 33554432 /* TypeFacts.IsNull */ ?
+                    ts.Diagnostics.Object_is_possibly_null_or_undefined :
+                    ts.Diagnostics.Object_is_possibly_undefined :
+                    ts.Diagnostics.Object_is_possibly_null);
+            }
         }
         function reportCannotInvokePossiblyNullOrUndefinedError(node, facts) {
             error(node, facts & 16777216 /* TypeFacts.IsUndefined */ ? facts & 33554432 /* TypeFacts.IsNull */ ?
@@ -75827,6 +75839,13 @@ var ts;
         }
         function checkNonNullTypeWithReporter(type, node, reportError) {
             if (strictNullChecks && type.flags & 2 /* TypeFlags.Unknown */) {
+                if (ts.isEntityNameExpression(node)) {
+                    var nodeText = ts.entityNameToString(node);
+                    if (nodeText.length < 100) {
+                        error(node, ts.Diagnostics._0_is_of_type_unknown, nodeText);
+                        return errorType;
+                    }
+                }
                 error(node, ts.Diagnostics.Object_is_of_type_unknown);
                 return errorType;
             }
@@ -75844,6 +75863,17 @@ var ts;
         function checkNonNullNonVoidType(type, node) {
             var nonNullType = checkNonNullType(type, node);
             if (nonNullType.flags & 16384 /* TypeFlags.Void */) {
+                if (ts.isEntityNameExpression(node)) {
+                    var nodeText = ts.entityNameToString(node);
+                    if (ts.isIdentifier(node) && nodeText === "undefined") {
+                        error(node, ts.Diagnostics.The_value_0_cannot_be_used_here, nodeText);
+                        return nonNullType;
+                    }
+                    if (nodeText.length < 100) {
+                        error(node, ts.Diagnostics._0_is_possibly_undefined, nodeText);
+                        return nonNullType;
+                    }
+                }
                 error(node, ts.Diagnostics.Object_is_possibly_undefined);
             }
             return nonNullType;

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.20220914");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220916");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -10091,6 +10091,11 @@ var ts;
         Types_cannot_appear_in_export_declarations_in_JavaScript_files: diag(18043, ts.DiagnosticCategory.Error, "Types_cannot_appear_in_export_declarations_in_JavaScript_files_18043", "Types cannot appear in export declarations in JavaScript files."),
         _0_is_automatically_exported_here: diag(18044, ts.DiagnosticCategory.Message, "_0_is_automatically_exported_here_18044", "'{0}' is automatically exported here."),
         Properties_with_the_accessor_modifier_are_only_available_when_targeting_ECMAScript_2015_and_higher: diag(18045, ts.DiagnosticCategory.Error, "Properties_with_the_accessor_modifier_are_only_available_when_targeting_ECMAScript_2015_and_higher_18045", "Properties with the 'accessor' modifier are only available when targeting ECMAScript 2015 and higher."),
+        _0_is_of_type_unknown: diag(18046, ts.DiagnosticCategory.Error, "_0_is_of_type_unknown_18046", "'{0}' is of type 'unknown'."),
+        _0_is_possibly_null: diag(18047, ts.DiagnosticCategory.Error, "_0_is_possibly_null_18047", "'{0}' is possibly 'null'."),
+        _0_is_possibly_undefined: diag(18048, ts.DiagnosticCategory.Error, "_0_is_possibly_undefined_18048", "'{0}' is possibly 'undefined'."),
+        _0_is_possibly_null_or_undefined: diag(18049, ts.DiagnosticCategory.Error, "_0_is_possibly_null_or_undefined_18049", "'{0}' is possibly 'null' or 'undefined'."),
+        The_value_0_cannot_be_used_here: diag(18050, ts.DiagnosticCategory.Error, "The_value_0_cannot_be_used_here_18050", "The value '{0}' cannot be used here."),
     };
 })(ts || (ts = {}));
 var ts;
@@ -54425,22 +54430,15 @@ var ts;
                 context.approximateLength += ts.symbolName(parameterSymbol).length + 3;
                 return parameterNode;
                 function cloneBindingName(node) {
-                    return elideInitializerAndPropertyRenamingAndSetEmitFlags(node);
-                    function elideInitializerAndPropertyRenamingAndSetEmitFlags(node) {
+                    return elideInitializerAndSetEmitFlags(node);
+                    function elideInitializerAndSetEmitFlags(node) {
                         if (context.tracker.trackSymbol && ts.isComputedPropertyName(node) && isLateBindableName(node)) {
                             trackComputedName(node.expression, context.enclosingDeclaration, context);
                         }
-                        var visited = ts.visitEachChild(node, elideInitializerAndPropertyRenamingAndSetEmitFlags, ts.nullTransformationContext, /*nodesVisitor*/ undefined, elideInitializerAndPropertyRenamingAndSetEmitFlags);
+                        var visited = ts.visitEachChild(node, elideInitializerAndSetEmitFlags, ts.nullTransformationContext, /*nodesVisitor*/ undefined, elideInitializerAndSetEmitFlags);
                         if (ts.isBindingElement(visited)) {
-                            if (visited.propertyName && ts.isIdentifier(visited.propertyName) && ts.isIdentifier(visited.name) && !ts.isStringAKeyword(ts.idText(visited.propertyName))) {
-                                visited = ts.factory.updateBindingElement(visited, visited.dotDotDotToken, 
-                                /* propertyName*/ undefined, visited.propertyName, 
-                                /*initializer*/ undefined);
-                            }
-                            else {
-                                visited = ts.factory.updateBindingElement(visited, visited.dotDotDotToken, visited.propertyName, visited.name, 
-                                /*initializer*/ undefined);
-                            }
+                            visited = ts.factory.updateBindingElement(visited, visited.dotDotDotToken, visited.propertyName, visited.name, 
+                            /*initializer*/ undefined);
                         }
                         if (!ts.nodeIsSynthesized(visited)) {
                             visited = ts.factory.cloneNode(visited);
@@ -66450,11 +66448,15 @@ var ts;
                 // parameter 'T extends 1 | 2', the intersection 'T & 1' should be reduced to '1' such that it doesn't
                 // appear to be comparable to '2'.
                 if (relation === comparableRelation && target.flags & 131068 /* TypeFlags.Primitive */) {
-                    var constraints = ts.sameMap(source.types, getBaseConstraintOrType);
+                    var constraints = ts.sameMap(source.types, function (t) { return t.flags & 465829888 /* TypeFlags.Instantiable */ ? getBaseConstraintOfType(t) || unknownType : t; });
                     if (constraints !== source.types) {
                         source = getIntersectionType(constraints);
+                        if (source.flags & 131072 /* TypeFlags.Never */) {
+                            return 0 /* Ternary.False */;
+                        }
                         if (!(source.flags & 2097152 /* TypeFlags.Intersection */)) {
-                            return isRelatedTo(source, target, 1 /* RecursionFlags.Source */, /*reportErrors*/ false);
+                            return isRelatedTo(source, target, 1 /* RecursionFlags.Source */, /*reportErrors*/ false) ||
+                                isRelatedTo(target, source, 1 /* RecursionFlags.Source */, /*reportErrors*/ false);
                         }
                     }
                 }
@@ -66772,7 +66774,7 @@ var ts;
                     // the type param can be compared with itself in the target (with the influence of its constraint to match other parts)
                     // For example, if `T extends 1 | 2` and `U extends 2 | 3` and we compare `T & U` to `T & U & (1 | 2 | 3)`
                     var constraint = getEffectiveConstraintOfIntersection(source.flags & 2097152 /* TypeFlags.Intersection */ ? source.types : [source], !!(target.flags & 1048576 /* TypeFlags.Union */));
-                    if (constraint && everyType(constraint, function (c) { return c !== source; })) { // Skip comparison if expansion contains the source itself
+                    if (constraint && !(constraint.flags & 131072 /* TypeFlags.Never */) && everyType(constraint, function (c) { return c !== source; })) { // Skip comparison if expansion contains the source itself
                         // TODO: Stack errors so we get a pyramid for the "normal" comparison above, _and_ a second for this
                         result = isRelatedTo(constraint, target, 1 /* RecursionFlags.Source */, /*reportErrors*/ false, /*headMessage*/ undefined, intersectionState);
                     }
@@ -72286,24 +72288,11 @@ var ts;
                     assumeTrue = !assumeTrue;
                 }
                 var valueType = getTypeOfExpression(value);
-                if (((type.flags & 2 /* TypeFlags.Unknown */) || isEmptyAnonymousObjectType(type) && !(valueType.flags & 98304 /* TypeFlags.Nullable */)) &&
-                    assumeTrue &&
-                    (operator === 36 /* SyntaxKind.EqualsEqualsEqualsToken */ || operator === 37 /* SyntaxKind.ExclamationEqualsEqualsToken */)) {
-                    if (valueType.flags & (131068 /* TypeFlags.Primitive */ | 67108864 /* TypeFlags.NonPrimitive */)) {
-                        return valueType;
-                    }
-                    if (valueType.flags & 524288 /* TypeFlags.Object */) {
-                        return nonPrimitiveType;
-                    }
-                    if (type.flags & 2 /* TypeFlags.Unknown */) {
-                        return type;
-                    }
-                }
+                var doubleEquals = operator === 34 /* SyntaxKind.EqualsEqualsToken */ || operator === 35 /* SyntaxKind.ExclamationEqualsToken */;
                 if (valueType.flags & 98304 /* TypeFlags.Nullable */) {
                     if (!strictNullChecks) {
                         return type;
                     }
-                    var doubleEquals = operator === 34 /* SyntaxKind.EqualsEqualsToken */ || operator === 35 /* SyntaxKind.ExclamationEqualsToken */;
                     var facts = doubleEquals ?
                         assumeTrue ? 262144 /* TypeFacts.EQUndefinedOrNull */ : 2097152 /* TypeFacts.NEUndefinedOrNull */ :
                         valueType.flags & 65536 /* TypeFlags.Null */ ?
@@ -72312,10 +72301,16 @@ var ts;
                     return getAdjustedTypeWithFacts(type, facts);
                 }
                 if (assumeTrue) {
-                    var filterFn = operator === 34 /* SyntaxKind.EqualsEqualsToken */ ?
-                        function (t) { return areTypesComparable(t, valueType) || isCoercibleUnderDoubleEquals(t, valueType); } :
-                        function (t) { return areTypesComparable(t, valueType); };
-                    return replacePrimitivesWithLiterals(filterType(type, filterFn), valueType);
+                    if (!doubleEquals && (type.flags & 2 /* TypeFlags.Unknown */ || someType(type, isEmptyAnonymousObjectType))) {
+                        if (valueType.flags & (131068 /* TypeFlags.Primitive */ | 67108864 /* TypeFlags.NonPrimitive */) || isEmptyAnonymousObjectType(valueType)) {
+                            return valueType;
+                        }
+                        if (valueType.flags & 524288 /* TypeFlags.Object */) {
+                            return nonPrimitiveType;
+                        }
+                    }
+                    var filteredType = filterType(type, function (t) { return areTypesComparable(t, valueType) || doubleEquals && isCoercibleUnderDoubleEquals(t, valueType); });
+                    return replacePrimitivesWithLiterals(filteredType, valueType);
                 }
                 if (isUnitType(valueType)) {
                     return filterType(type, function (t) { return !(isUnitLikeType(t) && areTypesComparable(t, valueType)); });
@@ -75804,10 +75799,27 @@ var ts;
             return isNullableType(type) ? getNonNullableType(type) : type;
         }
         function reportObjectPossiblyNullOrUndefinedError(node, facts) {
-            error(node, facts & 16777216 /* TypeFacts.IsUndefined */ ? facts & 33554432 /* TypeFacts.IsNull */ ?
-                ts.Diagnostics.Object_is_possibly_null_or_undefined :
-                ts.Diagnostics.Object_is_possibly_undefined :
-                ts.Diagnostics.Object_is_possibly_null);
+            var nodeText = ts.isEntityNameExpression(node) ? ts.entityNameToString(node) : undefined;
+            if (node.kind === 104 /* SyntaxKind.NullKeyword */) {
+                error(node, ts.Diagnostics.The_value_0_cannot_be_used_here, "null");
+                return;
+            }
+            if (nodeText !== undefined && nodeText.length < 100) {
+                if (ts.isIdentifier(node) && nodeText === "undefined") {
+                    error(node, ts.Diagnostics.The_value_0_cannot_be_used_here, "undefined");
+                    return;
+                }
+                error(node, facts & 16777216 /* TypeFacts.IsUndefined */ ? facts & 33554432 /* TypeFacts.IsNull */ ?
+                    ts.Diagnostics._0_is_possibly_null_or_undefined :
+                    ts.Diagnostics._0_is_possibly_undefined :
+                    ts.Diagnostics._0_is_possibly_null, nodeText);
+            }
+            else {
+                error(node, facts & 16777216 /* TypeFacts.IsUndefined */ ? facts & 33554432 /* TypeFacts.IsNull */ ?
+                    ts.Diagnostics.Object_is_possibly_null_or_undefined :
+                    ts.Diagnostics.Object_is_possibly_undefined :
+                    ts.Diagnostics.Object_is_possibly_null);
+            }
         }
         function reportCannotInvokePossiblyNullOrUndefinedError(node, facts) {
             error(node, facts & 16777216 /* TypeFacts.IsUndefined */ ? facts & 33554432 /* TypeFacts.IsNull */ ?
@@ -75817,6 +75829,13 @@ var ts;
         }
         function checkNonNullTypeWithReporter(type, node, reportError) {
             if (strictNullChecks && type.flags & 2 /* TypeFlags.Unknown */) {
+                if (ts.isEntityNameExpression(node)) {
+                    var nodeText = ts.entityNameToString(node);
+                    if (nodeText.length < 100) {
+                        error(node, ts.Diagnostics._0_is_of_type_unknown, nodeText);
+                        return errorType;
+                    }
+                }
                 error(node, ts.Diagnostics.Object_is_of_type_unknown);
                 return errorType;
             }
@@ -75834,6 +75853,17 @@ var ts;
         function checkNonNullNonVoidType(type, node) {
             var nonNullType = checkNonNullType(type, node);
             if (nonNullType.flags & 16384 /* TypeFlags.Void */) {
+                if (ts.isEntityNameExpression(node)) {
+                    var nodeText = ts.entityNameToString(node);
+                    if (ts.isIdentifier(node) && nodeText === "undefined") {
+                        error(node, ts.Diagnostics.The_value_0_cannot_be_used_here, nodeText);
+                        return nonNullType;
+                    }
+                    if (nodeText.length < 100) {
+                        error(node, ts.Diagnostics._0_is_possibly_undefined, nodeText);
+                        return nonNullType;
+                    }
+                }
                 error(node, ts.Diagnostics.Object_is_possibly_undefined);
             }
             return nonNullType;

package/lib/zh-cn/diagnosticMessages.generated.json

@@ -186,6 +186,7 @@
   "An_abstract_accessor_cannot_have_an_implementation_1318": "抽象访问器不能有实现。",
   "An_accessibility_modifier_cannot_be_used_with_a_private_identifier_18010": "可访问性修饰符不能与专用标识符一起使用。",
   "An_accessor_cannot_have_type_parameters_1094": "访问器不能具有类型参数。",
+  "An_accessor_property_cannot_be_declared_optional_1276": "\"accessor\" 属性不能声明为可选。",
   "An_ambient_module_declaration_is_only_allowed_at_the_top_level_in_a_file_1234": "只允许在文件的顶层中使用环境模块声明。",
   "An_argument_for_0_was_not_provided_6210": "未提供 \"{0}\" 的自变量。",
   "An_argument_matching_this_binding_pattern_was_not_provided_6211": "未提供与此绑定模式匹配的自变量。",
@@ -1112,6 +1113,7 @@
   "Project_references_may_not_form_a_circular_graph_Cycle_detected_Colon_0_6202": "项目引用不能形成环形图。检测到循环: {0}",
   "Projects_6255": "项目",
   "Projects_in_this_build_Colon_0_6355": "此生成中的项目: {0}",
+  "Properties_with_the_accessor_modifier_are_only_available_when_targeting_ECMAScript_2015_and_higher_18045": "只有在面向 ECMAScript 2015 及更高版本时，才可使用带有 \"accessor\" 修饰符的属性。",
   "Property_0_cannot_have_an_initializer_because_it_is_marked_abstract_1267": "属性“{0}”不能具有初始化表杰式，因为它标记为摘要。",
   "Property_0_comes_from_an_index_signature_so_it_must_be_accessed_with_0_4111": "属性“{0}”来自索引签名，因此必须使用[“{0}”]访问它。",
   "Property_0_does_not_exist_on_type_1_2339": "类型“{1}”上不存在属性“{0}”。",
@@ -1761,6 +1763,7 @@
   "_0_which_lacks_return_type_annotation_implicitly_has_an_1_return_type_7010": "缺少返回类型批注的“{0}”隐式具有“{1}”返回类型。",
   "_0_which_lacks_return_type_annotation_implicitly_has_an_1_yield_type_7055": "缺少返回类型批注的 \"{0}\" 隐式具有 \"{1}\" 产出类型。",
   "abstract_modifier_can_only_appear_on_a_class_method_or_property_declaration_1242": "\"abstract\" 修饰符仅可出现在类、方法或属性声明中。",
+  "accessor_modifier_can_only_appear_on_a_property_declaration_1275": "\"accessor\" 修饰符只能出现在属性声明中。",
   "and_here_6204": "并在这里。",
   "arguments_cannot_be_referenced_in_property_initializers_2815": "无法在属性初始化表达式中引用 \"arguments\"。",
   "auto_Colon_Treat_files_with_imports_exports_import_meta_jsx_with_jsx_Colon_react_jsx_or_esm_format_w_1476": "“auto”: 将带有导入、导出、import.meta、jsx (带有 jsx: react-jsx)或 esm 格式(带模块: node16+)的文件视为模块。",

package/lib/zh-tw/diagnosticMessages.generated.json

@@ -186,6 +186,7 @@
   "An_abstract_accessor_cannot_have_an_implementation_1318": "抽象存取子無法實作。",
   "An_accessibility_modifier_cannot_be_used_with_a_private_identifier_18010": "協助工具修飾元不可搭配私人識別碼使用。",
   "An_accessor_cannot_have_type_parameters_1094": "存取子不得有類型參數。",
+  "An_accessor_property_cannot_be_declared_optional_1276": "無法將 'accessor' 屬性宣告為選擇性。",
   "An_ambient_module_declaration_is_only_allowed_at_the_top_level_in_a_file_1234": "環境模組宣告只可出現在檔案的最上層。",
   "An_argument_for_0_was_not_provided_6210": "未提供 '{0}' 的引數。",
   "An_argument_matching_this_binding_pattern_was_not_provided_6211": "未提供符合此繫結模式的引數。",
@@ -1112,6 +1113,7 @@
   "Project_references_may_not_form_a_circular_graph_Cycle_detected_Colon_0_6202": "專案參考不會形成循環圖。但偵測到循環: {0}",
   "Projects_6255": "專案",
   "Projects_in_this_build_Colon_0_6355": "此組建中的專案: {0}",
+  "Properties_with_the_accessor_modifier_are_only_available_when_targeting_ECMAScript_2015_and_higher_18045": "只有以 ECMAScript 2015 及更新版本為目標時，才可使用具有 'accessor' 修飾詞的屬性。",
   "Property_0_cannot_have_an_initializer_because_it_is_marked_abstract_1267": "屬性 '{0}' 已標記為抽象，因此不得有初始設定式。",
   "Property_0_comes_from_an_index_signature_so_it_must_be_accessed_with_0_4111": "屬性 '{0}' 來自索引簽章，因此必須使用 ['{0}'] 存取。",
   "Property_0_does_not_exist_on_type_1_2339": "類型 '{1}' 沒有屬性 '{0}'。",
@@ -1761,6 +1763,7 @@
   "_0_which_lacks_return_type_annotation_implicitly_has_an_1_return_type_7010": "缺少傳回型別註解的 '{0}' 隱含了 '{1}' 傳回型別。",
   "_0_which_lacks_return_type_annotation_implicitly_has_an_1_yield_type_7055": "缺少傳回型別註解的 '{0}' 隱含 '{1}' 產生類型。",
   "abstract_modifier_can_only_appear_on_a_class_method_or_property_declaration_1242": "'abstract' 修飾元只能出現在類別宣告、方法宣告或屬性宣告。",
+  "accessor_modifier_can_only_appear_on_a_property_declaration_1275": "'accessor' 修飾詞只能出現在屬性宣告。",
   "and_here_6204": "及此處。",
   "arguments_cannot_be_referenced_in_property_initializers_2815": "屬性初始設定式中不得參考 'arguments'。",
   "auto_Colon_Treat_files_with_imports_exports_import_meta_jsx_with_jsx_Colon_react_jsx_or_esm_format_w_1476": "\"auto\": 處理具有 imports、exports、import.meta, jsx (具有 jsx: react-jsx) 的檔案，或以 esm 格式 (具有 module: node16+) 作為模組。",

package/package.json

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