microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-02-06 02:33:53 -06:00
Code Issues Packages Projects Releases 212 Wiki Activity

Cache last computed flow type for identifiers and 'this'

Browse Source
This commit is contained in:
Anders Hejlsberg 2023-04-18 09:00:02 -07:00
parent f8b3ea7972
commit cc1dd839ff
1 changed files with 22 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/compiler/checker.ts
View File

@ -2143,6 +2143,10 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
var lastFlowNode: FlowNode | undefined;
var lastFlowNodeReachable: boolean;
var flowTypeCache: Type[] | undefined;
var flowCacheReference: Node;
var flowCacheInitialType: Type;
var flowCacheFlowNode: FlowNode | undefined;
var flowCacheResult: Type;
var contextualTypeNodes: Node[] = [];
var contextualTypes: (Type | undefined)[] = [];
@ -26427,15 +26431,30 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
}
function getFlowTypeOfReference(reference: Node, declaredType: Type, initialType = declaredType, flowContainer?: Node, flowNode = tryCast(reference, canHaveFlowNode)?.flowNode) {
let key: string | undefined;
let isKeySet = false;
let flowDepth = 0;
if (flowAnalysisDisabled) {
return errorType;
}
if (!flowNode) {
return declaredType;
}
if ((reference.kind === SyntaxKind.Identifier || reference.kind === SyntaxKind.ThisKeyword) && declaredType !== autoType && declaredType !== autoArrayType) {
if (flowNode === flowCacheFlowNode && initialType === flowCacheInitialType && isMatchingReference(reference, flowCacheReference)) {
return flowCacheResult;
}
const resultType = getFlowTypeOfReferenceWorker(reference, declaredType, initialType, flowContainer, flowNode);
flowCacheReference = reference;
flowCacheInitialType = initialType;
flowCacheFlowNode = flowNode;
flowCacheResult = resultType;
return resultType;
}
return getFlowTypeOfReferenceWorker(reference, declaredType, initialType, flowContainer, flowNode);
}
function getFlowTypeOfReferenceWorker(reference: Node, declaredType: Type, initialType: Type, flowContainer: Node | undefined, flowNode: FlowNode) {
let key: string | undefined;
let isKeySet = false;
let flowDepth = 0;
flowInvocationCount++;
const sharedFlowStart = sharedFlowCount;
const evolvedType = getTypeFromFlowType(getTypeAtFlowNode(flowNode));