typescript 4.6.0-dev.20220205 → 4.6.0-dev.20220209

package/lib/tsserverlibrary.js

@@ -294,7 +294,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 = ts.versionMajorMinor + ".0-dev.20220205";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220209";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -14091,6 +14091,10 @@ var ts;
         return undefined;
     }
     ts.getDeclarationOfKind = getDeclarationOfKind;
+    function getDeclarationsOfKind(symbol, kind) {
+        return ts.filter(symbol.declarations || ts.emptyArray, function (d) { return d.kind === kind; });
+    }
+    ts.getDeclarationsOfKind = getDeclarationsOfKind;
     function createSymbolTable(symbols) {
         var result = new ts.Map();
         if (symbols) {
@@ -55680,6 +55684,39 @@ var ts;
             }
             return links.type;
         }
+        function getWriteTypeOfSymbolWithDeferredType(symbol) {
+            var links = getSymbolLinks(symbol);
+            if (!links.writeType && links.deferralWriteConstituents) {
+                ts.Debug.assertIsDefined(links.deferralParent);
+                ts.Debug.assertIsDefined(links.deferralConstituents);
+                links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
+            }
+            return links.writeType;
+        }
+        /**
+         * Distinct write types come only from set accessors, but union and intersection
+         * properties deriving from set accessors will either pre-compute or defer the
+         * union or intersection of the writeTypes of their constituents. To account for
+         * this, we will assume that any deferred type or transient symbol may have a
+         * `writeType` (or a deferred write type ready to be computed) that should be
+         * used before looking for set accessor declarations.
+         */
+        function getWriteTypeOfSymbol(symbol) {
+            var checkFlags = ts.getCheckFlags(symbol);
+            if (checkFlags & 65536 /* DeferredType */) {
+                var writeType = getWriteTypeOfSymbolWithDeferredType(symbol);
+                if (writeType) {
+                    return writeType;
+                }
+            }
+            if (symbol.flags & 33554432 /* Transient */) {
+                var writeType = symbol.writeType;
+                if (writeType) {
+                    return writeType;
+                }
+            }
+            return getSetAccessorTypeOfSymbol(symbol);
+        }
         function getSetAccessorTypeOfSymbol(symbol) {
             if (symbol.flags & 98304 /* Accessor */) {
                 var type = getTypeOfSetAccessor(symbol);
@@ -58050,6 +58087,7 @@ var ts;
             var firstType;
             var nameType;
             var propTypes = [];
+            var writeTypes;
             var firstValueDeclaration;
             var hasNonUniformValueDeclaration = false;
             for (var _d = 0, props_1 = props; _d < props_1.length; _d++) {
@@ -58066,6 +58104,10 @@ var ts;
                     firstType = type;
                     nameType = getSymbolLinks(prop).nameType;
                 }
+                var writeType = getWriteTypeOfSymbol(prop);
+                if (writeTypes || writeType !== type) {
+                    writeTypes = ts.append(!writeTypes ? propTypes.slice() : writeTypes, writeType);
+                }
                 else if (type !== firstType) {
                     checkFlags |= 64 /* HasNonUniformType */;
                 }
@@ -58094,9 +58136,13 @@ var ts;
                 result.checkFlags |= 65536 /* DeferredType */;
                 result.deferralParent = containingType;
                 result.deferralConstituents = propTypes;
+                result.deferralWriteConstituents = writeTypes;
             }
             else {
                 result.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
+                if (writeTypes) {
+                    result.writeType = isUnion ? getUnionType(writeTypes) : getIntersectionType(writeTypes);
+                }
             }
             return result;
         }
@@ -59238,7 +59284,7 @@ var ts;
         }
         function getImpliedConstraint(type, checkNode, extendsNode) {
             return isUnaryTupleTypeNode(checkNode) && isUnaryTupleTypeNode(extendsNode) ? getImpliedConstraint(type, checkNode.elements[0], extendsNode.elements[0]) :
-                getActualTypeVariable(getTypeFromTypeNode(checkNode)) === type ? getTypeFromTypeNode(extendsNode) :
+                getActualTypeVariable(getTypeFromTypeNode(checkNode)) === getActualTypeVariable(type) ? getTypeFromTypeNode(extendsNode) :
                     undefined;
         }
         function getConditionalFlowTypeOfType(type, node) {
@@ -73227,7 +73273,7 @@ var ts;
                     error(right, ts.Diagnostics.Cannot_assign_to_0_because_it_is_a_read_only_property, ts.idText(right));
                     return errorType;
                 }
-                propType = isThisPropertyAccessInConstructor(node, prop) ? autoType : writing ? getSetAccessorTypeOfSymbol(prop) : getTypeOfSymbol(prop);
+                propType = isThisPropertyAccessInConstructor(node, prop) ? autoType : writing ? getWriteTypeOfSymbol(prop) : getTypeOfSymbol(prop);
             }
             return getFlowTypeOfAccessExpression(node, prop, propType, right, checkMode);
         }
@@ -130939,7 +130985,8 @@ var ts;
                 case 103 /* NewKeyword */:
                     return checker.getContextualType(parent);
                 case 82 /* CaseKeyword */:
-                    return ts.getSwitchedType(ts.cast(parent, ts.isCaseClause), checker);
+                    var caseClause = ts.tryCast(parent, ts.isCaseClause);
+                    return caseClause ? ts.getSwitchedType(caseClause, checker) : undefined;
                 case 18 /* OpenBraceToken */:
                     return ts.isJsxExpression(parent) && !ts.isJsxElement(parent.parent) && !ts.isJsxFragment(parent.parent) ? checker.getContextualTypeForJsxAttribute(parent.parent) : undefined;
                 default:
@@ -133584,7 +133631,24 @@ var ts;
         function acquireOrUpdateDocument(fileName, path, compilationSettings, key, scriptSnapshot, version, acquiring, scriptKind) {
             scriptKind = ts.ensureScriptKind(fileName, scriptKind);
             var scriptTarget = scriptKind === 6 /* JSON */ ? 100 /* JSON */ : ts.getEmitScriptTarget(compilationSettings);
+            var oldBucketCount = buckets.size;
             var bucket = ts.getOrUpdate(buckets, key, function () { return new ts.Map(); });
+            if (ts.tracing) {
+                if (buckets.size > oldBucketCount) {
+                    // It is interesting, but not definitively problematic if a build requires multiple document registry buckets -
+                    // perhaps they are for two projects that don't have any overlap.
+                    // Bonus: these events can help us interpret the more interesting event below.
+                    ts.tracing.instant("session" /* Session */, "createdDocumentRegistryBucket", { configFilePath: compilationSettings.configFilePath, key: key });
+                }
+                // It is fairly suspicious to have one path in two buckets - you'd expect dependencies to have similar configurations.
+                // If this occurs unexpectedly, the fix is likely to synchronize the project settings.
+                // Skip .d.ts files to reduce noise (should also cover most of node_modules).
+                var otherBucketKey = !ts.fileExtensionIs(path, ".d.ts" /* Dts */) &&
+                    ts.forEachEntry(buckets, function (bucket, bucketKey) { return bucketKey !== key && bucket.has(path) && bucketKey; });
+                if (otherBucketKey) {
+                    ts.tracing.instant("session" /* Session */, "documentRegistryBucketOverlap", { path: path, key1: otherBucketKey, key2: key });
+                }
+            }
             var bucketEntry = bucket.get(path);
             var entry = bucketEntry && getDocumentRegistryEntry(bucketEntry, scriptKind);
             if (!entry && externalCache) {
@@ -145720,6 +145784,8 @@ var ts;
                     case 179 /* ConstructorType */:
                     case 174 /* ConstructSignature */:
                         return getList(node.typeParameters) || getList(node.parameters);
+                    case 171 /* GetAccessor */:
+                        return getList(node.parameters);
                     case 256 /* ClassDeclaration */:
                     case 225 /* ClassExpression */:
                     case 257 /* InterfaceDeclaration */:
@@ -153156,6 +153222,9 @@ var ts;
                 case 172 /* SetAccessor */:
                     // Setter must have a parameter
                     return false;
+                case 171 /* GetAccessor */:
+                    // Getter cannot have parameters
+                    return true;
                 default:
                     return ts.Debug.failBadSyntaxKind(parent);
             }
@@ -155766,10 +155835,12 @@ var ts;
         });
         function getInfo(sourceFile, pos) {
             var token = ts.getTokenAtPosition(sourceFile, pos);
-            var indexSignature = ts.cast(token.parent.parent, ts.isIndexSignatureDeclaration);
-            if (ts.isClassDeclaration(indexSignature.parent))
+            var indexSignature = ts.tryCast(token.parent.parent, ts.isIndexSignatureDeclaration);
+            if (!indexSignature)
+                return undefined;
+            var container = ts.isInterfaceDeclaration(indexSignature.parent) ? indexSignature.parent : ts.tryCast(indexSignature.parent.parent, ts.isTypeAliasDeclaration);
+            if (!container)
                 return undefined;
-            var container = ts.isInterfaceDeclaration(indexSignature.parent) ? indexSignature.parent : ts.cast(indexSignature.parent.parent, ts.isTypeAliasDeclaration);
             return { indexSignature: indexSignature, container: container };
         }
         function createTypeAliasFromInterface(declaration, type) {
@@ -157360,8 +157431,8 @@ var ts;
                                 // but a super *method call* simply implies a 'this' reference
                                 if (node.parent.kind === 207 /* CallExpression */) {
                                     // Super constructor call
-                                    var containingClass_1 = ts.getContainingClass(node); // TODO:GH#18217
-                                    if (containingClass_1.pos < span.start || containingClass_1.end >= (span.start + span.length)) {
+                                    var containingClass_1 = ts.getContainingClass(node);
+                                    if (containingClass_1 === undefined || containingClass_1.pos < span.start || containingClass_1.end >= (span.start + span.length)) {
                                         (errors || (errors = [])).push(ts.createDiagnosticForNode(node, Messages.cannotExtractSuper));
                                         return true;
                                     }
@@ -171763,9 +171834,10 @@ var ts;
             var info = infos && ts.firstOrUndefined(infos);
             return info && !info.isLocal ? { fileName: info.fileName, pos: info.textSpan.start } : undefined;
         }
-        function combineProjectOutputForReferences(projects, defaultProject, initialLocation) {
+        function combineProjectOutputForReferences(projects, defaultProject, initialLocation, logger) {
             var outputs = [];
             combineProjectOutputWorker(projects, defaultProject, initialLocation, function (project, location, getMappedLocation) {
+                logger.info("Finding references to " + location.fileName + " position " + location.pos + " in project " + project.getProjectName());
                 var _loop_8 = function (outputReferencedSymbol) {
                     var mappedDefinitionFile = getMappedLocation(project, documentSpanLocation(outputReferencedSymbol.definition));
                     var definition = mappedDefinitionFile === undefined ?
@@ -173123,7 +173195,7 @@ var ts;
                 var file = server.toNormalizedPath(args.file);
                 var projects = this.getProjects(args);
                 var position = this.getPositionInFile(args, file);
-                var references = combineProjectOutputForReferences(projects, this.getDefaultProject(args), { fileName: args.file, pos: position });
+                var references = combineProjectOutputForReferences(projects, this.getDefaultProject(args), { fileName: args.file, pos: position }, this.logger);
                 if (!simplifiedResult)
                     return references;
                 var defaultProject = this.getDefaultProject(args);

package/lib/typescript.js

@@ -294,7 +294,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 = ts.versionMajorMinor + ".0-dev.20220205";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220209";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -14091,6 +14091,10 @@ var ts;
         return undefined;
     }
     ts.getDeclarationOfKind = getDeclarationOfKind;
+    function getDeclarationsOfKind(symbol, kind) {
+        return ts.filter(symbol.declarations || ts.emptyArray, function (d) { return d.kind === kind; });
+    }
+    ts.getDeclarationsOfKind = getDeclarationsOfKind;
     function createSymbolTable(symbols) {
         var result = new ts.Map();
         if (symbols) {
@@ -55680,6 +55684,39 @@ var ts;
             }
             return links.type;
         }
+        function getWriteTypeOfSymbolWithDeferredType(symbol) {
+            var links = getSymbolLinks(symbol);
+            if (!links.writeType && links.deferralWriteConstituents) {
+                ts.Debug.assertIsDefined(links.deferralParent);
+                ts.Debug.assertIsDefined(links.deferralConstituents);
+                links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
+            }
+            return links.writeType;
+        }
+        /**
+         * Distinct write types come only from set accessors, but union and intersection
+         * properties deriving from set accessors will either pre-compute or defer the
+         * union or intersection of the writeTypes of their constituents. To account for
+         * this, we will assume that any deferred type or transient symbol may have a
+         * `writeType` (or a deferred write type ready to be computed) that should be
+         * used before looking for set accessor declarations.
+         */
+        function getWriteTypeOfSymbol(symbol) {
+            var checkFlags = ts.getCheckFlags(symbol);
+            if (checkFlags & 65536 /* DeferredType */) {
+                var writeType = getWriteTypeOfSymbolWithDeferredType(symbol);
+                if (writeType) {
+                    return writeType;
+                }
+            }
+            if (symbol.flags & 33554432 /* Transient */) {
+                var writeType = symbol.writeType;
+                if (writeType) {
+                    return writeType;
+                }
+            }
+            return getSetAccessorTypeOfSymbol(symbol);
+        }
         function getSetAccessorTypeOfSymbol(symbol) {
             if (symbol.flags & 98304 /* Accessor */) {
                 var type = getTypeOfSetAccessor(symbol);
@@ -58050,6 +58087,7 @@ var ts;
             var firstType;
             var nameType;
             var propTypes = [];
+            var writeTypes;
             var firstValueDeclaration;
             var hasNonUniformValueDeclaration = false;
             for (var _d = 0, props_1 = props; _d < props_1.length; _d++) {
@@ -58066,6 +58104,10 @@ var ts;
                     firstType = type;
                     nameType = getSymbolLinks(prop).nameType;
                 }
+                var writeType = getWriteTypeOfSymbol(prop);
+                if (writeTypes || writeType !== type) {
+                    writeTypes = ts.append(!writeTypes ? propTypes.slice() : writeTypes, writeType);
+                }
                 else if (type !== firstType) {
                     checkFlags |= 64 /* HasNonUniformType */;
                 }
@@ -58094,9 +58136,13 @@ var ts;
                 result.checkFlags |= 65536 /* DeferredType */;
                 result.deferralParent = containingType;
                 result.deferralConstituents = propTypes;
+                result.deferralWriteConstituents = writeTypes;
             }
             else {
                 result.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
+                if (writeTypes) {
+                    result.writeType = isUnion ? getUnionType(writeTypes) : getIntersectionType(writeTypes);
+                }
             }
             return result;
         }
@@ -59238,7 +59284,7 @@ var ts;
         }
         function getImpliedConstraint(type, checkNode, extendsNode) {
             return isUnaryTupleTypeNode(checkNode) && isUnaryTupleTypeNode(extendsNode) ? getImpliedConstraint(type, checkNode.elements[0], extendsNode.elements[0]) :
-                getActualTypeVariable(getTypeFromTypeNode(checkNode)) === type ? getTypeFromTypeNode(extendsNode) :
+                getActualTypeVariable(getTypeFromTypeNode(checkNode)) === getActualTypeVariable(type) ? getTypeFromTypeNode(extendsNode) :
                     undefined;
         }
         function getConditionalFlowTypeOfType(type, node) {
@@ -73227,7 +73273,7 @@ var ts;
                     error(right, ts.Diagnostics.Cannot_assign_to_0_because_it_is_a_read_only_property, ts.idText(right));
                     return errorType;
                 }
-                propType = isThisPropertyAccessInConstructor(node, prop) ? autoType : writing ? getSetAccessorTypeOfSymbol(prop) : getTypeOfSymbol(prop);
+                propType = isThisPropertyAccessInConstructor(node, prop) ? autoType : writing ? getWriteTypeOfSymbol(prop) : getTypeOfSymbol(prop);
             }
             return getFlowTypeOfAccessExpression(node, prop, propType, right, checkMode);
         }
@@ -130939,7 +130985,8 @@ var ts;
                 case 103 /* NewKeyword */:
                     return checker.getContextualType(parent);
                 case 82 /* CaseKeyword */:
-                    return ts.getSwitchedType(ts.cast(parent, ts.isCaseClause), checker);
+                    var caseClause = ts.tryCast(parent, ts.isCaseClause);
+                    return caseClause ? ts.getSwitchedType(caseClause, checker) : undefined;
                 case 18 /* OpenBraceToken */:
                     return ts.isJsxExpression(parent) && !ts.isJsxElement(parent.parent) && !ts.isJsxFragment(parent.parent) ? checker.getContextualTypeForJsxAttribute(parent.parent) : undefined;
                 default:
@@ -133584,7 +133631,24 @@ var ts;
         function acquireOrUpdateDocument(fileName, path, compilationSettings, key, scriptSnapshot, version, acquiring, scriptKind) {
             scriptKind = ts.ensureScriptKind(fileName, scriptKind);
             var scriptTarget = scriptKind === 6 /* JSON */ ? 100 /* JSON */ : ts.getEmitScriptTarget(compilationSettings);
+            var oldBucketCount = buckets.size;
             var bucket = ts.getOrUpdate(buckets, key, function () { return new ts.Map(); });
+            if (ts.tracing) {
+                if (buckets.size > oldBucketCount) {
+                    // It is interesting, but not definitively problematic if a build requires multiple document registry buckets -
+                    // perhaps they are for two projects that don't have any overlap.
+                    // Bonus: these events can help us interpret the more interesting event below.
+                    ts.tracing.instant("session" /* Session */, "createdDocumentRegistryBucket", { configFilePath: compilationSettings.configFilePath, key: key });
+                }
+                // It is fairly suspicious to have one path in two buckets - you'd expect dependencies to have similar configurations.
+                // If this occurs unexpectedly, the fix is likely to synchronize the project settings.
+                // Skip .d.ts files to reduce noise (should also cover most of node_modules).
+                var otherBucketKey = !ts.fileExtensionIs(path, ".d.ts" /* Dts */) &&
+                    ts.forEachEntry(buckets, function (bucket, bucketKey) { return bucketKey !== key && bucket.has(path) && bucketKey; });
+                if (otherBucketKey) {
+                    ts.tracing.instant("session" /* Session */, "documentRegistryBucketOverlap", { path: path, key1: otherBucketKey, key2: key });
+                }
+            }
             var bucketEntry = bucket.get(path);
             var entry = bucketEntry && getDocumentRegistryEntry(bucketEntry, scriptKind);
             if (!entry && externalCache) {
@@ -145720,6 +145784,8 @@ var ts;
                     case 179 /* ConstructorType */:
                     case 174 /* ConstructSignature */:
                         return getList(node.typeParameters) || getList(node.parameters);
+                    case 171 /* GetAccessor */:
+                        return getList(node.parameters);
                     case 256 /* ClassDeclaration */:
                     case 225 /* ClassExpression */:
                     case 257 /* InterfaceDeclaration */:
@@ -153156,6 +153222,9 @@ var ts;
                 case 172 /* SetAccessor */:
                     // Setter must have a parameter
                     return false;
+                case 171 /* GetAccessor */:
+                    // Getter cannot have parameters
+                    return true;
                 default:
                     return ts.Debug.failBadSyntaxKind(parent);
             }
@@ -155766,10 +155835,12 @@ var ts;
         });
         function getInfo(sourceFile, pos) {
             var token = ts.getTokenAtPosition(sourceFile, pos);
-            var indexSignature = ts.cast(token.parent.parent, ts.isIndexSignatureDeclaration);
-            if (ts.isClassDeclaration(indexSignature.parent))
+            var indexSignature = ts.tryCast(token.parent.parent, ts.isIndexSignatureDeclaration);
+            if (!indexSignature)
+                return undefined;
+            var container = ts.isInterfaceDeclaration(indexSignature.parent) ? indexSignature.parent : ts.tryCast(indexSignature.parent.parent, ts.isTypeAliasDeclaration);
+            if (!container)
                 return undefined;
-            var container = ts.isInterfaceDeclaration(indexSignature.parent) ? indexSignature.parent : ts.cast(indexSignature.parent.parent, ts.isTypeAliasDeclaration);
             return { indexSignature: indexSignature, container: container };
         }
         function createTypeAliasFromInterface(declaration, type) {
@@ -157360,8 +157431,8 @@ var ts;
                                 // but a super *method call* simply implies a 'this' reference
                                 if (node.parent.kind === 207 /* CallExpression */) {
                                     // Super constructor call
-                                    var containingClass_1 = ts.getContainingClass(node); // TODO:GH#18217
-                                    if (containingClass_1.pos < span.start || containingClass_1.end >= (span.start + span.length)) {
+                                    var containingClass_1 = ts.getContainingClass(node);
+                                    if (containingClass_1 === undefined || containingClass_1.pos < span.start || containingClass_1.end >= (span.start + span.length)) {
                                         (errors || (errors = [])).push(ts.createDiagnosticForNode(node, Messages.cannotExtractSuper));
                                         return true;
                                     }

package/lib/typescriptServices.js

@@ -294,7 +294,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 = ts.versionMajorMinor + ".0-dev.20220205";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220209";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -14091,6 +14091,10 @@ var ts;
         return undefined;
     }
     ts.getDeclarationOfKind = getDeclarationOfKind;
+    function getDeclarationsOfKind(symbol, kind) {
+        return ts.filter(symbol.declarations || ts.emptyArray, function (d) { return d.kind === kind; });
+    }
+    ts.getDeclarationsOfKind = getDeclarationsOfKind;
     function createSymbolTable(symbols) {
         var result = new ts.Map();
         if (symbols) {
@@ -55680,6 +55684,39 @@ var ts;
             }
             return links.type;
         }
+        function getWriteTypeOfSymbolWithDeferredType(symbol) {
+            var links = getSymbolLinks(symbol);
+            if (!links.writeType && links.deferralWriteConstituents) {
+                ts.Debug.assertIsDefined(links.deferralParent);
+                ts.Debug.assertIsDefined(links.deferralConstituents);
+                links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
+            }
+            return links.writeType;
+        }
+        /**
+         * Distinct write types come only from set accessors, but union and intersection
+         * properties deriving from set accessors will either pre-compute or defer the
+         * union or intersection of the writeTypes of their constituents. To account for
+         * this, we will assume that any deferred type or transient symbol may have a
+         * `writeType` (or a deferred write type ready to be computed) that should be
+         * used before looking for set accessor declarations.
+         */
+        function getWriteTypeOfSymbol(symbol) {
+            var checkFlags = ts.getCheckFlags(symbol);
+            if (checkFlags & 65536 /* DeferredType */) {
+                var writeType = getWriteTypeOfSymbolWithDeferredType(symbol);
+                if (writeType) {
+                    return writeType;
+                }
+            }
+            if (symbol.flags & 33554432 /* Transient */) {
+                var writeType = symbol.writeType;
+                if (writeType) {
+                    return writeType;
+                }
+            }
+            return getSetAccessorTypeOfSymbol(symbol);
+        }
         function getSetAccessorTypeOfSymbol(symbol) {
             if (symbol.flags & 98304 /* Accessor */) {
                 var type = getTypeOfSetAccessor(symbol);
@@ -58050,6 +58087,7 @@ var ts;
             var firstType;
             var nameType;
             var propTypes = [];
+            var writeTypes;
             var firstValueDeclaration;
             var hasNonUniformValueDeclaration = false;
             for (var _d = 0, props_1 = props; _d < props_1.length; _d++) {
@@ -58066,6 +58104,10 @@ var ts;
                     firstType = type;
                     nameType = getSymbolLinks(prop).nameType;
                 }
+                var writeType = getWriteTypeOfSymbol(prop);
+                if (writeTypes || writeType !== type) {
+                    writeTypes = ts.append(!writeTypes ? propTypes.slice() : writeTypes, writeType);
+                }
                 else if (type !== firstType) {
                     checkFlags |= 64 /* HasNonUniformType */;
                 }
@@ -58094,9 +58136,13 @@ var ts;
                 result.checkFlags |= 65536 /* DeferredType */;
                 result.deferralParent = containingType;
                 result.deferralConstituents = propTypes;
+                result.deferralWriteConstituents = writeTypes;
             }
             else {
                 result.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
+                if (writeTypes) {
+                    result.writeType = isUnion ? getUnionType(writeTypes) : getIntersectionType(writeTypes);
+                }
             }
             return result;
         }
@@ -59238,7 +59284,7 @@ var ts;
         }
         function getImpliedConstraint(type, checkNode, extendsNode) {
             return isUnaryTupleTypeNode(checkNode) && isUnaryTupleTypeNode(extendsNode) ? getImpliedConstraint(type, checkNode.elements[0], extendsNode.elements[0]) :
-                getActualTypeVariable(getTypeFromTypeNode(checkNode)) === type ? getTypeFromTypeNode(extendsNode) :
+                getActualTypeVariable(getTypeFromTypeNode(checkNode)) === getActualTypeVariable(type) ? getTypeFromTypeNode(extendsNode) :
                     undefined;
         }
         function getConditionalFlowTypeOfType(type, node) {
@@ -73227,7 +73273,7 @@ var ts;
                     error(right, ts.Diagnostics.Cannot_assign_to_0_because_it_is_a_read_only_property, ts.idText(right));
                     return errorType;
                 }
-                propType = isThisPropertyAccessInConstructor(node, prop) ? autoType : writing ? getSetAccessorTypeOfSymbol(prop) : getTypeOfSymbol(prop);
+                propType = isThisPropertyAccessInConstructor(node, prop) ? autoType : writing ? getWriteTypeOfSymbol(prop) : getTypeOfSymbol(prop);
             }
             return getFlowTypeOfAccessExpression(node, prop, propType, right, checkMode);
         }
@@ -130939,7 +130985,8 @@ var ts;
                 case 103 /* NewKeyword */:
                     return checker.getContextualType(parent);
                 case 82 /* CaseKeyword */:
-                    return ts.getSwitchedType(ts.cast(parent, ts.isCaseClause), checker);
+                    var caseClause = ts.tryCast(parent, ts.isCaseClause);
+                    return caseClause ? ts.getSwitchedType(caseClause, checker) : undefined;
                 case 18 /* OpenBraceToken */:
                     return ts.isJsxExpression(parent) && !ts.isJsxElement(parent.parent) && !ts.isJsxFragment(parent.parent) ? checker.getContextualTypeForJsxAttribute(parent.parent) : undefined;
                 default:
@@ -133584,7 +133631,24 @@ var ts;
         function acquireOrUpdateDocument(fileName, path, compilationSettings, key, scriptSnapshot, version, acquiring, scriptKind) {
             scriptKind = ts.ensureScriptKind(fileName, scriptKind);
             var scriptTarget = scriptKind === 6 /* JSON */ ? 100 /* JSON */ : ts.getEmitScriptTarget(compilationSettings);
+            var oldBucketCount = buckets.size;
             var bucket = ts.getOrUpdate(buckets, key, function () { return new ts.Map(); });
+            if (ts.tracing) {
+                if (buckets.size > oldBucketCount) {
+                    // It is interesting, but not definitively problematic if a build requires multiple document registry buckets -
+                    // perhaps they are for two projects that don't have any overlap.
+                    // Bonus: these events can help us interpret the more interesting event below.
+                    ts.tracing.instant("session" /* Session */, "createdDocumentRegistryBucket", { configFilePath: compilationSettings.configFilePath, key: key });
+                }
+                // It is fairly suspicious to have one path in two buckets - you'd expect dependencies to have similar configurations.
+                // If this occurs unexpectedly, the fix is likely to synchronize the project settings.
+                // Skip .d.ts files to reduce noise (should also cover most of node_modules).
+                var otherBucketKey = !ts.fileExtensionIs(path, ".d.ts" /* Dts */) &&
+                    ts.forEachEntry(buckets, function (bucket, bucketKey) { return bucketKey !== key && bucket.has(path) && bucketKey; });
+                if (otherBucketKey) {
+                    ts.tracing.instant("session" /* Session */, "documentRegistryBucketOverlap", { path: path, key1: otherBucketKey, key2: key });
+                }
+            }
             var bucketEntry = bucket.get(path);
             var entry = bucketEntry && getDocumentRegistryEntry(bucketEntry, scriptKind);
             if (!entry && externalCache) {
@@ -145720,6 +145784,8 @@ var ts;
                     case 179 /* ConstructorType */:
                     case 174 /* ConstructSignature */:
                         return getList(node.typeParameters) || getList(node.parameters);
+                    case 171 /* GetAccessor */:
+                        return getList(node.parameters);
                     case 256 /* ClassDeclaration */:
                     case 225 /* ClassExpression */:
                     case 257 /* InterfaceDeclaration */:
@@ -153156,6 +153222,9 @@ var ts;
                 case 172 /* SetAccessor */:
                     // Setter must have a parameter
                     return false;
+                case 171 /* GetAccessor */:
+                    // Getter cannot have parameters
+                    return true;
                 default:
                     return ts.Debug.failBadSyntaxKind(parent);
             }
@@ -155766,10 +155835,12 @@ var ts;
         });
         function getInfo(sourceFile, pos) {
             var token = ts.getTokenAtPosition(sourceFile, pos);
-            var indexSignature = ts.cast(token.parent.parent, ts.isIndexSignatureDeclaration);
-            if (ts.isClassDeclaration(indexSignature.parent))
+            var indexSignature = ts.tryCast(token.parent.parent, ts.isIndexSignatureDeclaration);
+            if (!indexSignature)
+                return undefined;
+            var container = ts.isInterfaceDeclaration(indexSignature.parent) ? indexSignature.parent : ts.tryCast(indexSignature.parent.parent, ts.isTypeAliasDeclaration);
+            if (!container)
                 return undefined;
-            var container = ts.isInterfaceDeclaration(indexSignature.parent) ? indexSignature.parent : ts.cast(indexSignature.parent.parent, ts.isTypeAliasDeclaration);
             return { indexSignature: indexSignature, container: container };
         }
         function createTypeAliasFromInterface(declaration, type) {
@@ -157360,8 +157431,8 @@ var ts;
                                 // but a super *method call* simply implies a 'this' reference
                                 if (node.parent.kind === 207 /* CallExpression */) {
                                     // Super constructor call
-                                    var containingClass_1 = ts.getContainingClass(node); // TODO:GH#18217
-                                    if (containingClass_1.pos < span.start || containingClass_1.end >= (span.start + span.length)) {
+                                    var containingClass_1 = ts.getContainingClass(node);
+                                    if (containingClass_1 === undefined || containingClass_1.pos < span.start || containingClass_1.end >= (span.start + span.length)) {
                                         (errors || (errors = [])).push(ts.createDiagnosticForNode(node, Messages.cannotExtractSuper));
                                         return true;
                                     }