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

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.20220914");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220916");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -10111,6 +10111,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;
@@ -54445,22 +54450,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);
@@ -66470,11 +66468,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);
                         }
                     }
                 }
@@ -66792,7 +66794,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);
                     }
@@ -72306,24 +72308,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 */ ?
@@ -72332,10 +72321,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)); });
@@ -75824,10 +75819,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 */ ?
@@ -75837,6 +75849,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;
             }
@@ -75854,6 +75873,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/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.20220914");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220916");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -10110,6 +10110,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;
@@ -54444,22 +54449,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);
@@ -66469,11 +66467,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);
                         }
                     }
                 }
@@ -66791,7 +66793,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);
                     }
@@ -72305,24 +72307,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 */ ?
@@ -72331,10 +72320,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)); });
@@ -75823,10 +75818,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 */ ?
@@ -75836,6 +75848,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;
             }
@@ -75853,6 +75872,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/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.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;