@zzzen/pyright-internal 1.2.0-dev.20260920 → 1.2.0-dev.20260927

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (150) hide show
  1. package/dist/analyzer/checker.d.ts +2 -1
  2. package/dist/analyzer/checker.js +15 -1
  3. package/dist/analyzer/checker.js.map +1 -1
  4. package/dist/analyzer/codeFlowEngine.js +9 -3
  5. package/dist/analyzer/codeFlowEngine.js.map +1 -1
  6. package/dist/analyzer/operations.js +1 -1
  7. package/dist/analyzer/operations.js.map +1 -1
  8. package/dist/analyzer/overloadResult.d.ts +15 -0
  9. package/dist/analyzer/overloadResult.js +233 -0
  10. package/dist/analyzer/overloadResult.js.map +1 -0
  11. package/dist/analyzer/overloadResultAdmission.d.ts +20 -0
  12. package/dist/analyzer/overloadResultAdmission.js +448 -0
  13. package/dist/analyzer/overloadResultAdmission.js.map +1 -0
  14. package/dist/analyzer/overloadResultController.d.ts +227 -0
  15. package/dist/analyzer/overloadResultController.js +904 -0
  16. package/dist/analyzer/overloadResultController.js.map +1 -0
  17. package/dist/analyzer/overloadResultSelector.d.ts +24 -0
  18. package/dist/analyzer/overloadResultSelector.js +131 -0
  19. package/dist/analyzer/overloadResultSelector.js.map +1 -0
  20. package/dist/analyzer/parseTreeUtils.d.ts +1 -0
  21. package/dist/analyzer/parseTreeUtils.js +4 -0
  22. package/dist/analyzer/parseTreeUtils.js.map +1 -1
  23. package/dist/analyzer/program.d.ts +13 -2
  24. package/dist/analyzer/program.js +98 -46
  25. package/dist/analyzer/program.js.map +1 -1
  26. package/dist/analyzer/protocols.d.ts +1 -0
  27. package/dist/analyzer/protocols.js +286 -6
  28. package/dist/analyzer/protocols.js.map +1 -1
  29. package/dist/analyzer/sourceFile.d.ts +6 -2
  30. package/dist/analyzer/sourceFile.js +9 -3
  31. package/dist/analyzer/sourceFile.js.map +1 -1
  32. package/dist/analyzer/tracePrinter.js +4 -0
  33. package/dist/analyzer/tracePrinter.js.map +1 -1
  34. package/dist/analyzer/typeCacheUtils.d.ts +4 -0
  35. package/dist/analyzer/typeCacheUtils.js +36 -0
  36. package/dist/analyzer/typeCacheUtils.js.map +1 -1
  37. package/dist/analyzer/typeComplexity.js +2 -0
  38. package/dist/analyzer/typeComplexity.js.map +1 -1
  39. package/dist/analyzer/typeEvaluator.d.ts +10 -1
  40. package/dist/analyzer/typeEvaluator.js +351 -11
  41. package/dist/analyzer/typeEvaluator.js.map +1 -1
  42. package/dist/analyzer/typeEvaluatorTypes.d.ts +30 -1
  43. package/dist/analyzer/typeEvaluatorTypes.js.map +1 -1
  44. package/dist/analyzer/typeGuards.d.ts +1 -1
  45. package/dist/analyzer/typePrinter.js +8 -0
  46. package/dist/analyzer/typePrinter.js.map +1 -1
  47. package/dist/analyzer/typeUtils.d.ts +1 -1
  48. package/dist/analyzer/typeUtils.js +29 -26
  49. package/dist/analyzer/typeUtils.js.map +1 -1
  50. package/dist/analyzer/typeWalker.d.ts +2 -1
  51. package/dist/analyzer/typeWalker.js +12 -0
  52. package/dist/analyzer/typeWalker.js.map +1 -1
  53. package/dist/analyzer/typedDicts.js +1 -0
  54. package/dist/analyzer/typedDicts.js.map +1 -1
  55. package/dist/analyzer/types.d.ts +16 -2
  56. package/dist/analyzer/types.js +94 -2
  57. package/dist/analyzer/types.js.map +1 -1
  58. package/dist/common/configOptions.d.ts +1 -0
  59. package/dist/common/configOptions.js +2 -0
  60. package/dist/common/configOptions.js.map +1 -1
  61. package/dist/languageServerBase.js +2 -2
  62. package/dist/languageServerBase.js.map +1 -1
  63. package/dist/languageService/callHierarchyProvider.js +3 -2
  64. package/dist/languageService/callHierarchyProvider.js.map +1 -1
  65. package/dist/languageService/completionProvider.js +4 -1
  66. package/dist/languageService/completionProvider.js.map +1 -1
  67. package/dist/tests/config.test.js +48 -0
  68. package/dist/tests/config.test.js.map +1 -1
  69. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.aliasedFunction.fourslash.js +10 -6
  70. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.aliasedFunction.fourslash.js.map +1 -1
  71. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.function.fourslash.js +16 -10
  72. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.function.fourslash.js.map +1 -1
  73. package/dist/tests/harness/fourslash/testState.js +10 -9
  74. package/dist/tests/harness/fourslash/testState.js.map +1 -1
  75. package/dist/tests/languageServer.test.js +129 -0
  76. package/dist/tests/languageServer.test.js.map +1 -1
  77. package/dist/tests/overloadResult.test.d.ts +1 -0
  78. package/dist/tests/overloadResult.test.js +182 -0
  79. package/dist/tests/overloadResult.test.js.map +1 -0
  80. package/dist/tests/overloadResultController.test.d.ts +1 -0
  81. package/dist/tests/overloadResultController.test.js +2146 -0
  82. package/dist/tests/overloadResultController.test.js.map +1 -0
  83. package/dist/tests/protocolRequirement.test.d.ts +1 -0
  84. package/dist/tests/protocolRequirement.test.js +122 -0
  85. package/dist/tests/protocolRequirement.test.js.map +1 -0
  86. package/dist/tests/protocolRequirementAdversarial.test.d.ts +1 -0
  87. package/dist/tests/protocolRequirementAdversarial.test.js +92 -0
  88. package/dist/tests/protocolRequirementAdversarial.test.js.map +1 -0
  89. package/dist/tests/protocolRequirementBoundary.test.d.ts +1 -0
  90. package/dist/tests/protocolRequirementBoundary.test.js +119 -0
  91. package/dist/tests/protocolRequirementBoundary.test.js.map +1 -0
  92. package/dist/tests/protocolRequirementComplexity.test.d.ts +1 -0
  93. package/dist/tests/protocolRequirementComplexity.test.js +159 -0
  94. package/dist/tests/protocolRequirementComplexity.test.js.map +1 -0
  95. package/dist/tests/protocolRequirementCycles.test.d.ts +1 -0
  96. package/dist/tests/protocolRequirementCycles.test.js +160 -0
  97. package/dist/tests/protocolRequirementCycles.test.js.map +1 -0
  98. package/dist/tests/protocolRequirementGeneral.test.d.ts +1 -0
  99. package/dist/tests/protocolRequirementGeneral.test.js +120 -0
  100. package/dist/tests/protocolRequirementGeneral.test.js.map +1 -0
  101. package/dist/tests/protocolRequirementInstances.test.d.ts +1 -0
  102. package/dist/tests/protocolRequirementInstances.test.js +164 -0
  103. package/dist/tests/protocolRequirementInstances.test.js.map +1 -0
  104. package/dist/tests/protocolRequirementListStub.test.d.ts +1 -0
  105. package/dist/tests/protocolRequirementListStub.test.js +244 -0
  106. package/dist/tests/protocolRequirementListStub.test.js.map +1 -0
  107. package/dist/tests/protocolRequirementPopulated.test.d.ts +1 -0
  108. package/dist/tests/protocolRequirementPopulated.test.js +172 -0
  109. package/dist/tests/protocolRequirementPopulated.test.js.map +1 -0
  110. package/dist/tests/protocolRequirementRecursive.test.d.ts +1 -0
  111. package/dist/tests/protocolRequirementRecursive.test.js +118 -0
  112. package/dist/tests/protocolRequirementRecursive.test.js.map +1 -0
  113. package/dist/tests/protocolRequirementSpeculative.test.d.ts +1 -0
  114. package/dist/tests/protocolRequirementSpeculative.test.js +200 -0
  115. package/dist/tests/protocolRequirementSpeculative.test.js.map +1 -0
  116. package/dist/tests/protocolRequirementState.test.d.ts +1 -0
  117. package/dist/tests/protocolRequirementState.test.js +161 -0
  118. package/dist/tests/protocolRequirementState.test.js.map +1 -0
  119. package/dist/tests/testState.test.js +64 -0
  120. package/dist/tests/testState.test.js.map +1 -1
  121. package/dist/tests/testUtils.d.ts +6 -1
  122. package/dist/tests/testUtils.js +11 -6
  123. package/dist/tests/testUtils.js.map +1 -1
  124. package/dist/tests/typeCacheIsolation.test.d.ts +1 -0
  125. package/dist/tests/typeCacheIsolation.test.js +109 -0
  126. package/dist/tests/typeCacheIsolation.test.js.map +1 -0
  127. package/dist/tests/typeCacheUtils.test.js +59 -0
  128. package/dist/tests/typeCacheUtils.test.js.map +1 -1
  129. package/dist/tests/typeEvaluator1.test.js +5 -1
  130. package/dist/tests/typeEvaluator1.test.js.map +1 -1
  131. package/dist/tests/typeEvaluator4.test.js +6 -2
  132. package/dist/tests/typeEvaluator4.test.js.map +1 -1
  133. package/dist/tests/typeEvaluator5.test.js +25 -0
  134. package/dist/tests/typeEvaluator5.test.js.map +1 -1
  135. package/dist/tests/typeEvaluator6.test.js +7 -23
  136. package/dist/tests/typeEvaluator6.test.js.map +1 -1
  137. package/dist/tests/typeEvaluator7.test.js +237 -2
  138. package/dist/tests/typeEvaluator7.test.js.map +1 -1
  139. package/dist/tests/typeServer/typeServer.inProc.test.js +86 -0
  140. package/dist/tests/typeServer/typeServer.inProc.test.js.map +1 -1
  141. package/dist/tests/typeUtils.test.js +36 -0
  142. package/dist/tests/typeUtils.test.js.map +1 -1
  143. package/dist/trace/nativeAdapter.js +1 -5
  144. package/dist/trace/nativeAdapter.js.map +1 -1
  145. package/dist/typeServer/protocol/typeServerProtocol.d.ts +8 -2
  146. package/dist/typeServer/protocol/typeServerProtocol.js +1 -0
  147. package/dist/typeServer/protocol/typeServerProtocol.js.map +1 -1
  148. package/dist/typeServer/typeServerConversionUtils.js +9 -0
  149. package/dist/typeServer/typeServerConversionUtils.js.map +1 -1
  150. package/package.json +1 -1
@@ -0,0 +1,448 @@
1
+ "use strict";
2
+ /*
3
+ * overloadResultAdmission.ts
4
+ * Copyright (c) Microsoft Corporation.
5
+ * Licensed under the MIT license.
6
+ *
7
+ * Conservative local-use admission for overload alternatives.
8
+ */
9
+ Object.defineProperty(exports, "__esModule", { value: true });
10
+ exports.OverloadResultAdmissionLimit = void 0;
11
+ exports.collectOverloadResultNodes = collectOverloadResultNodes;
12
+ exports.admitLocalOverloadResults = admitLocalOverloadResults;
13
+ const parseNodes_1 = require("../parser/parseNodes");
14
+ const codeFlowTypes_1 = require("./codeFlowTypes");
15
+ const parseTreeUtils_1 = require("./parseTreeUtils");
16
+ const parseTreeWalker_1 = require("./parseTreeWalker");
17
+ class OverloadResultAdmissionLimit extends Error {
18
+ }
19
+ exports.OverloadResultAdmissionLimit = OverloadResultAdmissionLimit;
20
+ const maxProjectionDeclarations = 32;
21
+ const maxReachingVisits = 256;
22
+ class BoundedNodes extends parseTreeWalker_1.ParseTreeWalker {
23
+ constructor(_limit) {
24
+ super();
25
+ this._limit = _limit;
26
+ this.nodes = [];
27
+ }
28
+ visitNode(node) {
29
+ if (this.nodes.length >= this._limit) {
30
+ throw new OverloadResultAdmissionLimit('node-limit');
31
+ }
32
+ this.nodes.push(node);
33
+ return super.visitNode(node);
34
+ }
35
+ }
36
+ function collectOverloadResultNodes(node, limit) {
37
+ const walker = new BoundedNodes(limit);
38
+ walker.walk(node);
39
+ return walker.nodes;
40
+ }
41
+ function admitLocalOverloadResults(module, seeds, evaluator, info, limits) {
42
+ const result = {
43
+ nodes: [],
44
+ records: new Map(),
45
+ byNode: new Map(),
46
+ definitions: new Map(),
47
+ reaching: new Map(),
48
+ decisions: new Map(),
49
+ dependencies: new Map(),
50
+ graphUnits: 0,
51
+ complete: false,
52
+ };
53
+ const charge = () => {
54
+ if (result.graphUnits >= limits.graphUnits) {
55
+ throw new OverloadResultAdmissionLimit('graph-limit');
56
+ }
57
+ result.graphUnits++;
58
+ };
59
+ const symbolCache = new Map();
60
+ const symbol = (node) => {
61
+ if (!symbolCache.has(node)) {
62
+ charge();
63
+ symbolCache.set(node, evaluator.lookUpSymbolRecursive(node, node.d.value, true)?.symbol);
64
+ }
65
+ return symbolCache.get(node);
66
+ };
67
+ const reject = (origins, reason) => {
68
+ origins.forEach((seed) => result.decisions.get(seed)?.add(reason));
69
+ };
70
+ try {
71
+ result.nodes = collectOverloadResultNodes(module, limits.nodes);
72
+ if (seeds.length > limits.records) {
73
+ throw new OverloadResultAdmissionLimit('seed-limit');
74
+ }
75
+ const nodeSet = new Set(result.nodes);
76
+ const seedMap = new Map(seeds.map((seed) => [seed.node, seed]));
77
+ for (const node of result.nodes) {
78
+ if (node.nodeType !== 47 /* ParseNodeType.StatementList */ || node.d.statements.length !== 1) {
79
+ continue;
80
+ }
81
+ const statement = node.d.statements[0];
82
+ const fn = (0, parseTreeUtils_1.getEnclosingFunction)(statement);
83
+ if (!fn || (statement.nodeType !== 3 /* ParseNodeType.Assignment */ && !(0, parseNodes_1.isExpressionNode)(statement))) {
84
+ continue;
85
+ }
86
+ let nodes;
87
+ try {
88
+ nodes = collectOverloadResultNodes(node, limits.rootNodes);
89
+ }
90
+ catch (error) {
91
+ if (!(error instanceof OverloadResultAdmissionLimit)) {
92
+ throw error;
93
+ }
94
+ continue;
95
+ }
96
+ const assignment = statement.nodeType === 3 /* ParseNodeType.Assignment */ ? statement : undefined;
97
+ const left = assignment?.d.leftExpr;
98
+ const target = left?.nodeType === 54 /* ParseNodeType.TypeAnnotation */ ? left.d.valueExpr : left;
99
+ if (target && target.nodeType !== 38 /* ParseNodeType.Name */) {
100
+ continue;
101
+ }
102
+ if (result.records.size >= limits.records) {
103
+ throw new OverloadResultAdmissionLimit('record-limit');
104
+ }
105
+ const expression = statement.nodeType === 3 /* ParseNodeType.Assignment */ ? statement.d.rightExpr : statement;
106
+ const containedSeeds = nodes.filter((n) => n.nodeType === 9 /* ParseNodeType.Call */ && seedMap.has(n));
107
+ const seed = containedSeeds.length === 1 ? seedMap.get(containedSeeds[0]) : undefined;
108
+ const valueNodes = new Set(collectOverloadResultNodes(expression, limits.rootNodes));
109
+ if (target) {
110
+ valueNodes.add(target);
111
+ }
112
+ const record = {
113
+ root: node,
114
+ statement,
115
+ expression,
116
+ assignment,
117
+ target,
118
+ annotated: left?.nodeType === 54 /* ParseNodeType.TypeAnnotation */ || !!assignment?.d.annotationComment,
119
+ fn,
120
+ nodes,
121
+ ids: new Set(nodes.map((n) => n.id)),
122
+ valueNodes,
123
+ seed,
124
+ admitted: false,
125
+ reader: false,
126
+ };
127
+ result.records.set(node, record);
128
+ nodes.forEach((n) => result.byNode.set(n, record));
129
+ if (target) {
130
+ result.definitions.set(target, record);
131
+ }
132
+ if (seed) {
133
+ result.decisions.set(record, new Set());
134
+ }
135
+ else if (containedSeeds.length > 1) {
136
+ // No partial injection of a statement containing several seeds.
137
+ record.admitted = false;
138
+ }
139
+ }
140
+ const origins = new Map();
141
+ const symbolDefs = new Map();
142
+ for (const record of result.records.values()) {
143
+ charge();
144
+ origins.set(record, new Set(record.seed ? [record] : []));
145
+ const sym = record.target && symbol(record.target);
146
+ if (sym) {
147
+ const defs = symbolDefs.get(sym.id) ?? [];
148
+ defs.push(record);
149
+ symbolDefs.set(sym.id, defs);
150
+ }
151
+ }
152
+ const reads = new Map();
153
+ for (const node of result.nodes) {
154
+ if (node.nodeType !== 38 /* ParseNodeType.Name */ ||
155
+ result.definitions.has(node) ||
156
+ (node.parent?.nodeType === 35 /* ParseNodeType.MemberAccess */ && node.parent.d.member === node)) {
157
+ continue;
158
+ }
159
+ charge();
160
+ const sym = symbol(node);
161
+ const declarations = sym && symbolDefs.get(sym.id);
162
+ if (!sym || !declarations) {
163
+ continue;
164
+ }
165
+ const targets = new Set();
166
+ const visited = new Set();
167
+ let complex = false;
168
+ function walk(flow) {
169
+ if (!flow || visited.has(flow.id)) {
170
+ return;
171
+ }
172
+ charge();
173
+ visited.add(flow.id);
174
+ if (visited.size > maxReachingVisits) {
175
+ throw new OverloadResultAdmissionLimit('flow-limit');
176
+ }
177
+ if (flow.flags & codeFlowTypes_1.FlowFlags.Assignment) {
178
+ // FlowNode is flag-discriminated throughout the analyzer.
179
+ const assignment = flow;
180
+ if (assignment.targetSymbolId === sym.id) {
181
+ targets.add(assignment.node);
182
+ return;
183
+ }
184
+ }
185
+ if (flow.flags & codeFlowTypes_1.FlowFlags.LoopLabel) {
186
+ complex = true;
187
+ return;
188
+ }
189
+ if (flow.flags & codeFlowTypes_1.FlowFlags.Start) {
190
+ return;
191
+ }
192
+ if ('antecedents' in flow && Array.isArray(flow.antecedents)) {
193
+ // Use the existing FlowLabel shape rather than interpreting
194
+ // arbitrary fields on a ParseNode.
195
+ flow.antecedents.forEach(walk);
196
+ }
197
+ else if ('antecedent' in flow) {
198
+ walk(flow.antecedent);
199
+ }
200
+ }
201
+ walk(info.getFlowNode(node));
202
+ let defs = [...targets]
203
+ .filter((n) => n.nodeType === 38 /* ParseNodeType.Name */)
204
+ .map((n) => result.definitions.get(n))
205
+ .filter((d) => !!d);
206
+ const untracked = defs.length !== targets.size;
207
+ const captured = declarations.filter((d) => d.fn !== (0, parseTreeUtils_1.getEnclosingFunction)(node));
208
+ defs = [...new Set([...defs, ...captured])];
209
+ if (complex || untracked || (!targets.size && !captured.length)) {
210
+ defs = declarations;
211
+ }
212
+ const ambiguous = complex || untracked || targets.size !== 1 || defs.length !== 1;
213
+ reads.set(node, { defs, ambiguous, captured: captured.length > 0 });
214
+ if (!ambiguous && !captured.length) {
215
+ result.reaching.set(node, defs[0]);
216
+ }
217
+ }
218
+ const valueOrigins = (record) => record.annotated ? new Set() : origins.get(record);
219
+ let changed = true;
220
+ while (changed) {
221
+ changed = false;
222
+ for (const record of result.records.values()) {
223
+ if (record.annotated) {
224
+ continue;
225
+ }
226
+ for (const node of record.nodes) {
227
+ if (node.nodeType !== 38 /* ParseNodeType.Name */) {
228
+ continue;
229
+ }
230
+ for (const definition of reads.get(node)?.defs ?? []) {
231
+ charge();
232
+ for (const origin of valueOrigins(definition)) {
233
+ charge();
234
+ if (!origins.get(record).has(origin)) {
235
+ origins.get(record).add(origin);
236
+ changed = true;
237
+ }
238
+ }
239
+ }
240
+ }
241
+ }
242
+ }
243
+ const perStatement = new Map();
244
+ const nestedReaderInputs = new Map();
245
+ const callableValues = new Map();
246
+ for (const [node, read] of reads) {
247
+ const affected = new Set(read.defs.flatMap((d) => [...valueOrigins(d)]));
248
+ if (!affected.size) {
249
+ continue;
250
+ }
251
+ charge();
252
+ if (read.captured) {
253
+ reject(affected, 'closure-capture');
254
+ }
255
+ if (read.ambiguous) {
256
+ reject(affected, 'ambiguous-reaching-definition');
257
+ }
258
+ const record = result.byNode.get(node);
259
+ if (!record) {
260
+ reject(affected, 'unsupported-statement-or-escape');
261
+ continue;
262
+ }
263
+ const uses = perStatement.get(record) ?? [];
264
+ uses.push(affected);
265
+ perStatement.set(record, uses);
266
+ if (record.statement.nodeType === 9 /* ParseNodeType.Call */ &&
267
+ (node.parent?.nodeType !== 1 /* ParseNodeType.Argument */ || node.parent.parent !== record.statement)) {
268
+ const nested = nestedReaderInputs.get(record) ?? new Set();
269
+ affected.forEach((origin) => nested.add(origin));
270
+ nestedReaderInputs.set(record, nested);
271
+ }
272
+ if (record.root.parent !== record.fn.d.suite) {
273
+ reject(affected, 'non-straight-line-statement');
274
+ }
275
+ let current = node;
276
+ while (current && current !== record.statement) {
277
+ charge();
278
+ const child = current;
279
+ current = current.parent;
280
+ if (!current) {
281
+ reject(affected, 'unsupported-expression-path');
282
+ break;
283
+ }
284
+ if (current.nodeType === 9 /* ParseNodeType.Call */ &&
285
+ current.d.leftExpr.nodeType === 35 /* ParseNodeType.MemberAccess */ &&
286
+ child.nodeType === 1 /* ParseNodeType.Argument */) {
287
+ reject(affected, 'alternative-argument-to-member-call');
288
+ }
289
+ if (current.nodeType === 9 /* ParseNodeType.Call */ && current.d.leftExpr.nodeType === 38 /* ParseNodeType.Name */) {
290
+ const callee = current.d.leftExpr;
291
+ if (!callableValues.has(callee)) {
292
+ const declarations = symbol(callee)?.getDeclarations() ?? [];
293
+ const opaque = declarations.length > maxProjectionDeclarations ||
294
+ declarations.some((d) => {
295
+ const resolved = evaluator.resolveAliasDeclaration(d, true);
296
+ return (resolved?.type === 1 /* DeclarationType.Variable */ ||
297
+ resolved?.type === 2 /* DeclarationType.Param */);
298
+ });
299
+ callableValues.set(callee, {
300
+ opaque,
301
+ nestedReader: !opaque && current !== record.statement && diagnosticReader(callee),
302
+ });
303
+ }
304
+ // Callable values can alias a diagnostic reader without a
305
+ // declaration exposing its argument roles.
306
+ if (callableValues.get(callee).opaque) {
307
+ reject(affected, 'unsupported-callable-value');
308
+ }
309
+ if (callableValues.get(callee).nestedReader) {
310
+ reject(affected, 'unsupported-nested-reader');
311
+ }
312
+ }
313
+ if (![
314
+ 1 /* ParseNodeType.Argument */,
315
+ 3 /* ParseNodeType.Assignment */,
316
+ 9 /* ParseNodeType.Call */,
317
+ 35 /* ParseNodeType.MemberAccess */,
318
+ 47 /* ParseNodeType.StatementList */,
319
+ 51 /* ParseNodeType.Ternary */,
320
+ ].includes(current.nodeType)) {
321
+ reject(affected, 'container-or-unsupported-expression');
322
+ }
323
+ }
324
+ if (record.target &&
325
+ !record.annotated &&
326
+ record.expression.nodeType !== 38 /* ParseNodeType.Name */ &&
327
+ record.expression.nodeType !== 9 /* ParseNodeType.Call */) {
328
+ reject(affected, 'unsupported-stored-value');
329
+ }
330
+ }
331
+ function typingFunction(name, expectedNames) {
332
+ const declarations = symbol(name)?.getDeclarations() ?? [];
333
+ if (declarations.length !== 1) {
334
+ return false;
335
+ }
336
+ charge();
337
+ const resolved = evaluator.resolveAliasDeclaration(declarations[0], true);
338
+ if (resolved?.type !== 5 /* DeclarationType.Function */ || !expectedNames.includes(resolved.node.d.name.d.value)) {
339
+ return false;
340
+ }
341
+ const file = info.getFileInfo(resolved.node);
342
+ return file.isTypingStubFile || file.isTypingExtensionsStubFile;
343
+ }
344
+ function diagnosticReader(name) {
345
+ return (((0, parseTreeUtils_1.isImplicitRevealTypeName)(name) && !symbol(name)) ||
346
+ typingFunction(name, ['assert_type', 'reveal_type']));
347
+ }
348
+ function projectionShape(call) {
349
+ if (call.d.leftExpr.nodeType !== 38 /* ParseNodeType.Name */) {
350
+ return false;
351
+ }
352
+ const declarations = symbol(call.d.leftExpr)?.getDeclarations() ?? [];
353
+ if (!declarations.length || declarations.length > maxProjectionDeclarations) {
354
+ return false;
355
+ }
356
+ let signatures = 0;
357
+ for (const [index, declaration] of declarations.entries()) {
358
+ charge();
359
+ if (declaration.type !== 5 /* DeclarationType.Function */ || !nodeSet.has(declaration.node)) {
360
+ return false;
361
+ }
362
+ for (const decorator of declaration.node.d.decorators) {
363
+ if (decorator.d.expr.nodeType !== 38 /* ParseNodeType.Name */ ||
364
+ !typingFunction(decorator.d.expr, ['overload'])) {
365
+ return false;
366
+ }
367
+ }
368
+ const annotation = declaration.node.d.returnAnnotation;
369
+ const base = annotation?.nodeType === 27 /* ParseNodeType.Index */ ? annotation.d.leftExpr : annotation;
370
+ if (base?.nodeType !== 38 /* ParseNodeType.Name */) {
371
+ return false;
372
+ }
373
+ const returns = symbol(base)?.getDeclarations() ?? [];
374
+ if (!returns.length || returns.length > maxProjectionDeclarations) {
375
+ return false;
376
+ }
377
+ let classReturn = false;
378
+ for (const returned of returns) {
379
+ charge();
380
+ if (evaluator.resolveAliasDeclaration(returned, true)?.type === 6 /* DeclarationType.Class */) {
381
+ classReturn = true;
382
+ }
383
+ }
384
+ if (!classReturn && !(index === declarations.length - 1 && signatures > 1)) {
385
+ return false;
386
+ }
387
+ if (classReturn) {
388
+ signatures++;
389
+ }
390
+ }
391
+ return signatures > 0;
392
+ }
393
+ const inputs = new Map();
394
+ for (const [record, uses] of perStatement) {
395
+ const affected = new Set(uses.flatMap((use) => [...use]));
396
+ if (uses.length > 1) {
397
+ reject(affected, 'multiple-alternative-occurrences');
398
+ }
399
+ if (record.seed) {
400
+ reject(new Set([...affected, record]), 'dependent-fixed-seeds');
401
+ }
402
+ if (record.target &&
403
+ !record.annotated &&
404
+ record.expression.nodeType === 9 /* ParseNodeType.Call */ &&
405
+ !projectionShape(record.expression)) {
406
+ reject(affected, 'unsupported-stored-call-declaration');
407
+ }
408
+ inputs.set(record, affected);
409
+ }
410
+ for (const record of result.decisions.keys()) {
411
+ if (!record.target || record.expression !== record.seed?.node || record.root.parent !== record.fn.d.suite) {
412
+ reject(new Set([record]), 'unsupported-seed-storage');
413
+ }
414
+ }
415
+ for (const record of result.records.values()) {
416
+ if (record.statement.nodeType === 9 /* ParseNodeType.Call */ &&
417
+ record.statement.d.leftExpr.nodeType === 38 /* ParseNodeType.Name */) {
418
+ record.reader = diagnosticReader(record.statement.d.leftExpr);
419
+ const nested = nestedReaderInputs.get(record);
420
+ // A reader can consume a direct local value, but must not inject
421
+ // it into an unadapted nested member/call or type expression.
422
+ if (record.reader && nested) {
423
+ reject(nested, 'unsupported-reader-expression');
424
+ }
425
+ }
426
+ }
427
+ for (const record of result.records.values()) {
428
+ const dependencies = new Set([...(origins.get(record) ?? []), ...(inputs.get(record) ?? [])]);
429
+ result.dependencies.set(record, dependencies);
430
+ record.admitted =
431
+ dependencies.size > 0 && [...dependencies].every((d) => result.decisions.get(d)?.size === 0);
432
+ }
433
+ result.complete = true;
434
+ }
435
+ catch (error) {
436
+ if (!(error instanceof OverloadResultAdmissionLimit)) {
437
+ throw error;
438
+ }
439
+ result.reason = error.message;
440
+ result.records.forEach((r) => {
441
+ r.admitted = false;
442
+ });
443
+ result.decisions.forEach((reasons) => reasons.add(error.message));
444
+ result.reaching.clear();
445
+ }
446
+ return result;
447
+ }
448
+ //# sourceMappingURL=overloadResultAdmission.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"overloadResultAdmission.js","sourceRoot":"","sources":["../../../../../src/analyzer/overloadResultAdmission.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;AAiCH,gEAIC;AAeD,8DAkbC;AApeD,qDAAkH;AAElH,mDAAiF;AAGjF,qDAAkF;AAClF,uDAAoD;AAIpD,MAAa,4BAA6B,SAAQ,KAAK;CAAG;AAA1D,oEAA0D;AAE1D,MAAM,yBAAyB,GAAG,EAAE,CAAC;AACrC,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAE9B,MAAM,YAAa,SAAQ,iCAAe;IAGtC,YAAoB,MAAc;QAC9B,KAAK,EAAE,CAAC;QADQ,WAAM,GAAN,MAAM,CAAQ;QAFzB,UAAK,GAAgB,EAAE,CAAC;IAIjC,CAAC;IAEQ,SAAS,CAAC,IAAe;QAC9B,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,4BAA4B,CAAC,YAAY,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,OAAO,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;CACJ;AAED,SAAgB,0BAA0B,CAAC,IAAe,EAAE,KAAa;IACrE,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClB,OAAO,MAAM,CAAC,KAAK,CAAC;AACxB,CAAC;AAeD,SAAgB,yBAAyB,CACrC,MAAkB,EAClB,KAAyC,EACzC,SAAwB,EACxB,IAA8B,EAC9B,MAA4B;IAE5B,MAAM,MAAM,GAA2B;QACnC,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,WAAW,EAAE,IAAI,GAAG,EAAE;QACtB,QAAQ,EAAE,IAAI,GAAG,EAAE;QACnB,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,YAAY,EAAE,IAAI,GAAG,EAAE;QACvB,UAAU,EAAE,CAAC;QACb,QAAQ,EAAE,KAAK;KAClB,CAAC;IACF,MAAM,MAAM,GAAG,GAAG,EAAE;QAChB,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACzC,MAAM,IAAI,4BAA4B,CAAC,aAAa,CAAC,CAAC;QAC1D,CAAC;QACD,MAAM,CAAC,UAAU,EAAE,CAAC;IACxB,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC5D,MAAM,MAAM,GAAG,CAAC,IAAc,EAAE,EAAE;QAC9B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,EAAE,CAAC;YACT,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;QAC7F,CAAC;QACD,OAAO,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,OAA4C,EAAE,MAAc,EAAE,EAAE;QAC5E,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC;IACF,IAAI,CAAC;QACD,MAAM,CAAC,KAAK,GAAG,0BAA0B,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAChE,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;YAChC,MAAM,IAAI,4BAA4B,CAAC,YAAY,CAAC,CAAC;QACzD,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAChE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,QAAQ,yCAAgC,IAAI,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClF,SAAS;YACb,CAAC;YACD,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,EAAE,GAAG,IAAA,qCAAoB,EAAC,SAAS,CAAC,CAAC;YAC3C,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,qCAA6B,IAAI,CAAC,IAAA,6BAAgB,EAAC,SAAS,CAAC,CAAC,EAAE,CAAC;gBAC3F,SAAS;YACb,CAAC;YACD,IAAI,KAAkB,CAAC;YACvB,IAAI,CAAC;gBACD,KAAK,GAAG,0BAA0B,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;YAC/D,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,IAAI,CAAC,CAAC,KAAK,YAAY,4BAA4B,CAAC,EAAE,CAAC;oBACnD,MAAM,KAAK,CAAC;gBAChB,CAAC;gBACD,SAAS;YACb,CAAC;YACD,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,qCAA6B,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3F,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC;YACpC,MAAM,MAAM,GAAG,IAAI,EAAE,QAAQ,0CAAiC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;YACzF,IAAI,MAAM,IAAI,MAAM,CAAC,QAAQ,gCAAuB,EAAE,CAAC;gBACnD,SAAS;YACb,CAAC;YACD,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACxC,MAAM,IAAI,4BAA4B,CAAC,cAAc,CAAC,CAAC;YAC3D,CAAC;YACD,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,qCAA6B,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;YACvG,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAC/B,CAAC,CAAC,EAAiB,EAAE,CAAC,CAAC,CAAC,QAAQ,+BAAuB,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAC5E,CAAC;YACF,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACtF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,0BAA0B,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;YACrF,IAAI,MAAM,EAAE,CAAC;gBACT,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC3B,CAAC;YACD,MAAM,MAAM,GAA2B;gBACnC,IAAI,EAAE,IAAI;gBACV,SAAS;gBACT,UAAU;gBACV,UAAU;gBACV,MAAM;gBACN,SAAS,EAAE,IAAI,EAAE,QAAQ,0CAAiC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,iBAAiB;gBAC/F,EAAE;gBACF,KAAK;gBACL,GAAG,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACpC,UAAU;gBACV,IAAI;gBACJ,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,KAAK;aAChB,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACjC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YACnD,IAAI,MAAM,EAAE,CAAC;gBACT,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,IAAI,EAAE,CAAC;gBACP,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YAC5C,CAAC;iBAAM,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,gEAAgE;gBAChE,MAAM,CAAC,QAAQ,GAAG,KAAK,CAAC;YAC5B,CAAC;QACL,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuD,CAAC;QAC/E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoC,CAAC;QAC/D,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,MAAM,EAAE,CAAC;YACT,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACnD,IAAI,GAAG,EAAE,CAAC;gBACN,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;gBAC1C,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAClB,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACjC,CAAC;QACL,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuF,CAAC;QAC7G,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAC9B,IACI,IAAI,CAAC,QAAQ,gCAAuB;gBACpC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;gBAC5B,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,wCAA+B,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,EACzF,CAAC;gBACC,SAAS;YACb,CAAC;YACD,MAAM,EAAE,CAAC;YACT,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACzB,MAAM,YAAY,GAAG,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACnD,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;gBACxB,SAAS;YACb,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAa,CAAC;YACrC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;YAClC,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,SAAS,IAAI,CAAC,IAA0B;gBACpC,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBAChC,OAAO;gBACX,CAAC;gBACD,MAAM,EAAE,CAAC;gBACT,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrB,IAAI,OAAO,CAAC,IAAI,GAAG,iBAAiB,EAAE,CAAC;oBACnC,MAAM,IAAI,4BAA4B,CAAC,YAAY,CAAC,CAAC;gBACzD,CAAC;gBACD,IAAI,IAAI,CAAC,KAAK,GAAG,yBAAS,CAAC,UAAU,EAAE,CAAC;oBACpC,0DAA0D;oBAC1D,MAAM,UAAU,GAAG,IAAsB,CAAC;oBAC1C,IAAI,UAAU,CAAC,cAAc,KAAK,GAAI,CAAC,EAAE,EAAE,CAAC;wBACxC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;wBAC7B,OAAO;oBACX,CAAC;gBACL,CAAC;gBACD,IAAI,IAAI,CAAC,KAAK,GAAG,yBAAS,CAAC,SAAS,EAAE,CAAC;oBACnC,OAAO,GAAG,IAAI,CAAC;oBACf,OAAO;gBACX,CAAC;gBACD,IAAI,IAAI,CAAC,KAAK,GAAG,yBAAS,CAAC,KAAK,EAAE,CAAC;oBAC/B,OAAO;gBACX,CAAC;gBACD,IAAI,aAAa,IAAI,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC3D,4DAA4D;oBAC5D,mCAAmC;oBAClC,IAAkB,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAClD,CAAC;qBAAM,IAAI,YAAY,IAAI,IAAI,EAAE,CAAC;oBAC9B,IAAI,CAAE,IAAuB,CAAC,UAAU,CAAC,CAAC;gBAC9C,CAAC;YACL,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC;iBAClB,MAAM,CAAC,CAAC,CAAC,EAAiB,EAAE,CAAC,CAAC,CAAC,QAAQ,gCAAuB,CAAC;iBAC/D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBACrC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;YAC/C,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAA,qCAAoB,EAAC,IAAI,CAAC,CAAC,CAAC;YACjF,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC5C,IAAI,OAAO,IAAI,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9D,IAAI,GAAG,YAAY,CAAC;YACxB,CAAC;YACD,MAAM,SAAS,GAAG,OAAO,IAAI,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;YAClF,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC;YACpE,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;gBACjC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,CAAC;QACL,CAAC;QACD,MAAM,YAAY,GAAG,CAAC,MAA8B,EAAE,EAAE,CACpD,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,EAA0B,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;QAChF,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,OAAO,OAAO,EAAE,CAAC;YACb,OAAO,GAAG,KAAK,CAAC;YAChB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC3C,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;oBACnB,SAAS;gBACb,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;oBAC9B,IAAI,IAAI,CAAC,QAAQ,gCAAuB,EAAE,CAAC;wBACvC,SAAS;oBACb,CAAC;oBACD,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,EAAE,EAAE,CAAC;wBACnD,MAAM,EAAE,CAAC;wBACT,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;4BAC5C,MAAM,EAAE,CAAC;4BACT,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gCACpC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gCACjC,OAAO,GAAG,IAAI,CAAC;4BACnB,CAAC;wBACL,CAAC;oBACL,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAyD,CAAC;QACtF,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAuD,CAAC;QAC1F,MAAM,cAAc,GAAG,IAAI,GAAG,EAAwD,CAAC;QACvF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACjB,SAAS;YACb,CAAC;YACD,MAAM,EAAE,CAAC;YACT,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAChB,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;YACxC,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjB,MAAM,CAAC,QAAQ,EAAE,+BAA+B,CAAC,CAAC;YACtD,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,CAAC,QAAQ,EAAE,iCAAiC,CAAC,CAAC;gBACpD,SAAS;YACb,CAAC;YACD,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAC5C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACpB,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC/B,IACI,MAAM,CAAC,SAAS,CAAC,QAAQ,+BAAuB;gBAChD,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,mCAA2B,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,SAAS,CAAC,EAC/F,CAAC;gBACC,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAA0B,CAAC;gBACnF,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;gBACjD,kBAAkB,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;gBAC3C,MAAM,CAAC,QAAQ,EAAE,6BAA6B,CAAC,CAAC;YACpD,CAAC;YACD,IAAI,OAAO,GAA0B,IAAI,CAAC;YAC1C,OAAO,OAAO,IAAI,OAAO,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;gBAC7C,MAAM,EAAE,CAAC;gBACT,MAAM,KAAK,GAAG,OAAO,CAAC;gBACtB,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;gBACzB,IAAI,CAAC,OAAO,EAAE,CAAC;oBACX,MAAM,CAAC,QAAQ,EAAE,6BAA6B,CAAC,CAAC;oBAChD,MAAM;gBACV,CAAC;gBACD,IACI,OAAO,CAAC,QAAQ,+BAAuB;oBACvC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,wCAA+B;oBAC1D,KAAK,CAAC,QAAQ,mCAA2B,EAC3C,CAAC;oBACC,MAAM,CAAC,QAAQ,EAAE,qCAAqC,CAAC,CAAC;gBAC5D,CAAC;gBACD,IAAI,OAAO,CAAC,QAAQ,+BAAuB,IAAI,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,gCAAuB,EAAE,CAAC;oBAChG,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;oBAClC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC9B,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;wBAC7D,MAAM,MAAM,GACR,YAAY,CAAC,MAAM,GAAG,yBAAyB;4BAC/C,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gCACpB,MAAM,QAAQ,GAAG,SAAS,CAAC,uBAAuB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gCAC5D,OAAO,CACH,QAAQ,EAAE,IAAI,qCAA6B;oCAC3C,QAAQ,EAAE,IAAI,kCAA0B,CAC3C,CAAC;4BACN,CAAC,CAAC,CAAC;wBACP,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE;4BACvB,MAAM;4BACN,YAAY,EAAE,CAAC,MAAM,IAAI,OAAO,KAAK,MAAM,CAAC,SAAS,IAAI,gBAAgB,CAAC,MAAM,CAAC;yBACpF,CAAC,CAAC;oBACP,CAAC;oBACD,0DAA0D;oBAC1D,2CAA2C;oBAC3C,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,MAAM,EAAE,CAAC;wBACrC,MAAM,CAAC,QAAQ,EAAE,4BAA4B,CAAC,CAAC;oBACnD,CAAC;oBACD,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,YAAY,EAAE,CAAC;wBAC3C,MAAM,CAAC,QAAQ,EAAE,2BAA2B,CAAC,CAAC;oBAClD,CAAC;gBACL,CAAC;gBACD,IACI,CAAC;;;;;;;iBAOA,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAC9B,CAAC;oBACC,MAAM,CAAC,QAAQ,EAAE,qCAAqC,CAAC,CAAC;gBAC5D,CAAC;YACL,CAAC;YACD,IACI,MAAM,CAAC,MAAM;gBACb,CAAC,MAAM,CAAC,SAAS;gBACjB,MAAM,CAAC,UAAU,CAAC,QAAQ,gCAAuB;gBACjD,MAAM,CAAC,UAAU,CAAC,QAAQ,+BAAuB,EACnD,CAAC;gBACC,MAAM,CAAC,QAAQ,EAAE,0BAA0B,CAAC,CAAC;YACjD,CAAC;QACL,CAAC;QAED,SAAS,cAAc,CAAC,IAAc,EAAE,aAAgC;YACpE,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;YAC3D,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,MAAM,EAAE,CAAC;YACT,MAAM,QAAQ,GAAG,SAAS,CAAC,uBAAuB,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1E,IAAI,QAAQ,EAAE,IAAI,qCAA6B,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvG,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC7C,OAAO,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,0BAA0B,CAAC;QACpE,CAAC;QACD,SAAS,gBAAgB,CAAC,IAAc;YACpC,OAAO,CACH,CAAC,IAAA,yCAAwB,EAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACjD,cAAc,CAAC,IAAI,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC,CACvD,CAAC;QACN,CAAC;QACD,SAAS,eAAe,CAAC,IAAc;YACnC,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,gCAAuB,EAAE,CAAC;gBAClD,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;YACtE,IAAI,CAAC,YAAY,CAAC,MAAM,IAAI,YAAY,CAAC,MAAM,GAAG,yBAAyB,EAAE,CAAC;gBAC1E,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,IAAI,UAAU,GAAG,CAAC,CAAC;YACnB,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;gBACxD,MAAM,EAAE,CAAC;gBACT,IAAI,WAAW,CAAC,IAAI,qCAA6B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClF,OAAO,KAAK,CAAC;gBACjB,CAAC;gBACD,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;oBACpD,IACI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,gCAAuB;wBAChD,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,EACjD,CAAC;wBACC,OAAO,KAAK,CAAC;oBACjB,CAAC;gBACL,CAAC;gBACD,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC;gBACvD,MAAM,IAAI,GAAG,UAAU,EAAE,QAAQ,iCAAwB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;gBAC/F,IAAI,IAAI,EAAE,QAAQ,gCAAuB,EAAE,CAAC;oBACxC,OAAO,KAAK,CAAC;gBACjB,CAAC;gBACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;gBACtD,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,GAAG,yBAAyB,EAAE,CAAC;oBAChE,OAAO,KAAK,CAAC;gBACjB,CAAC;gBACD,IAAI,WAAW,GAAG,KAAK,CAAC;gBACxB,KAAK,MAAM,QAAQ,IAAI,OAAO,EAAE,CAAC;oBAC7B,MAAM,EAAE,CAAC;oBACT,IAAI,SAAS,CAAC,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,IAAI,kCAA0B,EAAE,CAAC;wBACpF,WAAW,GAAG,IAAI,CAAC;oBACvB,CAAC;gBACL,CAAC;gBACD,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC,CAAC,EAAE,CAAC;oBACzE,OAAO,KAAK,CAAC;gBACjB,CAAC;gBACD,IAAI,WAAW,EAAE,CAAC;oBACd,UAAU,EAAE,CAAC;gBACjB,CAAC;YACL,CAAC;YACD,OAAO,UAAU,GAAG,CAAC,CAAC;QAC1B,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuD,CAAC;QAC9E,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,YAAY,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1D,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClB,MAAM,CAAC,QAAQ,EAAE,kCAAkC,CAAC,CAAC;YACzD,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBACd,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACpE,CAAC;YACD,IACI,MAAM,CAAC,MAAM;gBACb,CAAC,MAAM,CAAC,SAAS;gBACjB,MAAM,CAAC,UAAU,CAAC,QAAQ,+BAAuB;gBACjD,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,EACrC,CAAC;gBACC,MAAM,CAAC,QAAQ,EAAE,qCAAqC,CAAC,CAAC;YAC5D,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACjC,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;YAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;gBACxG,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,0BAA0B,CAAC,CAAC;YAC1D,CAAC;QACL,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IACI,MAAM,CAAC,SAAS,CAAC,QAAQ,+BAAuB;gBAChD,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,gCAAuB,EAC7D,CAAC;gBACC,MAAM,CAAC,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAC9D,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAC9C,iEAAiE;gBACjE,8DAA8D;gBAC9D,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,EAAE,CAAC;oBAC1B,MAAM,CAAC,MAAM,EAAE,+BAA+B,CAAC,CAAC;gBACpD,CAAC;YACL,CAAC;QACL,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9F,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YAC9C,MAAM,CAAC,QAAQ;gBACX,YAAY,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC;QACrG,CAAC;QACD,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC3B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,IAAI,CAAC,CAAC,KAAK,YAAY,4BAA4B,CAAC,EAAE,CAAC;YACnD,MAAM,KAAK,CAAC;QAChB,CAAC;QACD,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC;QAC9B,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YACzB,CAAC,CAAC,QAAQ,GAAG,KAAK,CAAC;QACvB,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;IAC5B,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC"}