@tsonic/emitter 0.0.76 → 0.0.77

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 (625) hide show
  1. package/dist/.tsbuildinfo +1 -1
  2. package/dist/array.test.js +3 -3
  3. package/dist/array.test.js.map +1 -1
  4. package/dist/core/format/backend-ast/invariants.test.js +5 -0
  5. package/dist/core/format/backend-ast/invariants.test.js.map +1 -1
  6. package/dist/core/format/backend-ast/printer-colon-detection.d.ts.map +1 -1
  7. package/dist/core/format/backend-ast/printer-colon-detection.js +2 -0
  8. package/dist/core/format/backend-ast/printer-colon-detection.js.map +1 -1
  9. package/dist/core/format/backend-ast/printer-expressions.d.ts.map +1 -1
  10. package/dist/core/format/backend-ast/printer-expressions.js +4 -0
  11. package/dist/core/format/backend-ast/printer-expressions.js.map +1 -1
  12. package/dist/core/format/backend-ast/printer-precedence.d.ts.map +1 -1
  13. package/dist/core/format/backend-ast/printer-precedence.js +1 -0
  14. package/dist/core/format/backend-ast/printer-precedence.js.map +1 -1
  15. package/dist/core/format/backend-ast/types/expression-ast.d.ts +5 -1
  16. package/dist/core/format/backend-ast/types/expression-ast.d.ts.map +1 -1
  17. package/dist/core/format/backend-ast/utils.d.ts +3 -0
  18. package/dist/core/format/backend-ast/utils.d.ts.map +1 -1
  19. package/dist/core/format/backend-ast/utils.js +39 -0
  20. package/dist/core/format/backend-ast/utils.js.map +1 -1
  21. package/dist/core/format/backend-ast/utils.test.js +13 -1
  22. package/dist/core/format/backend-ast/utils.test.js.map +1 -1
  23. package/dist/core/format/local-names.d.ts.map +1 -1
  24. package/dist/core/format/local-names.js +3 -2
  25. package/dist/core/format/local-names.js.map +1 -1
  26. package/dist/core/format/local-names.test.js +7 -6
  27. package/dist/core/format/local-names.test.js.map +1 -1
  28. package/dist/core/format/module-emitter/orchestrator.d.ts.map +1 -1
  29. package/dist/core/format/module-emitter/orchestrator.js +3 -1
  30. package/dist/core/format/module-emitter/orchestrator.js.map +1 -1
  31. package/dist/core/format/module-emitter/static-container.d.ts.map +1 -1
  32. package/dist/core/format/module-emitter/static-container.js +2 -4
  33. package/dist/core/format/module-emitter/static-container.js.map +1 -1
  34. package/dist/core/module-emitter-cases/class-and-recursion.test.js +4 -1
  35. package/dist/core/module-emitter-cases/class-and-recursion.test.js.map +1 -1
  36. package/dist/core/module-emitter-cases/static-containers.test.js +111 -1
  37. package/dist/core/module-emitter-cases/static-containers.test.js.map +1 -1
  38. package/dist/core/semantic/adapt-result.d.ts +20 -0
  39. package/dist/core/semantic/adapt-result.d.ts.map +1 -0
  40. package/dist/core/semantic/adapt-result.js +30 -0
  41. package/dist/core/semantic/adapt-result.js.map +1 -0
  42. package/dist/core/semantic/array-expected-types.d.ts.map +1 -1
  43. package/dist/core/semantic/array-expected-types.js.map +1 -1
  44. package/dist/core/semantic/assignment-flow.d.ts.map +1 -1
  45. package/dist/core/semantic/assignment-flow.js +26 -3
  46. package/dist/core/semantic/assignment-flow.js.map +1 -1
  47. package/dist/core/semantic/async-wrapper-types.d.ts +1 -0
  48. package/dist/core/semantic/async-wrapper-types.d.ts.map +1 -1
  49. package/dist/core/semantic/async-wrapper-types.js +19 -1
  50. package/dist/core/semantic/async-wrapper-types.js.map +1 -1
  51. package/dist/core/semantic/boolean-condition-main.d.ts.map +1 -1
  52. package/dist/core/semantic/boolean-condition-main.js +6 -2
  53. package/dist/core/semantic/boolean-condition-main.js.map +1 -1
  54. package/dist/core/semantic/boolean-context.test.js +2 -1
  55. package/dist/core/semantic/boolean-context.test.js.map +1 -1
  56. package/dist/core/semantic/broad-array-storage.d.ts.map +1 -1
  57. package/dist/core/semantic/broad-array-storage.js +2 -5
  58. package/dist/core/semantic/broad-array-storage.js.map +1 -1
  59. package/dist/core/semantic/broad-object-types.d.ts +1 -0
  60. package/dist/core/semantic/broad-object-types.d.ts.map +1 -1
  61. package/dist/core/semantic/broad-object-types.js +39 -0
  62. package/dist/core/semantic/broad-object-types.js.map +1 -1
  63. package/dist/core/semantic/clr-type-identity.d.ts +1 -2
  64. package/dist/core/semantic/clr-type-identity.d.ts.map +1 -1
  65. package/dist/core/semantic/clr-type-identity.js +3 -65
  66. package/dist/core/semantic/clr-type-identity.js.map +1 -1
  67. package/dist/core/semantic/comparable-types.d.ts.map +1 -1
  68. package/dist/core/semantic/comparable-types.js +61 -27
  69. package/dist/core/semantic/comparable-types.js.map +1 -1
  70. package/dist/core/semantic/comparable-types.test.js.map +1 -1
  71. package/dist/core/semantic/deterministic-type-keys.d.ts.map +1 -1
  72. package/dist/core/semantic/deterministic-type-keys.js +90 -37
  73. package/dist/core/semantic/deterministic-type-keys.js.map +1 -1
  74. package/dist/core/semantic/deterministic-type-keys.test.d.ts +2 -0
  75. package/dist/core/semantic/deterministic-type-keys.test.d.ts.map +1 -0
  76. package/dist/core/semantic/deterministic-type-keys.test.js +38 -0
  77. package/dist/core/semantic/deterministic-type-keys.test.js.map +1 -0
  78. package/dist/core/semantic/direct-storage-ir-types.d.ts +1 -1
  79. package/dist/core/semantic/direct-storage-ir-types.d.ts.map +1 -1
  80. package/dist/core/semantic/direct-storage-ir-types.js +12 -3
  81. package/dist/core/semantic/direct-storage-ir-types.js.map +1 -1
  82. package/dist/core/semantic/direct-value-surfaces.d.ts.map +1 -1
  83. package/dist/core/semantic/direct-value-surfaces.js +165 -6
  84. package/dist/core/semantic/direct-value-surfaces.js.map +1 -1
  85. package/dist/core/semantic/direct-value-surfaces.test.js +69 -6
  86. package/dist/core/semantic/direct-value-surfaces.test.js.map +1 -1
  87. package/dist/core/semantic/expected-type-matching.d.ts.map +1 -1
  88. package/dist/core/semantic/expected-type-matching.js +4 -5
  89. package/dist/core/semantic/expected-type-matching.js.map +1 -1
  90. package/dist/core/semantic/implicit-interfaces.d.ts.map +1 -1
  91. package/dist/core/semantic/implicit-interfaces.js.map +1 -1
  92. package/dist/core/semantic/imports-cases/basic-and-local.test.js +8 -8
  93. package/dist/core/semantic/imports-cases/basic-and-local.test.js.map +1 -1
  94. package/dist/core/semantic/imports.js +3 -2
  95. package/dist/core/semantic/imports.js.map +1 -1
  96. package/dist/core/semantic/index.d.ts +1 -1
  97. package/dist/core/semantic/index.d.ts.map +1 -1
  98. package/dist/core/semantic/index.js +1 -1
  99. package/dist/core/semantic/index.js.map +1 -1
  100. package/dist/core/semantic/instanceof-predicate-refinements.d.ts.map +1 -1
  101. package/dist/core/semantic/instanceof-predicate-refinements.js +1 -9
  102. package/dist/core/semantic/instanceof-predicate-refinements.js.map +1 -1
  103. package/dist/core/semantic/js-array-surface-members.d.ts +4 -0
  104. package/dist/core/semantic/js-array-surface-members.d.ts.map +1 -0
  105. package/dist/core/semantic/js-array-surface-members.js +32 -0
  106. package/dist/core/semantic/js-array-surface-members.js.map +1 -0
  107. package/dist/core/semantic/materialized-narrowing.d.ts +1 -0
  108. package/dist/core/semantic/materialized-narrowing.d.ts.map +1 -1
  109. package/dist/core/semantic/materialized-narrowing.js +170 -34
  110. package/dist/core/semantic/materialized-narrowing.js.map +1 -1
  111. package/dist/core/semantic/materialized-narrowing.test.js +24 -6
  112. package/dist/core/semantic/materialized-narrowing.test.js.map +1 -1
  113. package/dist/core/semantic/module-map.d.ts.map +1 -1
  114. package/dist/core/semantic/module-map.js +4 -6
  115. package/dist/core/semantic/module-map.js.map +1 -1
  116. package/dist/core/semantic/module-type-collisions.d.ts +7 -0
  117. package/dist/core/semantic/module-type-collisions.d.ts.map +1 -0
  118. package/dist/core/semantic/module-type-collisions.js +24 -0
  119. package/dist/core/semantic/module-type-collisions.js.map +1 -0
  120. package/dist/core/semantic/mutable-storage-helpers.d.ts +1 -1
  121. package/dist/core/semantic/mutable-storage-helpers.d.ts.map +1 -1
  122. package/dist/core/semantic/mutable-storage-helpers.js +4 -12
  123. package/dist/core/semantic/mutable-storage-helpers.js.map +1 -1
  124. package/dist/core/semantic/naming-collisions.d.ts.map +1 -1
  125. package/dist/core/semantic/naming-collisions.js +13 -3
  126. package/dist/core/semantic/naming-collisions.js.map +1 -1
  127. package/dist/core/semantic/narrowed-expression-types.d.ts +3 -1
  128. package/dist/core/semantic/narrowed-expression-types.d.ts.map +1 -1
  129. package/dist/core/semantic/narrowed-expression-types.js +138 -16
  130. package/dist/core/semantic/narrowed-expression-types.js.map +1 -1
  131. package/dist/core/semantic/narrowed-union-resolution.d.ts.map +1 -1
  132. package/dist/core/semantic/narrowed-union-resolution.js +13 -2
  133. package/dist/core/semantic/narrowed-union-resolution.js.map +1 -1
  134. package/dist/core/semantic/narrowing-builder-core.d.ts +3 -2
  135. package/dist/core/semantic/narrowing-builder-core.d.ts.map +1 -1
  136. package/dist/core/semantic/narrowing-builder-core.js +85 -126
  137. package/dist/core/semantic/narrowing-builder-core.js.map +1 -1
  138. package/dist/core/semantic/narrowing-builder-core.test.js +3 -2
  139. package/dist/core/semantic/narrowing-builder-core.test.js.map +1 -1
  140. package/dist/core/semantic/narrowing-builder-unions.d.ts.map +1 -1
  141. package/dist/core/semantic/narrowing-builder-unions.js +43 -7
  142. package/dist/core/semantic/narrowing-builder-unions.js.map +1 -1
  143. package/dist/core/semantic/narrowing-builders.d.ts +1 -1
  144. package/dist/core/semantic/narrowing-builders.d.ts.map +1 -1
  145. package/dist/core/semantic/narrowing-builders.js +1 -1
  146. package/dist/core/semantic/narrowing-builders.js.map +1 -1
  147. package/dist/core/semantic/narrowing-refinements.d.ts +1 -1
  148. package/dist/core/semantic/narrowing-refinements.d.ts.map +1 -1
  149. package/dist/core/semantic/narrowing-refinements.js +1 -1
  150. package/dist/core/semantic/narrowing-refinements.js.map +1 -1
  151. package/dist/core/semantic/nullable-typeof-refinements.d.ts +1 -5
  152. package/dist/core/semantic/nullable-typeof-refinements.d.ts.map +1 -1
  153. package/dist/core/semantic/nullable-typeof-refinements.js +128 -57
  154. package/dist/core/semantic/nullable-typeof-refinements.js.map +1 -1
  155. package/dist/core/semantic/nullish-value-helpers.d.ts +1 -1
  156. package/dist/core/semantic/nullish-value-helpers.d.ts.map +1 -1
  157. package/dist/core/semantic/nullish-value-helpers.js +18 -9
  158. package/dist/core/semantic/nullish-value-helpers.js.map +1 -1
  159. package/dist/core/semantic/runtime-materialization-targets.js +1 -1
  160. package/dist/core/semantic/runtime-materialization-targets.js.map +1 -1
  161. package/dist/core/semantic/runtime-reification.d.ts +1 -0
  162. package/dist/core/semantic/runtime-reification.d.ts.map +1 -1
  163. package/dist/core/semantic/runtime-reification.js +141 -35
  164. package/dist/core/semantic/runtime-reification.js.map +1 -1
  165. package/dist/core/semantic/runtime-union-family-preservation.js +1 -1
  166. package/dist/core/semantic/runtime-union-family-preservation.js.map +1 -1
  167. package/dist/core/semantic/runtime-union-matching.d.ts.map +1 -1
  168. package/dist/core/semantic/runtime-union-matching.js +13 -0
  169. package/dist/core/semantic/runtime-union-matching.js.map +1 -1
  170. package/dist/core/semantic/runtime-union-member-mapping.test.js +1 -1
  171. package/dist/core/semantic/runtime-union-member-mapping.test.js.map +1 -1
  172. package/dist/core/semantic/runtime-union-ordering.d.ts.map +1 -1
  173. package/dist/core/semantic/runtime-union-ordering.js +10 -22
  174. package/dist/core/semantic/runtime-union-ordering.js.map +1 -1
  175. package/dist/core/semantic/runtime-union-projection.d.ts.map +1 -1
  176. package/dist/core/semantic/runtime-union-projection.js +23 -7
  177. package/dist/core/semantic/runtime-union-projection.js.map +1 -1
  178. package/dist/core/semantic/runtime-union-projection.test.js +19 -1
  179. package/dist/core/semantic/runtime-union-projection.test.js.map +1 -1
  180. package/dist/core/semantic/runtime-union-registry.js +13 -13
  181. package/dist/core/semantic/runtime-union-registry.js.map +1 -1
  182. package/dist/core/semantic/runtime-unions.d.ts.map +1 -1
  183. package/dist/core/semantic/runtime-unions.js +47 -21
  184. package/dist/core/semantic/runtime-unions.js.map +1 -1
  185. package/dist/core/semantic/runtime-unions.test.js +12 -7
  186. package/dist/core/semantic/runtime-unions.test.js.map +1 -1
  187. package/dist/core/semantic/semantic-union-members.d.ts.map +1 -1
  188. package/dist/core/semantic/semantic-union-members.js.map +1 -1
  189. package/dist/core/semantic/storage-erased-adaptation.d.ts.map +1 -1
  190. package/dist/core/semantic/storage-erased-adaptation.js +8 -11
  191. package/dist/core/semantic/storage-erased-adaptation.js.map +1 -1
  192. package/dist/core/semantic/storage-erased-adaptation.test.js +4 -1
  193. package/dist/core/semantic/storage-erased-adaptation.test.js.map +1 -1
  194. package/dist/core/semantic/storage-types.d.ts.map +1 -1
  195. package/dist/core/semantic/storage-types.js +4 -2
  196. package/dist/core/semantic/storage-types.js.map +1 -1
  197. package/dist/core/semantic/structural-shape-matching.d.ts +5 -1
  198. package/dist/core/semantic/structural-shape-matching.d.ts.map +1 -1
  199. package/dist/core/semantic/structural-shape-matching.js +29 -4
  200. package/dist/core/semantic/structural-shape-matching.js.map +1 -1
  201. package/dist/core/semantic/symbol-types.d.ts +2 -9
  202. package/dist/core/semantic/symbol-types.d.ts.map +1 -1
  203. package/dist/core/semantic/symbol-types.js +7 -11
  204. package/dist/core/semantic/symbol-types.js.map +1 -1
  205. package/dist/core/semantic/truthiness-evaluation.d.ts.map +1 -1
  206. package/dist/core/semantic/truthiness-evaluation.js +3 -3
  207. package/dist/core/semantic/truthiness-evaluation.js.map +1 -1
  208. package/dist/core/semantic/type-compatibility.d.ts +4 -2
  209. package/dist/core/semantic/type-compatibility.d.ts.map +1 -1
  210. package/dist/core/semantic/type-compatibility.js +62 -2
  211. package/dist/core/semantic/type-compatibility.js.map +1 -1
  212. package/dist/core/semantic/type-domains.d.ts +17 -0
  213. package/dist/core/semantic/type-domains.d.ts.map +1 -0
  214. package/dist/core/semantic/type-domains.js +7 -0
  215. package/dist/core/semantic/type-domains.js.map +1 -0
  216. package/dist/core/semantic/type-equivalence.d.ts.map +1 -1
  217. package/dist/core/semantic/type-equivalence.js +12 -7
  218. package/dist/core/semantic/type-equivalence.js.map +1 -1
  219. package/dist/core/semantic/type-equivalence.test.js +34 -0
  220. package/dist/core/semantic/type-equivalence.test.js.map +1 -1
  221. package/dist/core/semantic/type-resolution-cases/array-like-element.test.js +13 -4
  222. package/dist/core/semantic/type-resolution-cases/array-like-element.test.js.map +1 -1
  223. package/dist/core/semantic/type-resolution-cases/helpers.d.ts +2 -2
  224. package/dist/core/semantic/type-resolution-cases/helpers.d.ts.map +1 -1
  225. package/dist/core/semantic/type-resolution-cases/helpers.js +2 -2
  226. package/dist/core/semantic/type-resolution-cases/helpers.js.map +1 -1
  227. package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts +2 -0
  228. package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts.map +1 -0
  229. package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.js +36 -0
  230. package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.js.map +1 -0
  231. package/dist/core/semantic/type-resolution.test.d.ts +1 -1
  232. package/dist/core/semantic/type-resolution.test.d.ts.map +1 -1
  233. package/dist/core/semantic/type-resolution.test.js +1 -1
  234. package/dist/core/semantic/type-resolution.test.js.map +1 -1
  235. package/dist/core/semantic/type-substitution.d.ts.map +1 -1
  236. package/dist/core/semantic/type-substitution.js +2 -1
  237. package/dist/core/semantic/type-substitution.js.map +1 -1
  238. package/dist/core/semantic/union-predicate-matching.d.ts.map +1 -1
  239. package/dist/core/semantic/union-predicate-matching.js +1 -1
  240. package/dist/core/semantic/union-predicate-matching.js.map +1 -1
  241. package/dist/core/semantic/union-typeof-matching.d.ts.map +1 -1
  242. package/dist/core/semantic/union-typeof-matching.js +72 -22
  243. package/dist/core/semantic/union-typeof-matching.js.map +1 -1
  244. package/dist/core/semantic/variable-type-resolution.d.ts +1 -0
  245. package/dist/core/semantic/variable-type-resolution.d.ts.map +1 -1
  246. package/dist/core/semantic/variable-type-resolution.js +62 -6
  247. package/dist/core/semantic/variable-type-resolution.js.map +1 -1
  248. package/dist/duplicate-type-suppression.d.ts.map +1 -1
  249. package/dist/duplicate-type-suppression.js.map +1 -1
  250. package/dist/emitter-types/context.d.ts +1 -0
  251. package/dist/emitter-types/context.d.ts.map +1 -1
  252. package/dist/emitter-types/context.js +12 -1
  253. package/dist/emitter-types/context.js.map +1 -1
  254. package/dist/emitter-types/core.d.ts +10 -9
  255. package/dist/emitter-types/core.d.ts.map +1 -1
  256. package/dist/emitter-types/fqn.d.ts +0 -1
  257. package/dist/emitter-types/fqn.d.ts.map +1 -1
  258. package/dist/emitter-types/fqn.js +0 -1
  259. package/dist/emitter-types/fqn.js.map +1 -1
  260. package/dist/emitter-types/index.d.ts +1 -1
  261. package/dist/emitter-types/index.d.ts.map +1 -1
  262. package/dist/emitter-types/index.js +1 -1
  263. package/dist/emitter-types/index.js.map +1 -1
  264. package/dist/emitter.d.ts +3 -3
  265. package/dist/emitter.d.ts.map +1 -1
  266. package/dist/emitter.js +1 -7
  267. package/dist/emitter.js.map +1 -1
  268. package/dist/expression-emitter.d.ts.map +1 -1
  269. package/dist/expression-emitter.js +7 -2
  270. package/dist/expression-emitter.js.map +1 -1
  271. package/dist/expressions/access-binding.d.ts.map +1 -1
  272. package/dist/expressions/access-binding.js +32 -46
  273. package/dist/expressions/access-binding.js.map +1 -1
  274. package/dist/expressions/access-computed.d.ts.map +1 -1
  275. package/dist/expressions/access-computed.js +7 -8
  276. package/dist/expressions/access-computed.js.map +1 -1
  277. package/dist/expressions/access-length.d.ts +5 -9
  278. package/dist/expressions/access-length.d.ts.map +1 -1
  279. package/dist/expressions/access-length.js +17 -225
  280. package/dist/expressions/access-length.js.map +1 -1
  281. package/dist/expressions/access-property.d.ts +1 -2
  282. package/dist/expressions/access-property.d.ts.map +1 -1
  283. package/dist/expressions/access-property.js +20 -94
  284. package/dist/expressions/access-property.js.map +1 -1
  285. package/dist/expressions/access-resolution-receivers.d.ts.map +1 -1
  286. package/dist/expressions/access-resolution-receivers.js +14 -5
  287. package/dist/expressions/access-resolution-receivers.js.map +1 -1
  288. package/dist/expressions/access-resolution-types.d.ts.map +1 -1
  289. package/dist/expressions/access-resolution-types.js +7 -0
  290. package/dist/expressions/access-resolution-types.js.map +1 -1
  291. package/dist/expressions/access.d.ts +2 -2
  292. package/dist/expressions/access.d.ts.map +1 -1
  293. package/dist/expressions/access.js +6 -5
  294. package/dist/expressions/access.js.map +1 -1
  295. package/dist/expressions/architecture-invariants.test.js +18 -0
  296. package/dist/expressions/architecture-invariants.test.js.map +1 -1
  297. package/dist/expressions/await-normalization.d.ts.map +1 -1
  298. package/dist/expressions/await-normalization.js +53 -13
  299. package/dist/expressions/await-normalization.js.map +1 -1
  300. package/dist/expressions/calls/call-analysis.d.ts +0 -1
  301. package/dist/expressions/calls/call-analysis.d.ts.map +1 -1
  302. package/dist/expressions/calls/call-analysis.js +0 -7
  303. package/dist/expressions/calls/call-analysis.js.map +1 -1
  304. package/dist/expressions/calls/call-arguments-emit.d.ts.map +1 -1
  305. package/dist/expressions/calls/call-arguments-emit.js +219 -36
  306. package/dist/expressions/calls/call-arguments-emit.js.map +1 -1
  307. package/dist/expressions/calls/call-arguments-helpers.d.ts.map +1 -1
  308. package/dist/expressions/calls/call-arguments-helpers.js.map +1 -1
  309. package/dist/expressions/calls/call-array-mutation.d.ts.map +1 -1
  310. package/dist/expressions/calls/call-array-mutation.js +8 -33
  311. package/dist/expressions/calls/call-array-mutation.js.map +1 -1
  312. package/dist/expressions/calls/call-array-wrapper.d.ts.map +1 -1
  313. package/dist/expressions/calls/call-array-wrapper.js +6 -4
  314. package/dist/expressions/calls/call-array-wrapper.js.map +1 -1
  315. package/dist/expressions/calls/call-emitter.d.ts +1 -1
  316. package/dist/expressions/calls/call-emitter.d.ts.map +1 -1
  317. package/dist/expressions/calls/call-emitter.js +85 -7
  318. package/dist/expressions/calls/call-emitter.js.map +1 -1
  319. package/dist/expressions/calls/call-json.d.ts +1 -1
  320. package/dist/expressions/calls/call-json.d.ts.map +1 -1
  321. package/dist/expressions/calls/call-json.js +50 -84
  322. package/dist/expressions/calls/call-json.js.map +1 -1
  323. package/dist/expressions/calls/call-promise-ir-types.d.ts.map +1 -1
  324. package/dist/expressions/calls/call-promise-ir-types.js.map +1 -1
  325. package/dist/expressions/calls/call-runtime-union-guards.d.ts.map +1 -1
  326. package/dist/expressions/calls/call-runtime-union-guards.js +10 -1
  327. package/dist/expressions/calls/call-runtime-union-guards.js.map +1 -1
  328. package/dist/expressions/calls/new-emitter-collections.d.ts +7 -4
  329. package/dist/expressions/calls/new-emitter-collections.d.ts.map +1 -1
  330. package/dist/expressions/calls/new-emitter-collections.js +64 -25
  331. package/dist/expressions/calls/new-emitter-collections.js.map +1 -1
  332. package/dist/expressions/calls/new-emitter.d.ts.map +1 -1
  333. package/dist/expressions/calls/new-emitter.js +4 -5
  334. package/dist/expressions/calls/new-emitter.js.map +1 -1
  335. package/dist/expressions/direct-storage-types.d.ts.map +1 -1
  336. package/dist/expressions/direct-storage-types.js +76 -15
  337. package/dist/expressions/direct-storage-types.js.map +1 -1
  338. package/dist/expressions/exact-comparison.d.ts.map +1 -1
  339. package/dist/expressions/exact-comparison.js +3 -1
  340. package/dist/expressions/exact-comparison.js.map +1 -1
  341. package/dist/expressions/expected-type-adaptation.d.ts +1 -1
  342. package/dist/expressions/expected-type-adaptation.d.ts.map +1 -1
  343. package/dist/expressions/expected-type-adaptation.js +149 -29
  344. package/dist/expressions/expected-type-adaptation.js.map +1 -1
  345. package/dist/expressions/expected-type-adaptation.test.js +81 -26
  346. package/dist/expressions/expected-type-adaptation.test.js.map +1 -1
  347. package/dist/expressions/identifier-storage.d.ts +5 -0
  348. package/dist/expressions/identifier-storage.d.ts.map +1 -1
  349. package/dist/expressions/identifier-storage.js +200 -25
  350. package/dist/expressions/identifier-storage.js.map +1 -1
  351. package/dist/expressions/identifiers.d.ts.map +1 -1
  352. package/dist/expressions/identifiers.js +7 -16
  353. package/dist/expressions/identifiers.js.map +1 -1
  354. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js +3 -3
  355. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js.map +1 -1
  356. package/dist/expressions/index-cases/basic-literals-and-calls.test.js +3 -3
  357. package/dist/expressions/index-cases/basic-literals-and-calls.test.js.map +1 -1
  358. package/dist/expressions/index-cases/defaults-and-char-context.test.js +8 -2
  359. package/dist/expressions/index-cases/defaults-and-char-context.test.js.map +1 -1
  360. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js +17 -20
  361. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js.map +1 -1
  362. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js +7 -8
  363. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js.map +1 -1
  364. package/dist/expressions/index-cases/helpers.d.ts +5 -4
  365. package/dist/expressions/index-cases/helpers.d.ts.map +1 -1
  366. package/dist/expressions/index-cases/helpers.js +3 -2
  367. package/dist/expressions/index-cases/helpers.js.map +1 -1
  368. package/dist/expressions/index-cases/nullable-and-comparisons.test.js +9 -9
  369. package/dist/expressions/index-cases/nullable-and-comparisons.test.js.map +1 -1
  370. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js +3 -3
  371. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js.map +1 -1
  372. package/dist/expressions/index-cases/runtime-union-reification-b.test.js +19 -13
  373. package/dist/expressions/index-cases/runtime-union-reification-b.test.js.map +1 -1
  374. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js +4 -4
  375. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js.map +1 -1
  376. package/dist/expressions/lambda-parameters.d.ts.map +1 -1
  377. package/dist/expressions/lambda-parameters.js +97 -12
  378. package/dist/expressions/lambda-parameters.js.map +1 -1
  379. package/dist/expressions/object-literal.d.ts.map +1 -1
  380. package/dist/expressions/object-literal.js +48 -18
  381. package/dist/expressions/object-literal.js.map +1 -1
  382. package/dist/expressions/operators/binary-dispatch.d.ts +1 -1
  383. package/dist/expressions/operators/binary-dispatch.d.ts.map +1 -1
  384. package/dist/expressions/operators/binary-dispatch.js +52 -12
  385. package/dist/expressions/operators/binary-dispatch.js.map +1 -1
  386. package/dist/expressions/operators/binary-helpers.d.ts.map +1 -1
  387. package/dist/expressions/operators/binary-helpers.js +11 -1
  388. package/dist/expressions/operators/binary-helpers.js.map +1 -1
  389. package/dist/expressions/operators/binary-special-ops.d.ts +1 -11
  390. package/dist/expressions/operators/binary-special-ops.d.ts.map +1 -1
  391. package/dist/expressions/operators/binary-special-ops.js +217 -195
  392. package/dist/expressions/operators/binary-special-ops.js.map +1 -1
  393. package/dist/expressions/operators/conditional-emitter.d.ts.map +1 -1
  394. package/dist/expressions/operators/conditional-emitter.js +89 -19
  395. package/dist/expressions/operators/conditional-emitter.js.map +1 -1
  396. package/dist/expressions/operators/logical-emitter.js +1 -1
  397. package/dist/expressions/operators/logical-emitter.js.map +1 -1
  398. package/dist/expressions/operators/unary-emitter.d.ts.map +1 -1
  399. package/dist/expressions/operators/unary-emitter.js +7 -50
  400. package/dist/expressions/operators/unary-emitter.js.map +1 -1
  401. package/dist/expressions/other.d.ts +2 -6
  402. package/dist/expressions/other.d.ts.map +1 -1
  403. package/dist/expressions/other.js +6 -13
  404. package/dist/expressions/other.js.map +1 -1
  405. package/dist/expressions/post-emission-adaptation.d.ts +1 -1
  406. package/dist/expressions/post-emission-adaptation.d.ts.map +1 -1
  407. package/dist/expressions/post-emission-adaptation.js +55 -150
  408. package/dist/expressions/post-emission-adaptation.js.map +1 -1
  409. package/dist/expressions/precedence.test.js +5 -46
  410. package/dist/expressions/precedence.test.js.map +1 -1
  411. package/dist/expressions/runtime-union-adaptation-projection.d.ts.map +1 -1
  412. package/dist/expressions/runtime-union-adaptation-projection.js +25 -4
  413. package/dist/expressions/runtime-union-adaptation-projection.js.map +1 -1
  414. package/dist/expressions/runtime-union-adaptation-upcast.d.ts.map +1 -1
  415. package/dist/expressions/runtime-union-adaptation-upcast.js +268 -31
  416. package/dist/expressions/runtime-union-adaptation-upcast.js.map +1 -1
  417. package/dist/expressions/structural-anonymous-targets.d.ts.map +1 -1
  418. package/dist/expressions/structural-anonymous-targets.js +5 -0
  419. package/dist/expressions/structural-anonymous-targets.js.map +1 -1
  420. package/dist/expressions/structural-collection-adaptation.d.ts.map +1 -1
  421. package/dist/expressions/structural-collection-adaptation.js +4 -2
  422. package/dist/expressions/structural-collection-adaptation.js.map +1 -1
  423. package/dist/expressions/structural-object-adaptation.d.ts.map +1 -1
  424. package/dist/expressions/structural-object-adaptation.js +58 -3
  425. package/dist/expressions/structural-object-adaptation.js.map +1 -1
  426. package/dist/expressions/structural-property-model.d.ts.map +1 -1
  427. package/dist/expressions/structural-property-model.js +7 -3
  428. package/dist/expressions/structural-property-model.js.map +1 -1
  429. package/dist/expressions/structural-type-shapes.d.ts.map +1 -1
  430. package/dist/expressions/structural-type-shapes.js +1 -1
  431. package/dist/expressions/structural-type-shapes.js.map +1 -1
  432. package/dist/expressions/structural-type-shapes.test.js +2 -1
  433. package/dist/expressions/structural-type-shapes.test.js.map +1 -1
  434. package/dist/expressions/type-assertion-emitters.d.ts.map +1 -1
  435. package/dist/expressions/type-assertion-emitters.js +231 -15
  436. package/dist/expressions/type-assertion-emitters.js.map +1 -1
  437. package/dist/fixture-regression-mirrors.test.js +43 -112
  438. package/dist/fixture-regression-mirrors.test.js.map +1 -1
  439. package/dist/generated-files.d.ts +0 -1
  440. package/dist/generated-files.d.ts.map +1 -1
  441. package/dist/generated-files.js +0 -229
  442. package/dist/generated-files.js.map +1 -1
  443. package/dist/generated-files.test.js +53 -1
  444. package/dist/generated-files.test.js.map +1 -1
  445. package/dist/golden-tests/runner.d.ts.map +1 -1
  446. package/dist/golden-tests/runner.js +1 -0
  447. package/dist/golden-tests/runner.js.map +1 -1
  448. package/dist/integration-cases/arrow-and-generics-a.test.js +52 -32
  449. package/dist/integration-cases/arrow-and-generics-a.test.js.map +1 -1
  450. package/dist/integration-cases/arrow-and-generics-b.test.js +17 -23
  451. package/dist/integration-cases/arrow-and-generics-b.test.js.map +1 -1
  452. package/dist/integration-cases/await-and-intrinsics.test.js +12 -10
  453. package/dist/integration-cases/await-and-intrinsics.test.js.map +1 -1
  454. package/dist/integration-cases/clr-iterable-overloads.test.js +58 -27
  455. package/dist/integration-cases/clr-iterable-overloads.test.js.map +1 -1
  456. package/dist/integration-cases/full-module-and-promises.test.js +21 -19
  457. package/dist/integration-cases/full-module-and-promises.test.js.map +1 -1
  458. package/dist/integration-cases/helpers.d.ts.map +1 -1
  459. package/dist/integration-cases/helpers.js +12 -33
  460. package/dist/integration-cases/helpers.js.map +1 -1
  461. package/dist/integration-cases/may14-downstream-contracts.test.d.ts +2 -0
  462. package/dist/integration-cases/may14-downstream-contracts.test.d.ts.map +1 -0
  463. package/dist/integration-cases/may14-downstream-contracts.test.js +522 -0
  464. package/dist/integration-cases/may14-downstream-contracts.test.js.map +1 -0
  465. package/dist/integration-cases/object-literals-and-channels.test.js +10 -4
  466. package/dist/integration-cases/object-literals-and-channels.test.js.map +1 -1
  467. package/dist/integration-cases/regression-coverage-a.test.js +36 -30
  468. package/dist/integration-cases/regression-coverage-a.test.js.map +1 -1
  469. package/dist/integration-cases/regression-coverage-b.test.js +95 -111
  470. package/dist/integration-cases/regression-coverage-b.test.js.map +1 -1
  471. package/dist/integration-cases/regression-coverage-c.test.js +499 -197
  472. package/dist/integration-cases/regression-coverage-c.test.js.map +1 -1
  473. package/dist/integration.test.d.ts +1 -0
  474. package/dist/integration.test.d.ts.map +1 -1
  475. package/dist/integration.test.js +1 -0
  476. package/dist/integration.test.js.map +1 -1
  477. package/dist/json-aot-generic.test.js +48 -200
  478. package/dist/json-aot-generic.test.js.map +1 -1
  479. package/dist/statements/block-emitters/block-and-return.d.ts +1 -1
  480. package/dist/statements/block-emitters/block-and-return.d.ts.map +1 -1
  481. package/dist/statements/block-emitters/block-and-return.js +9 -3
  482. package/dist/statements/block-emitters/block-and-return.js.map +1 -1
  483. package/dist/statements/classes/properties.d.ts.map +1 -1
  484. package/dist/statements/classes/properties.js.map +1 -1
  485. package/dist/statements/control/conditionals/architecture-invariants.test.d.ts +2 -0
  486. package/dist/statements/control/conditionals/architecture-invariants.test.d.ts.map +1 -0
  487. package/dist/statements/control/conditionals/architecture-invariants.test.js +19 -0
  488. package/dist/statements/control/conditionals/architecture-invariants.test.js.map +1 -0
  489. package/dist/statements/control/conditionals/branch-context.d.ts +4 -6
  490. package/dist/statements/control/conditionals/branch-context.d.ts.map +1 -1
  491. package/dist/statements/control/conditionals/branch-context.js +104 -31
  492. package/dist/statements/control/conditionals/branch-context.js.map +1 -1
  493. package/dist/statements/control/conditionals/guard-analysis.d.ts +2 -2
  494. package/dist/statements/control/conditionals/guard-analysis.d.ts.map +1 -1
  495. package/dist/statements/control/conditionals/guard-analysis.js +1 -1
  496. package/dist/statements/control/conditionals/guard-analysis.js.map +1 -1
  497. package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts +2 -1
  498. package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts.map +1 -1
  499. package/dist/statements/control/conditionals/guard-detectors-discriminant.js +83 -1
  500. package/dist/statements/control/conditionals/guard-detectors-discriminant.js.map +1 -1
  501. package/dist/statements/control/conditionals/guard-detectors-structural.d.ts +2 -7
  502. package/dist/statements/control/conditionals/guard-detectors-structural.d.ts.map +1 -1
  503. package/dist/statements/control/conditionals/guard-detectors-structural.js +47 -82
  504. package/dist/statements/control/conditionals/guard-detectors-structural.js.map +1 -1
  505. package/dist/statements/control/conditionals/guard-detectors.d.ts +2 -2
  506. package/dist/statements/control/conditionals/guard-detectors.d.ts.map +1 -1
  507. package/dist/statements/control/conditionals/guard-detectors.js +2 -2
  508. package/dist/statements/control/conditionals/guard-detectors.js.map +1 -1
  509. package/dist/statements/control/conditionals/guard-extraction.d.ts +5 -7
  510. package/dist/statements/control/conditionals/guard-extraction.d.ts.map +1 -1
  511. package/dist/statements/control/conditionals/guard-extraction.js +3 -158
  512. package/dist/statements/control/conditionals/guard-extraction.js.map +1 -1
  513. package/dist/statements/control/conditionals/guard-types.d.ts +16 -26
  514. package/dist/statements/control/conditionals/guard-types.d.ts.map +1 -1
  515. package/dist/statements/control/conditionals/guard-types.js +23 -1
  516. package/dist/statements/control/conditionals/guard-types.js.map +1 -1
  517. package/dist/statements/control/conditionals/if-emit-instanceof-guards.d.ts.map +1 -1
  518. package/dist/statements/control/conditionals/if-emit-instanceof-guards.js +5 -8
  519. package/dist/statements/control/conditionals/if-emit-instanceof-guards.js.map +1 -1
  520. package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts +2 -8
  521. package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts.map +1 -1
  522. package/dist/statements/control/conditionals/if-emit-predicate-guards.js +4 -84
  523. package/dist/statements/control/conditionals/if-emit-predicate-guards.js.map +1 -1
  524. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts +2 -0
  525. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts.map +1 -1
  526. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js +87 -3
  527. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js.map +1 -1
  528. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.d.ts.map +1 -1
  529. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js +254 -20
  530. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js.map +1 -1
  531. package/dist/statements/control/conditionals/if-emit-union-guards.d.ts +2 -2
  532. package/dist/statements/control/conditionals/if-emit-union-guards.d.ts.map +1 -1
  533. package/dist/statements/control/conditionals/if-emit-union-guards.js +2 -2
  534. package/dist/statements/control/conditionals/if-emit-union-guards.js.map +1 -1
  535. package/dist/statements/control/conditionals/if-emitter.d.ts.map +1 -1
  536. package/dist/statements/control/conditionals/if-emitter.js +36 -43
  537. package/dist/statements/control/conditionals/if-emitter.js.map +1 -1
  538. package/dist/statements/control/conditionals/ir-branch-narrowings.d.ts +5 -0
  539. package/dist/statements/control/conditionals/ir-branch-narrowings.d.ts.map +1 -0
  540. package/dist/statements/control/conditionals/ir-branch-narrowings.js +16 -0
  541. package/dist/statements/control/conditionals/ir-branch-narrowings.js.map +1 -0
  542. package/dist/statements/control/loops.d.ts +2 -9
  543. package/dist/statements/control/loops.d.ts.map +1 -1
  544. package/dist/statements/control/loops.js +56 -48
  545. package/dist/statements/control/loops.js.map +1 -1
  546. package/dist/statements/declarations/classes.d.ts.map +1 -1
  547. package/dist/statements/declarations/classes.js.map +1 -1
  548. package/dist/statements/declarations/interfaces.d.ts.map +1 -1
  549. package/dist/statements/declarations/interfaces.js.map +1 -1
  550. package/dist/statements/declarations/structs.test.js +5 -4
  551. package/dist/statements/declarations/structs.test.js.map +1 -1
  552. package/dist/statements/declarations/type-aliases.js.map +1 -1
  553. package/dist/statements/declarations/variables.d.ts.map +1 -1
  554. package/dist/statements/declarations/variables.js +7 -4
  555. package/dist/statements/declarations/variables.js.map +1 -1
  556. package/dist/statements/statement-cases/flow-and-void.test.js +3 -3
  557. package/dist/statements/statement-cases/flow-and-void.test.js.map +1 -1
  558. package/dist/statements/statement-cases/helpers.d.ts +3 -2
  559. package/dist/statements/statement-cases/helpers.d.ts.map +1 -1
  560. package/dist/statements/statement-cases/helpers.js +1 -1
  561. package/dist/statements/statement-cases/helpers.js.map +1 -1
  562. package/dist/statements/statement-cases/if-and-instanceof-guards.test.js +21 -21
  563. package/dist/statements/statement-cases/if-and-instanceof-guards.test.js.map +1 -1
  564. package/dist/statements/statement-cases/union-guards-basic.test.js +3 -80
  565. package/dist/statements/statement-cases/union-guards-basic.test.js.map +1 -1
  566. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js +0 -196
  567. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js.map +1 -1
  568. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js +15 -15
  569. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js.map +1 -1
  570. package/dist/statements/statement-cases/union-guards-remapped-a.test.js +7 -189
  571. package/dist/statements/statement-cases/union-guards-remapped-a.test.js.map +1 -1
  572. package/dist/statements/statement-cases/union-guards-remapped-b.test.js +7 -193
  573. package/dist/statements/statement-cases/union-guards-remapped-b.test.js.map +1 -1
  574. package/dist/test-ir-strict.d.ts +7 -0
  575. package/dist/test-ir-strict.d.ts.map +1 -0
  576. package/dist/test-ir-strict.js +9 -0
  577. package/dist/test-ir-strict.js.map +1 -0
  578. package/dist/type-assertion.test.js +5 -4
  579. package/dist/type-assertion.test.js.map +1 -1
  580. package/dist/types/emitter.d.ts.map +1 -1
  581. package/dist/types/emitter.js +7 -1
  582. package/dist/types/emitter.js.map +1 -1
  583. package/dist/types/intersections.d.ts +2 -2
  584. package/dist/types/intersections.d.ts.map +1 -1
  585. package/dist/types/intersections.js +26 -6
  586. package/dist/types/intersections.js.map +1 -1
  587. package/dist/types/parameters.d.ts.map +1 -1
  588. package/dist/types/parameters.js +30 -5
  589. package/dist/types/parameters.js.map +1 -1
  590. package/dist/types/reference-structural-signatures.d.ts.map +1 -1
  591. package/dist/types/reference-structural-signatures.js +3 -6
  592. package/dist/types/reference-structural-signatures.js.map +1 -1
  593. package/dist/types/references-cases/array-and-cross-module.test.js +2 -4
  594. package/dist/types/references-cases/array-and-cross-module.test.js.map +1 -1
  595. package/dist/types/references-cases/bindings-and-local.test.js +2 -4
  596. package/dist/types/references-cases/bindings-and-local.test.js.map +1 -1
  597. package/dist/types/references-cases/helpers.d.ts +3 -2
  598. package/dist/types/references-cases/helpers.d.ts.map +1 -1
  599. package/dist/types/references-cases/helpers.js +2 -1
  600. package/dist/types/references-cases/helpers.js.map +1 -1
  601. package/dist/types/references.d.ts.map +1 -1
  602. package/dist/types/references.js +21 -2
  603. package/dist/types/references.js.map +1 -1
  604. package/dist/types/unions-cases/basic-and-ordering.test.js +51 -0
  605. package/dist/types/unions-cases/basic-and-ordering.test.js.map +1 -1
  606. package/dist/types/unions.d.ts.map +1 -1
  607. package/dist/types/unions.js +17 -1
  608. package/dist/types/unions.js.map +1 -1
  609. package/dist/types.d.ts +3 -1
  610. package/dist/types.d.ts.map +1 -1
  611. package/dist/types.js +2 -1
  612. package/dist/types.js.map +1 -1
  613. package/package.json +2 -2
  614. package/dist/core/semantic/js-value-types.d.ts +0 -5
  615. package/dist/core/semantic/js-value-types.d.ts.map +0 -1
  616. package/dist/core/semantic/js-value-types.js +0 -42
  617. package/dist/core/semantic/js-value-types.js.map +0 -1
  618. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts +0 -2
  619. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts.map +0 -1
  620. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js +0 -98
  621. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js.map +0 -1
  622. package/dist/expressions/calls/call-dynamic-import.d.ts +0 -11
  623. package/dist/expressions/calls/call-dynamic-import.d.ts.map +0 -1
  624. package/dist/expressions/calls/call-dynamic-import.js +0 -148
  625. package/dist/expressions/calls/call-dynamic-import.js.map +0 -1
@@ -10,7 +10,11 @@ import { emitStatementAst } from "../../../statement-emitter.js";
10
10
  import { materializeDirectNarrowingAst } from "../../../core/semantic/materialized-narrowing.js";
11
11
  import { normalizeRuntimeStorageType } from "../../../core/semantic/storage-types.js";
12
12
  import { areIrTypesEquivalent } from "../../../core/semantic/type-equivalence.js";
13
+ import { willCarryAsRuntimeUnion } from "../../../core/semantic/union-semantics.js";
14
+ import { buildMappedUnionNarrowAst, buildUnionNarrowAst, } from "../../../core/semantic/narrowing-builders.js";
15
+ import { buildRuntimeUnionLayout } from "../../../core/semantic/runtime-unions.js";
13
16
  import { identifierType, nullLiteral, } from "../../../core/format/backend-ast/builders.js";
17
+ export { buildUnionNarrowAst };
14
18
  /** Standard emitExpressionAst adapter for emitBooleanConditionAst callback. */
15
19
  export const emitExprAstCb = (e, ctx) => emitExpressionAst(e, ctx);
16
20
  export const mergeBranchContextMeta = (preferred, alternate) => ({
@@ -29,12 +33,23 @@ const joinTypes = (left, right, context) => {
29
33
  if (!right) {
30
34
  return left;
31
35
  }
36
+ if (left.kind === "anyType" || right.kind === "anyType") {
37
+ return { kind: "anyType" };
38
+ }
39
+ if (left.kind === "unknownType" || right.kind === "unknownType") {
40
+ return { kind: "unknownType" };
41
+ }
32
42
  return areIrTypesEquivalent(left, right, context)
33
43
  ? left
34
44
  : normalizedUnionType([left, right]);
35
45
  };
36
46
  const getBindingEffectiveType = (binding) => binding?.type ?? binding?.sourceType;
37
47
  const getBindingSourceType = (binding) => binding?.sourceType ?? binding?.type;
48
+ const getRuntimeCarrierBindingSourceType = (binding, fallbackMembers, context) => {
49
+ const candidates = [binding?.sourceType, binding?.type].filter((candidate) => candidate !== undefined);
50
+ const runtimeCarrier = candidates.find((candidate) => willCarryAsRuntimeUnion(candidate, context));
51
+ return runtimeCarrier ?? buildSubsetUnionType(fallbackMembers);
52
+ };
38
53
  const getBindingCarrierAst = (binding) => {
39
54
  if (!binding) {
40
55
  return undefined;
@@ -61,7 +76,36 @@ const getBindingStorageType = (binding) => {
61
76
  return undefined;
62
77
  }
63
78
  };
64
- const sameCarrierAst = (left, right) => !left || !right || JSON.stringify(left) === JSON.stringify(right);
79
+ const carrierAstKey = (ast) => {
80
+ if (!ast) {
81
+ return undefined;
82
+ }
83
+ switch (ast.kind) {
84
+ case "identifierExpression":
85
+ return `id:${ast.identifier}`;
86
+ case "memberAccessExpression": {
87
+ const receiverKey = carrierAstKey(ast.expression);
88
+ return receiverKey
89
+ ? `member:${receiverKey}.${ast.memberName}`
90
+ : undefined;
91
+ }
92
+ case "parenthesizedExpression":
93
+ return carrierAstKey(ast.expression);
94
+ case "castExpression":
95
+ case "asExpression":
96
+ return carrierAstKey(ast.expression);
97
+ default:
98
+ return undefined;
99
+ }
100
+ };
101
+ const sameCarrierAst = (left, right) => {
102
+ if (!left || !right) {
103
+ return true;
104
+ }
105
+ const leftKey = carrierAstKey(left);
106
+ const rightKey = carrierAstKey(right);
107
+ return leftKey !== undefined && leftKey === rightKey;
108
+ };
65
109
  const mergeJoinedBinding = (baseBinding, preferredBinding, alternateBinding, context) => {
66
110
  const preferredType = getBindingEffectiveType(preferredBinding) ??
67
111
  getBindingEffectiveType(baseBinding);
@@ -133,37 +177,46 @@ export const resetBranchFlowState = (base, branchContext) => mergeBranchContextM
133
177
  export const toReceiverAst = (receiver) => typeof receiver === "string"
134
178
  ? { kind: "identifierExpression", identifier: receiver }
135
179
  : receiver;
136
- export const buildExprBinding = (exprAst, type, sourceType, storageExprAst, storageType, carrierExprAst) => ({
180
+ const mayProduceNullableValueAst = (ast) => {
181
+ switch (ast.kind) {
182
+ case "conditionalMemberAccessExpression":
183
+ case "conditionalElementAccessExpression":
184
+ return true;
185
+ case "conditionalExpression":
186
+ return (mayProduceNullableValueAst(ast.whenTrue) ||
187
+ mayProduceNullableValueAst(ast.whenFalse));
188
+ case "memberAccessExpression":
189
+ case "elementAccessExpression":
190
+ case "invocationExpression":
191
+ return mayProduceNullableValueAst(ast.expression);
192
+ case "parenthesizedExpression":
193
+ case "castExpression":
194
+ case "asExpression":
195
+ case "suppressNullableWarningExpression":
196
+ return mayProduceNullableValueAst(ast.expression);
197
+ default:
198
+ return false;
199
+ }
200
+ };
201
+ export const buildExprBinding = (exprAst, type, sourceType, storageExprAst, storageType, carrierExprAst, carrierType) => ({
137
202
  kind: "expr",
138
203
  exprAst,
139
204
  storageExprAst,
140
205
  carrierExprAst,
206
+ carrierType,
141
207
  storageType,
142
208
  type,
143
209
  sourceType,
144
210
  });
145
- export const buildProjectedExprBinding = (exprAst, type, sourceType, carrierExprAst, storageType) => buildExprBinding(exprAst, type, sourceType, exprAst, storageType ?? type, carrierExprAst);
146
- /**
147
- * Build AST for a union narrowing expression: (escapedOrig.AsN())
148
- */
149
- export const buildUnionNarrowAst = (receiver, memberN) => ({
150
- kind: "parenthesizedExpression",
151
- expression: {
152
- kind: "invocationExpression",
153
- expression: {
154
- kind: "memberAccessExpression",
155
- expression: toReceiverAst(receiver),
156
- memberName: `As${memberN}`,
157
- },
158
- arguments: [],
159
- },
160
- });
211
+ export const buildProjectedExprBinding = (exprAst, type, sourceType, carrierExprAst, storageType, carrierType) => buildExprBinding(exprAst, type, sourceType, exprAst, storageType ?? type, carrierExprAst, carrierType ?? sourceType);
161
212
  export const buildSubsetUnionType = (members) => {
162
213
  if (members.length === 0)
163
214
  return undefined;
164
215
  if (members.length === 1)
165
216
  return members[0];
166
- return normalizedUnionType(members);
217
+ return normalizedUnionType(members, {
218
+ runtimeUnionLayout: "carrierSlotOrder",
219
+ });
167
220
  };
168
221
  export const buildComplementNarrowedBinding = (receiver, runtimeUnionArity, candidateMemberNs, candidateMembers, selectedMemberN, sourceType, sourceMembers, sourceCandidateMemberNs) => {
169
222
  const remainingPairs = candidateMemberNs.flatMap((runtimeMemberN, index) => {
@@ -183,7 +236,7 @@ export const buildComplementNarrowedBinding = (receiver, runtimeUnionArity, cand
183
236
  const remaining = remainingPairs[0];
184
237
  if (!remaining)
185
238
  return undefined;
186
- const narrowedAst = buildUnionNarrowAst(receiver, remaining.runtimeMemberN);
239
+ const narrowedAst = buildMappedUnionNarrowAst(receiver, remaining.runtimeMemberN);
187
240
  return buildProjectedExprBinding(narrowedAst, remaining.memberType, sourceType, toReceiverAst(receiver));
188
241
  }
189
242
  return {
@@ -218,7 +271,7 @@ export const buildComplementNarrowedBindingForMembers = (receiver, runtimeUnionA
218
271
  const remaining = remainingPairs[0];
219
272
  if (!remaining)
220
273
  return undefined;
221
- const narrowedAst = buildUnionNarrowAst(receiver, remaining.runtimeMemberN);
274
+ const narrowedAst = buildMappedUnionNarrowAst(receiver, remaining.runtimeMemberN);
222
275
  return buildProjectedExprBinding(narrowedAst, remaining.memberType, sourceType, toReceiverAst(receiver));
223
276
  }
224
277
  return {
@@ -260,7 +313,7 @@ export const withoutNarrowedBinding = (context, bindingKey) => {
260
313
  };
261
314
  export const withComplementNarrowing = (originalName, receiver, runtimeUnionArity, candidateMemberNs, candidateMembers, selectedMemberN, baseContext) => {
262
315
  const existingBinding = baseContext.narrowedBindings?.get(originalName);
263
- const sourceType = existingBinding?.sourceType ?? buildSubsetUnionType(candidateMembers);
316
+ const sourceType = getRuntimeCarrierBindingSourceType(existingBinding, candidateMembers, baseContext);
264
317
  const sourceMembers = existingBinding?.kind === "runtimeSubset" &&
265
318
  existingBinding.sourceMembers &&
266
319
  existingBinding.sourceCandidateMemberNs &&
@@ -285,7 +338,7 @@ export const withComplementNarrowing = (originalName, receiver, runtimeUnionArit
285
338
  };
286
339
  export const withComplementNarrowingForMembers = (originalName, receiver, runtimeUnionArity, candidateMemberNs, candidateMembers, selectedMemberNs, baseContext) => {
287
340
  const existingBinding = baseContext.narrowedBindings?.get(originalName);
288
- const sourceType = existingBinding?.sourceType ?? buildSubsetUnionType(candidateMembers);
341
+ const sourceType = getRuntimeCarrierBindingSourceType(existingBinding, candidateMembers, baseContext);
289
342
  const sourceMembers = existingBinding?.kind === "runtimeSubset" &&
290
343
  existingBinding.sourceMembers &&
291
344
  existingBinding.sourceCandidateMemberNs &&
@@ -309,12 +362,20 @@ export const withComplementNarrowingForMembers = (originalName, receiver, runtim
309
362
  return { ...baseContext, narrowedBindings };
310
363
  };
311
364
  export const withRuntimeUnionMemberNarrowing = (originalName, receiver, memberN, memberType, sourceType, baseContext, storageType) => {
312
- const narrowedBindings = new Map(baseContext.narrowedBindings ?? []);
313
365
  const narrowedAst = buildUnionNarrowAst(receiver, memberN);
314
- narrowedBindings.set(originalName, buildExprBinding(narrowedAst, memberType, sourceType, narrowedAst, storageType ??
315
- normalizeRuntimeStorageType(memberType, baseContext) ??
316
- memberType, toReceiverAst(receiver)));
317
- return { ...baseContext, narrowedBindings };
366
+ const [sourceLayout, sourceLayoutContext] = sourceType && willCarryAsRuntimeUnion(sourceType, baseContext)
367
+ ? buildRuntimeUnionLayout(sourceType, baseContext, emitTypeAst)
368
+ : [undefined, baseContext];
369
+ const narrowedBindings = new Map(sourceLayoutContext.narrowedBindings ?? []);
370
+ const sourceMemberType = sourceLayout?.members[memberN - 1];
371
+ const narrowedType = sourceMemberType ?? memberType;
372
+ narrowedBindings.set(originalName, buildExprBinding(narrowedAst, narrowedType, sourceType, narrowedAst, sourceMemberType
373
+ ? (normalizeRuntimeStorageType(sourceMemberType, sourceLayoutContext) ??
374
+ sourceMemberType)
375
+ : (storageType ??
376
+ normalizeRuntimeStorageType(memberType, sourceLayoutContext) ??
377
+ memberType), toReceiverAst(receiver)));
378
+ return { ...sourceLayoutContext, narrowedBindings };
318
379
  };
319
380
  /** Wrap an array of statements in a single statement (block if >1). */
320
381
  export const wrapInBlock = (stmts) => {
@@ -460,10 +521,22 @@ export const buildIsNCondition = (receiver, memberN, negate, guardNullish = fals
460
521
  },
461
522
  arguments: [],
462
523
  };
524
+ const effectiveIsCall = mayProduceNullableValueAst(receiverAst)
525
+ ? {
526
+ kind: "binaryExpression",
527
+ operatorToken: "==",
528
+ left: isCall,
529
+ right: { kind: "booleanLiteralExpression", value: true },
530
+ }
531
+ : isCall;
463
532
  if (!guardNullish) {
464
533
  return negate
465
- ? { kind: "prefixUnaryExpression", operatorToken: "!", operand: isCall }
466
- : isCall;
534
+ ? {
535
+ kind: "prefixUnaryExpression",
536
+ operatorToken: "!",
537
+ operand: effectiveIsCall,
538
+ }
539
+ : effectiveIsCall;
467
540
  }
468
541
  const guardedIsCall = {
469
542
  kind: "binaryExpression",
@@ -484,7 +557,7 @@ export const buildIsNCondition = (receiver, memberN, negate, guardNullish = fals
484
557
  },
485
558
  right: nullLiteral(),
486
559
  },
487
- right: isCall,
560
+ right: effectiveIsCall,
488
561
  };
489
562
  return negate
490
563
  ? {
@@ -1 +1 @@
1
- {"version":3,"file":"branch-context.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/branch-context.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAIL,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAOvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,6BAA6B,EAAE,MAAM,kDAAkD,CAAC;AACjG,OAAO,EAAE,2BAA2B,EAAE,MAAM,yCAAyC,CAAC;AACtF,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EACL,cAAc,EACd,WAAW,GACZ,MAAM,8CAA8C,CAAC;AAOtD,+EAA+E;AAC/E,MAAM,CAAC,MAAM,aAAa,GAAkB,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CACrD,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAE5B,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,SAAyB,EACzB,SAAyB,EACT,EAAE,CAAC,CAAC;IACpB,GAAG,SAAS;IACZ,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,EAAE,SAAS,CAAC,SAAS,IAAI,CAAC,CAAC;IACvE,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3E,cAAc,EAAE,IAAI,GAAG,CAAC;QACtB,GAAG,CAAC,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC;QACnC,GAAG,CAAC,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC;KACpC,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,CAChB,IAAwB,EACxB,KAAyB,EACzB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC;QAC/C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,OAAoC,EAChB,EAAE,CAAC,OAAO,EAAE,IAAI,IAAI,OAAO,EAAE,UAAU,CAAC;AAE9D,MAAM,oBAAoB,GAAG,CAC3B,OAAoC,EAChB,EAAE,CAAC,OAAO,EAAE,UAAU,IAAI,OAAO,EAAE,IAAI,CAAC;AAE9D,MAAM,oBAAoB,GAAG,CAC3B,OAAoC,EACH,EAAE;IACnC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,CACL,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,OAAO,CACpE,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,cAAc,CAAC;QAChC,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,OAAoC,EAChB,EAAE;IACtB,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;QACnE,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;QAC5C,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAAqC,EACrC,KAAsC,EAC7B,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAEhF,MAAM,kBAAkB,GAAG,CACzB,WAAwC,EACxC,gBAA6C,EAC7C,gBAA6C,EAC7C,OAAuB,EACwB,EAAE;IACjD,MAAM,aAAa,GACjB,uBAAuB,CAAC,gBAAgB,CAAC;QACzC,uBAAuB,CAAC,WAAW,CAAC,CAAC;IACvC,MAAM,aAAa,GACjB,uBAAuB,CAAC,gBAAgB,CAAC;QACzC,uBAAuB,CAAC,WAAW,CAAC,CAAC;IACvC,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;QACrC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAG,SAAS,CAChC,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,EAC3E,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,EAC3E,OAAO,CACR,CAAC;IACF,IAAI,CAAC,UAAU,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACrC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,oBAAoB,CAAC,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;QAChE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,mBAAmB,GACvB,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,CAAC;IAC9E,MAAM,mBAAmB,GACvB,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,CAAC;IAC9E,IAAI,CAAC,cAAc,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,EAAE,CAAC;QAC9D,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,UAAU,GAAG,mBAAmB,IAAI,mBAAmB,CAAC;IAC9D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,iBAAiB,GACrB,SAAS,CACP,qBAAqB,CAAC,gBAAgB,CAAC;QACrC,qBAAqB,CAAC,WAAW,CAAC,EACpC,qBAAqB,CAAC,gBAAgB,CAAC;QACrC,qBAAqB,CAAC,WAAW,CAAC,EACpC,OAAO,CACR,IAAI,gBAAgB,CAAC;IACxB,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,6BAA6B,CAChE,UAAU,EACV,iBAAiB,EACjB,UAAU,EACV,OAAO,CACR,CAAC;IAEF,OAAO;QACL,gBAAgB,CACd,aAAa,EACb,UAAU,EACV,gBAAgB,EAChB,UAAU,EACV,iBAAiB,EACjB,UAAU,CACX;QACD,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAoB,EACpB,SAAyB,EACzB,SAAyB,EACzB,OAAuB,EAC6C,EAAE;IACtE,MAAM,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC;IAC3C,MAAM,iBAAiB,GAAG,SAAS,CAAC,gBAAgB,CAAC;IACrD,MAAM,iBAAiB,GAAG,SAAS,CAAC,gBAAgB,CAAC;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS;QAC3B,GAAG,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC/B,GAAG,CAAC,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACpC,GAAG,CAAC,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;KACrC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IAC3C,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,kBAAkB,CACnD,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,EACtB,iBAAiB,EAAE,GAAG,CAAC,GAAG,CAAC,EAC3B,iBAAiB,EAAE,GAAG,CAAC,GAAG,CAAC,EAC3B,cAAc,CACf,CAAC;QACF,cAAc,GAAG,WAAW,CAAC;QAC7B,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QAED,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAoB,EACpB,SAAyB,EACzB,SAAyB,EACT,EAAE;IAClB,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAChE,MAAM,CAAC,gBAAgB,EAAE,aAAa,CAAC,GAAG,oBAAoB,CAC5D,IAAI,EACJ,SAAS,EACT,SAAS,EACT,UAAU,CACX,CAAC;IAEF,OAAO;QACL,GAAG,aAAa;QAChB,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAoB,EACpB,aAA6B,EACb,EAAE,CAClB,sBAAsB,CACpB;IACE,GAAG,IAAI;IACP,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;CACxC,EACD,aAAa,CACd,CAAC;AAEJ,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,QAAsC,EACjB,EAAE,CACvB,OAAO,QAAQ,KAAK,QAAQ;IAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,QAAQ,EAAE;IACxD,CAAC,CAAC,QAAQ,CAAC;AAEf,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,OAA4B,EAC5B,IAAwB,EACxB,UAA8B,EAC9B,cAAoC,EACpC,WAAoB,EACpB,cAAoC,EACQ,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,MAAM;IACZ,OAAO;IACP,cAAc;IACd,cAAc;IACd,WAAW;IACX,IAAI;IACJ,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAA4B,EAC5B,IAAwB,EACxB,UAA8B,EAC9B,cAAmC,EACnC,WAAoB,EACwB,EAAE,CAC9C,gBAAgB,CACd,OAAO,EACP,IAAI,EACJ,UAAU,EACV,OAAO,EACP,WAAW,IAAI,IAAI,EACnB,cAAc,CACf,CAAC;AAEJ;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAAsC,EACtC,OAAe,EACM,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,yBAAyB;IAC/B,UAAU,EAAE;QACV,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;YACnC,UAAU,EAAE,KAAK,OAAO,EAAE;SAC3B;QACD,SAAS,EAAE,EAAE;KACd;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAA0B,EACN,EAAE;IACtB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5C,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,eAAuB,EACvB,UAAmB,EACnB,aAAiC,EACjC,uBAA2C,EACd,EAAE;IAC/B,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE;QACzE,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;YACvC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC;QAE5E,OAAO,yBAAyB,CAC9B,WAAW,EACX,SAAS,CAAC,UAAU,EACpB,UAAU,EACV,aAAa,CAAC,QAAQ,CAAC,CACxB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,eAAe,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;QAClE,iBAAiB;QACjB,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC;QACvC,aAAa,EAAE,CAAC,GAAG,CAAC,aAAa,IAAI,gBAAgB,CAAC,CAAC;QACvD,uBAAuB,EAAE;YACvB,GAAG,CAAC,uBAAuB,IAAI,iBAAiB,CAAC;SAClD;QACD,IAAI,EAAE,oBAAoB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzE,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wCAAwC,GAAG,CACtD,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,gBAAmC,EACnC,UAAmB,EACnB,aAAiC,EACjC,uBAA2C,EACd,EAAE;IAC/B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC9C,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE;QACzE,IAAI,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YACpC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC;QAE5E,OAAO,yBAAyB,CAC9B,WAAW,EACX,SAAS,CAAC,UAAU,EACpB,UAAU,EACV,aAAa,CAAC,QAAQ,CAAC,CACxB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,eAAe,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;QAClE,iBAAiB;QACjB,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC;QACvC,aAAa,EAAE,CAAC,GAAG,CAAC,aAAa,IAAI,gBAAgB,CAAC,CAAC;QACvD,uBAAuB,EAAE;YACvB,GAAG,CAAC,uBAAuB,IAAI,iBAAiB,CAAC;SAClD;QACD,IAAI,EAAE,oBAAoB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzE,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,YAAoB,EACpB,OAA4B,EAC5B,YAAoB,EACpB,WAA2B,EAC3B,YAA4B,EAC5B,WAAoB,EACJ,EAAE;IAClB,MAAM,CAAC,eAAe,EAAE,eAAe,CAAC,GAAG,WAAW,CACpD,YAAY,EACZ,YAAY,CACb,CAAC;IACF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACxE,mBAAmB,CAAC,GAAG,CACrB,YAAY,EACZ,gBAAgB,CACd;QACE,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,eAAe;QACrB,UAAU,EAAE,OAAO;KACpB,EACD,YAAY,EACZ,SAAS,EACT,OAAO,EACP,WAAW,EACX,OAAO,CACR,CACF,CAAC;IAEF,OAAO;QACL,GAAG,eAAe;QAClB,gBAAgB,EAAE,mBAAmB;KACtC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAAuB,EACvB,UAAkB,EACF,EAAE;IAClB,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3D,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAEpC,OAAO;QACL,GAAG,OAAO;QACV,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,YAAoB,EACpB,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,eAAuB,EACvB,WAA2B,EACX,EAAE;IAClB,MAAM,eAAe,GAAG,WAAW,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IACxE,MAAM,UAAU,GACd,eAAe,EAAE,UAAU,IAAI,oBAAoB,CAAC,gBAAgB,CAAC,CAAC;IACxE,MAAM,aAAa,GACjB,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,aAAa;QAC/B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,uBAAuB,GAC3B,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,uBAAuB;QACzC,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,OAAO,GAAG,8BAA8B,CAC5C,QAAQ,EACR,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,UAAU,EACV,aAAa,EACb,uBAAuB,CACxB,CAAC;IAEF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACrE,gBAAgB,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC5C,OAAO,EAAE,GAAG,WAAW,EAAE,gBAAgB,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,YAAoB,EACpB,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,gBAAmC,EACnC,WAA2B,EACX,EAAE;IAClB,MAAM,eAAe,GAAG,WAAW,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IACxE,MAAM,UAAU,GACd,eAAe,EAAE,UAAU,IAAI,oBAAoB,CAAC,gBAAgB,CAAC,CAAC;IACxE,MAAM,aAAa,GACjB,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,aAAa;QAC/B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,uBAAuB,GAC3B,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,uBAAuB;QACzC,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,OAAO,GAAG,wCAAwC,CACtD,QAAQ,EACR,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,gBAAgB,EAChB,UAAU,EACV,aAAa,EACb,uBAAuB,CACxB,CAAC;IAEF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACrE,gBAAgB,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC5C,OAAO,EAAE,GAAG,WAAW,EAAE,gBAAgB,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,YAAoB,EACpB,QAAsC,EACtC,OAAe,EACf,UAAkB,EAClB,UAA8B,EAC9B,WAA2B,EAC3B,WAAoB,EACJ,EAAE;IAClB,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACrE,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3D,gBAAgB,CAAC,GAAG,CAClB,YAAY,EACZ,gBAAgB,CACd,WAAW,EACX,UAAU,EACV,UAAU,EACV,WAAW,EACX,WAAW;QACT,2BAA2B,CAAC,UAAU,EAAE,WAAW,CAAC;QACpD,UAAU,EACZ,aAAa,CAAC,QAAQ,CAAC,CACxB,CACF,CAAC;IACF,OAAO,EAAE,GAAG,WAAW,EAAE,gBAAgB,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF,uEAAuE;AACvE,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAoC,EAChB,EAAE;IACtB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACpD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,UAAkB,EAAU,EAAE;IAC1D,IAAI,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,OAAO,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;AACpE,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,eAAwD,EACxD,eAAwD,EACnC,EAAE;IACvB,IAAI,CAAC,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,GAAG,EAAU,CAAC;IAC3B,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,IAAI,eAAe,EAAE,CAAC;QAC1D,IAAI,eAAe,EAAE,GAAG,CAAC,YAAY,CAAC,KAAK,WAAW,EAAE,CAAC;YACvD,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,YAA4B,EAC5B,YAA4B,EACsB,EAAE;IACpD,MAAM,aAAa,GAAG,YAAY,CAAC,gBAAgB,CAAC;IACpD,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,wBAAwB,CAC5C,YAAY,CAAC,YAAY,EACzB,YAAY,CAAC,YAAY,CAC1B,CAAC;IACF,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;IACnD,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,aAAa,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,MAAM,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,YAA4B,EAC5B,YAA4B,EACZ,EAAE,CAAC,CAAC;IACpB,GAAG,YAAY;IACf,YAAY,EAAE,YAAY,CAAC,YAAY;IACvC,gBAAgB,EAAE,YAAY,CAAC,gBAAgB;IAC/C,kBAAkB,EAAE,YAAY,CAAC,kBAAkB;IACnD,eAAe,EAAE,YAAY,CAAC,eAAe;IAC7C,gBAAgB,EAAE,6BAA6B,CAAC,YAAY,EAAE,YAAY,CAAC;CAC5E,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,QAAqB,EACrB,OAAuB,EAC0B,EAAE;IACnD,MAAM,aAAa,GAAmB;QACpC,GAAG,OAAO;QACV,YAAY,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;QACjD,gBAAgB,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC;QACzD,kBAAkB,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC;QAC7D,eAAe,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,eAAe,IAAI,EAAE,CAAC;KACxD,CAAC;IAEF,IAAI,iBAAgD,CAAC;IACrD,IAAI,YAA4B,CAAC;IAEjC,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACvC,MAAM,mBAAmB,GAAyB,EAAE,CAAC;QACrD,IAAI,cAAc,GAAG,aAAa,CAAC;QACnC,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YAC5C,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC,GAAG,gBAAgB,CACpD,SAAS,EACT,cAAc,CACf,CAAC;YACF,mBAAmB,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;YAC5C,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;QACD,iBAAiB,GAAG,mBAAmB,CAAC;QACxC,YAAY,GAAG,cAAc,CAAC;IAChC,CAAC;SAAM,CAAC;QACN,CAAC,iBAAiB,EAAE,YAAY,CAAC,GAAG,gBAAgB,CAClD,QAAQ,EACR,aAAa,CACd,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,iBAAiB,EAAE,yBAAyB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,aAA4C,EAC5C,QAAqB,EACrB,OAAuB,EACoB,EAAE;IAC7C,MAAM,CAAC,cAAc,EAAE,YAAY,CAAC,GAAG,4BAA4B,CACjE,QAAQ,EACR,OAAO,CACR,CAAC;IACF,OAAO;QACL;YACE,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,CAAC,GAAG,aAAa,EAAE,GAAG,cAAc,CAAC;SAClD;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,OAAe,EACf,QAAsC,EACtC,OAAe,EACf,eAA+B,EACX,EAAE,CAAC,CAAC;IACxB,IAAI,EAAE,2BAA2B;IACjC,SAAS,EAAE,EAAE;IACb,IAAI,EAAE,eAAe,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;IAC5C,WAAW,EAAE;QACX;YACE,IAAI,EAAE,OAAO;YACb,WAAW,EACT,eAAe,KAAK,SAAS;gBAC3B,CAAC,CAAC;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;wBACnC,UAAU,EAAE,KAAK,OAAO,EAAE;qBAC3B;oBACD,SAAS,EAAE,EAAE;iBACd;gBACH,CAAC,CAAC;oBACE,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,eAAe;oBACrB,UAAU,EAAE;wBACV,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE;4BACV,IAAI,EAAE,wBAAwB;4BAC9B,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;4BACnC,UAAU,EAAE,KAAK,OAAO,EAAE;yBAC3B;wBACD,SAAS,EAAE,EAAE;qBACd;iBACF;SACR;KACF;CACF,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAsC,EACtC,OAAe,EACf,MAAe,EACf,YAAY,GAAG,KAAK,EACC,EAAE;IACvB,MAAM,WAAW,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAwB;QAClC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,WAAW;YACvB,UAAU,EAAE,KAAK,OAAO,EAAE;SAC3B;QACD,SAAS,EAAE,EAAE;KACd,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,MAAM;YACX,CAAC,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,aAAa,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE;YACxE,CAAC,CAAC,MAAM,CAAC;IACb,CAAC;IAED,MAAM,aAAa,GAAwB;QACzC,IAAI,EAAE,kBAAkB;QACxB,aAAa,EAAE,IAAI;QACnB,IAAI,EAAE;YACJ,IAAI,EAAE,kBAAkB;YACxB,aAAa,EAAE,IAAI;YACnB,IAAI,EAAE;gBACJ,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE;oBACV,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,cAAc,CAAC,uBAAuB,CAAC;oBAC7C,UAAU,EAAE;wBACV,IAAI,EAAE,yBAAyB;wBAC/B,UAAU,EAAE,WAAW;qBACxB;iBACF;aACF;YACD,KAAK,EAAE,WAAW,EAAE;SACrB;QACD,KAAK,EAAE,MAAM;KACd,CAAC;IACF,OAAO,MAAM;QACX,CAAC,CAAC;YACE,IAAI,EAAE,uBAAuB;YAC7B,aAAa,EAAE,GAAG;YAClB,OAAO,EAAE;gBACP,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE,aAAa;aAC1B;SACF;QACH,CAAC,CAAC,aAAa,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAAsC,EACtC,QAA2B,EAC3B,MAAe,EACf,YAAY,GAAG,KAAK,EACC,EAAE;IACvB,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAC1C,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,CAAC,CAC1D,CAAC;IACF,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAChC,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CACrB,OAAO;QACL,CAAC,CAAC;YACE,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,SAAS;aACjB;SACF;QACH,CAAC,CAAC,SAAS,EACf,SAAS,CACV,CAAC;IACF,MAAM,IAAI,GAAG,QAAQ,IAAI,iBAAiB,CAAC,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7E,OAAO,MAAM;QACX,CAAC,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,aAAa,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;QACtE,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAAsC,EACtC,UAAyB,EACzB,aAAqB,EACA,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,cAAc;IACpB,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;IACnC,OAAO,EAAE;QACP,IAAI,EAAE,oBAAoB;QAC1B,IAAI,EAAE,UAAU;QAChB,WAAW,EAAE,aAAa;KAC3B;CACF,CAAC,CAAC"}
1
+ {"version":3,"file":"branch-context.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/branch-context.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAIL,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAOvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,6BAA6B,EAAE,MAAM,kDAAkD,CAAC;AACjG,OAAO,EAAE,2BAA2B,EAAE,MAAM,yCAAyC,CAAC;AACtF,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,uBAAuB,EAAE,MAAM,2CAA2C,CAAC;AACpF,OAAO,EACL,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,0CAA0C,CAAC;AACnF,OAAO,EACL,cAAc,EACd,WAAW,GACZ,MAAM,8CAA8C,CAAC;AAOtD,OAAO,EAAE,mBAAmB,EAAE,CAAC;AAE/B,+EAA+E;AAC/E,MAAM,CAAC,MAAM,aAAa,GAAkB,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CACrD,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAE5B,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,SAAyB,EACzB,SAAyB,EACT,EAAE,CAAC,CAAC;IACpB,GAAG,SAAS;IACZ,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,EAAE,SAAS,CAAC,SAAS,IAAI,CAAC,CAAC;IACvE,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3E,cAAc,EAAE,IAAI,GAAG,CAAC;QACtB,GAAG,CAAC,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC;QACnC,GAAG,CAAC,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC;KACpC,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,CAChB,IAAwB,EACxB,KAAyB,EACzB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACxD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC7B,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACjC,CAAC;IACD,OAAO,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC;QAC/C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,OAAoC,EAChB,EAAE,CAAC,OAAO,EAAE,IAAI,IAAI,OAAO,EAAE,UAAU,CAAC;AAE9D,MAAM,oBAAoB,GAAG,CAC3B,OAAoC,EAChB,EAAE,CAAC,OAAO,EAAE,UAAU,IAAI,OAAO,EAAE,IAAI,CAAC;AAE9D,MAAM,kCAAkC,GAAG,CACzC,OAAoC,EACpC,eAAkC,EAClC,OAAuB,EACH,EAAE;IACtB,MAAM,UAAU,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,MAAM,CAC5D,CAAC,SAAS,EAAuB,EAAE,CAAC,SAAS,KAAK,SAAS,CAC5D,CAAC;IACF,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACnD,uBAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,CAC5C,CAAC;IACF,OAAO,cAAc,IAAI,oBAAoB,CAAC,eAAe,CAAC,CAAC;AACjE,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,OAAoC,EACH,EAAE;IACnC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,CACL,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,OAAO,CACpE,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,cAAc,CAAC;QAChC,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,OAAoC,EAChB,EAAE;IACtB,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;QACnE,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;QAC5C,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,GAAoC,EAChB,EAAE;IACtB,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,sBAAsB;YACzB,OAAO,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC;QAChC,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC9B,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAClD,OAAO,WAAW;gBAChB,CAAC,CAAC,UAAU,WAAW,IAAI,GAAG,CAAC,UAAU,EAAE;gBAC3C,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QACD,KAAK,yBAAyB;YAC5B,OAAO,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACvC,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACvC;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAAqC,EACrC,KAAsC,EAC7B,EAAE;IACX,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACtC,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,QAAQ,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,WAAwC,EACxC,gBAA6C,EAC7C,gBAA6C,EAC7C,OAAuB,EACwB,EAAE;IACjD,MAAM,aAAa,GACjB,uBAAuB,CAAC,gBAAgB,CAAC;QACzC,uBAAuB,CAAC,WAAW,CAAC,CAAC;IACvC,MAAM,aAAa,GACjB,uBAAuB,CAAC,gBAAgB,CAAC;QACzC,uBAAuB,CAAC,WAAW,CAAC,CAAC;IACvC,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;QACrC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAG,SAAS,CAChC,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,EAC3E,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,EAC3E,OAAO,CACR,CAAC;IACF,IAAI,CAAC,UAAU,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACrC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,oBAAoB,CAAC,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;QAChE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,mBAAmB,GACvB,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,CAAC;IAC9E,MAAM,mBAAmB,GACvB,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,CAAC;IAC9E,IAAI,CAAC,cAAc,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,EAAE,CAAC;QAC9D,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,UAAU,GAAG,mBAAmB,IAAI,mBAAmB,CAAC;IAC9D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,iBAAiB,GACrB,SAAS,CACP,qBAAqB,CAAC,gBAAgB,CAAC;QACrC,qBAAqB,CAAC,WAAW,CAAC,EACpC,qBAAqB,CAAC,gBAAgB,CAAC;QACrC,qBAAqB,CAAC,WAAW,CAAC,EACpC,OAAO,CACR,IAAI,gBAAgB,CAAC;IACxB,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,6BAA6B,CAChE,UAAU,EACV,iBAAiB,EACjB,UAAU,EACV,OAAO,CACR,CAAC;IAEF,OAAO;QACL,gBAAgB,CACd,aAAa,EACb,UAAU,EACV,gBAAgB,EAChB,UAAU,EACV,iBAAiB,EACjB,UAAU,CACX;QACD,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAoB,EACpB,SAAyB,EACzB,SAAyB,EACzB,OAAuB,EAC6C,EAAE;IACtE,MAAM,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC;IAC3C,MAAM,iBAAiB,GAAG,SAAS,CAAC,gBAAgB,CAAC;IACrD,MAAM,iBAAiB,GAAG,SAAS,CAAC,gBAAgB,CAAC;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS;QAC3B,GAAG,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC/B,GAAG,CAAC,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACpC,GAAG,CAAC,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;KACrC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IAC3C,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,kBAAkB,CACnD,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,EACtB,iBAAiB,EAAE,GAAG,CAAC,GAAG,CAAC,EAC3B,iBAAiB,EAAE,GAAG,CAAC,GAAG,CAAC,EAC3B,cAAc,CACf,CAAC;QACF,cAAc,GAAG,WAAW,CAAC;QAC7B,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QAED,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAoB,EACpB,SAAyB,EACzB,SAAyB,EACT,EAAE;IAClB,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAChE,MAAM,CAAC,gBAAgB,EAAE,aAAa,CAAC,GAAG,oBAAoB,CAC5D,IAAI,EACJ,SAAS,EACT,SAAS,EACT,UAAU,CACX,CAAC;IAEF,OAAO;QACL,GAAG,aAAa;QAChB,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAoB,EACpB,aAA6B,EACb,EAAE,CAClB,sBAAsB,CACpB;IACE,GAAG,IAAI;IACP,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;CACxC,EACD,aAAa,CACd,CAAC;AAEJ,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,QAAsC,EACjB,EAAE,CACvB,OAAO,QAAQ,KAAK,QAAQ;IAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,QAAQ,EAAE;IACxD,CAAC,CAAC,QAAQ,CAAC;AAEf,MAAM,0BAA0B,GAAG,CAAC,GAAwB,EAAW,EAAE;IACvE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,mCAAmC,CAAC;QACzC,KAAK,oCAAoC;YACvC,OAAO,IAAI,CAAC;QACd,KAAK,uBAAuB;YAC1B,OAAO,CACL,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC;gBACxC,0BAA0B,CAAC,GAAG,CAAC,SAAS,CAAC,CAC1C,CAAC;QACJ,KAAK,wBAAwB,CAAC;QAC9B,KAAK,yBAAyB,CAAC;QAC/B,KAAK,sBAAsB;YACzB,OAAO,0BAA0B,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACpD,KAAK,yBAAyB,CAAC;QAC/B,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,mCAAmC;YACtC,OAAO,0BAA0B,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACpD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,OAA4B,EAC5B,IAAwB,EACxB,UAA8B,EAC9B,cAAoC,EACpC,WAAoB,EACpB,cAAoC,EACpC,WAAoB,EACwB,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,MAAM;IACZ,OAAO;IACP,cAAc;IACd,cAAc;IACd,WAAW;IACX,WAAW;IACX,IAAI;IACJ,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAA4B,EAC5B,IAAwB,EACxB,UAA8B,EAC9B,cAAmC,EACnC,WAAoB,EACpB,WAAoB,EACwB,EAAE,CAC9C,gBAAgB,CACd,OAAO,EACP,IAAI,EACJ,UAAU,EACV,OAAO,EACP,WAAW,IAAI,IAAI,EACnB,cAAc,EACd,WAAW,IAAI,UAAU,CAC1B,CAAC;AAEJ,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAA0B,EACN,EAAE;IACtB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5C,OAAO,mBAAmB,CAAC,OAAO,EAAE;QAClC,kBAAkB,EAAE,kBAAkB;KACvC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,eAAuB,EACvB,UAAmB,EACnB,aAAiC,EACjC,uBAA2C,EACd,EAAE;IAC/B,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE;QACzE,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;YACvC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,WAAW,GAAG,yBAAyB,CAC3C,QAAQ,EACR,SAAS,CAAC,cAAc,CACzB,CAAC;QAEF,OAAO,yBAAyB,CAC9B,WAAW,EACX,SAAS,CAAC,UAAU,EACpB,UAAU,EACV,aAAa,CAAC,QAAQ,CAAC,CACxB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,eAAe,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;QAClE,iBAAiB;QACjB,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC;QACvC,aAAa,EAAE,CAAC,GAAG,CAAC,aAAa,IAAI,gBAAgB,CAAC,CAAC;QACvD,uBAAuB,EAAE;YACvB,GAAG,CAAC,uBAAuB,IAAI,iBAAiB,CAAC;SAClD;QACD,IAAI,EAAE,oBAAoB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzE,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wCAAwC,GAAG,CACtD,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,gBAAmC,EACnC,UAAmB,EACnB,aAAiC,EACjC,uBAA2C,EACd,EAAE;IAC/B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC9C,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE;QACzE,IAAI,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YACpC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,WAAW,GAAG,yBAAyB,CAC3C,QAAQ,EACR,SAAS,CAAC,cAAc,CACzB,CAAC;QAEF,OAAO,yBAAyB,CAC9B,WAAW,EACX,SAAS,CAAC,UAAU,EACpB,UAAU,EACV,aAAa,CAAC,QAAQ,CAAC,CACxB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,eAAe,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;QAClE,iBAAiB;QACjB,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC;QACvC,aAAa,EAAE,CAAC,GAAG,CAAC,aAAa,IAAI,gBAAgB,CAAC,CAAC;QACvD,uBAAuB,EAAE;YACvB,GAAG,CAAC,uBAAuB,IAAI,iBAAiB,CAAC;SAClD;QACD,IAAI,EAAE,oBAAoB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzE,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,YAAoB,EACpB,OAA4B,EAC5B,YAAoB,EACpB,WAA2B,EAC3B,YAA4B,EAC5B,WAAoB,EACJ,EAAE;IAClB,MAAM,CAAC,eAAe,EAAE,eAAe,CAAC,GAAG,WAAW,CACpD,YAAY,EACZ,YAAY,CACb,CAAC;IACF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACxE,mBAAmB,CAAC,GAAG,CACrB,YAAY,EACZ,gBAAgB,CACd;QACE,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,eAAe;QACrB,UAAU,EAAE,OAAO;KACpB,EACD,YAAY,EACZ,SAAS,EACT,OAAO,EACP,WAAW,EACX,OAAO,CACR,CACF,CAAC;IAEF,OAAO;QACL,GAAG,eAAe;QAClB,gBAAgB,EAAE,mBAAmB;KACtC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAAuB,EACvB,UAAkB,EACF,EAAE;IAClB,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3D,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAEpC,OAAO;QACL,GAAG,OAAO;QACV,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,YAAoB,EACpB,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,eAAuB,EACvB,WAA2B,EACX,EAAE;IAClB,MAAM,eAAe,GAAG,WAAW,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,kCAAkC,CACnD,eAAe,EACf,gBAAgB,EAChB,WAAW,CACZ,CAAC;IACF,MAAM,aAAa,GACjB,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,aAAa;QAC/B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,uBAAuB,GAC3B,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,uBAAuB;QACzC,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,OAAO,GAAG,8BAA8B,CAC5C,QAAQ,EACR,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,UAAU,EACV,aAAa,EACb,uBAAuB,CACxB,CAAC;IAEF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACrE,gBAAgB,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC5C,OAAO,EAAE,GAAG,WAAW,EAAE,gBAAgB,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,YAAoB,EACpB,QAAsC,EACtC,iBAAyB,EACzB,iBAAoC,EACpC,gBAAmC,EACnC,gBAAmC,EACnC,WAA2B,EACX,EAAE;IAClB,MAAM,eAAe,GAAG,WAAW,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,kCAAkC,CACnD,eAAe,EACf,gBAAgB,EAChB,WAAW,CACZ,CAAC;IACF,MAAM,aAAa,GACjB,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,aAAa;QAC/B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,uBAAuB,GAC3B,eAAe,EAAE,IAAI,KAAK,eAAe;QACzC,eAAe,CAAC,aAAa;QAC7B,eAAe,CAAC,uBAAuB;QACvC,eAAe,CAAC,aAAa,CAAC,MAAM;YAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM;QAC9C,CAAC,CAAC,eAAe,CAAC,uBAAuB;QACzC,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,OAAO,GAAG,wCAAwC,CACtD,QAAQ,EACR,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,gBAAgB,EAChB,UAAU,EACV,aAAa,EACb,uBAAuB,CACxB,CAAC;IAEF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACrE,gBAAgB,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC5C,OAAO,EAAE,GAAG,WAAW,EAAE,gBAAgB,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,YAAoB,EACpB,QAAsC,EACtC,OAAe,EACf,UAAkB,EAClB,UAA8B,EAC9B,WAA2B,EAC3B,WAAoB,EACJ,EAAE;IAClB,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GACvC,UAAU,IAAI,uBAAuB,CAAC,UAAU,EAAE,WAAW,CAAC;QAC5D,CAAC,CAAC,uBAAuB,CAAC,UAAU,EAAE,WAAW,EAAE,WAAW,CAAC;QAC/D,CAAC,CAAC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC/B,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAC7E,MAAM,gBAAgB,GAAG,YAAY,EAAE,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,gBAAgB,IAAI,UAAU,CAAC;IACpD,gBAAgB,CAAC,GAAG,CAClB,YAAY,EACZ,gBAAgB,CACd,WAAW,EACX,YAAY,EACZ,UAAU,EACV,WAAW,EACX,gBAAgB;QACd,CAAC,CAAC,CAAC,2BAA2B,CAAC,gBAAgB,EAAE,mBAAmB,CAAC;YACjE,gBAAgB,CAAC;QACrB,CAAC,CAAC,CAAC,WAAW;YACV,2BAA2B,CAAC,UAAU,EAAE,mBAAmB,CAAC;YAC5D,UAAU,CAAC,EACjB,aAAa,CAAC,QAAQ,CAAC,CACxB,CACF,CAAC;IACF,OAAO,EAAE,GAAG,mBAAmB,EAAE,gBAAgB,EAAE,CAAC;AACtD,CAAC,CAAC;AAEF,uEAAuE;AACvE,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAoC,EAChB,EAAE;IACtB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACpD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,UAAkB,EAAU,EAAE;IAC1D,IAAI,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,OAAO,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;AACpE,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,eAAwD,EACxD,eAAwD,EACnC,EAAE;IACvB,IAAI,CAAC,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,GAAG,EAAU,CAAC;IAC3B,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,IAAI,eAAe,EAAE,CAAC;QAC1D,IAAI,eAAe,EAAE,GAAG,CAAC,YAAY,CAAC,KAAK,WAAW,EAAE,CAAC;YACvD,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,YAA4B,EAC5B,YAA4B,EACsB,EAAE;IACpD,MAAM,aAAa,GAAG,YAAY,CAAC,gBAAgB,CAAC;IACpD,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,wBAAwB,CAC5C,YAAY,CAAC,YAAY,EACzB,YAAY,CAAC,YAAY,CAC1B,CAAC;IACF,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;IACnD,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,aAAa,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,MAAM,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,YAA4B,EAC5B,YAA4B,EACZ,EAAE,CAAC,CAAC;IACpB,GAAG,YAAY;IACf,YAAY,EAAE,YAAY,CAAC,YAAY;IACvC,gBAAgB,EAAE,YAAY,CAAC,gBAAgB;IAC/C,kBAAkB,EAAE,YAAY,CAAC,kBAAkB;IACnD,eAAe,EAAE,YAAY,CAAC,eAAe;IAC7C,gBAAgB,EAAE,6BAA6B,CAAC,YAAY,EAAE,YAAY,CAAC;CAC5E,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,QAAqB,EACrB,OAAuB,EAC0B,EAAE;IACnD,MAAM,aAAa,GAAmB;QACpC,GAAG,OAAO;QACV,YAAY,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;QACjD,gBAAgB,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC;QACzD,kBAAkB,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC;QAC7D,eAAe,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,eAAe,IAAI,EAAE,CAAC;KACxD,CAAC;IAEF,IAAI,iBAAgD,CAAC;IACrD,IAAI,YAA4B,CAAC;IAEjC,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACvC,MAAM,mBAAmB,GAAyB,EAAE,CAAC;QACrD,IAAI,cAAc,GAAG,aAAa,CAAC;QACnC,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YAC5C,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC,GAAG,gBAAgB,CACpD,SAAS,EACT,cAAc,CACf,CAAC;YACF,mBAAmB,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;YAC5C,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;QACD,iBAAiB,GAAG,mBAAmB,CAAC;QACxC,YAAY,GAAG,cAAc,CAAC;IAChC,CAAC;SAAM,CAAC;QACN,CAAC,iBAAiB,EAAE,YAAY,CAAC,GAAG,gBAAgB,CAClD,QAAQ,EACR,aAAa,CACd,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,iBAAiB,EAAE,yBAAyB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,aAA4C,EAC5C,QAAqB,EACrB,OAAuB,EACoB,EAAE;IAC7C,MAAM,CAAC,cAAc,EAAE,YAAY,CAAC,GAAG,4BAA4B,CACjE,QAAQ,EACR,OAAO,CACR,CAAC;IACF,OAAO;QACL;YACE,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,CAAC,GAAG,aAAa,EAAE,GAAG,cAAc,CAAC;SAClD;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,OAAe,EACf,QAAsC,EACtC,OAAe,EACf,eAA+B,EACX,EAAE,CAAC,CAAC;IACxB,IAAI,EAAE,2BAA2B;IACjC,SAAS,EAAE,EAAE;IACb,IAAI,EAAE,eAAe,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;IAC5C,WAAW,EAAE;QACX;YACE,IAAI,EAAE,OAAO;YACb,WAAW,EACT,eAAe,KAAK,SAAS;gBAC3B,CAAC,CAAC;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;wBACnC,UAAU,EAAE,KAAK,OAAO,EAAE;qBAC3B;oBACD,SAAS,EAAE,EAAE;iBACd;gBACH,CAAC,CAAC;oBACE,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,eAAe;oBACrB,UAAU,EAAE;wBACV,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE;4BACV,IAAI,EAAE,wBAAwB;4BAC9B,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;4BACnC,UAAU,EAAE,KAAK,OAAO,EAAE;yBAC3B;wBACD,SAAS,EAAE,EAAE;qBACd;iBACF;SACR;KACF;CACF,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAsC,EACtC,OAAe,EACf,MAAe,EACf,YAAY,GAAG,KAAK,EACC,EAAE;IACvB,MAAM,WAAW,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAwB;QAClC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,WAAW;YACvB,UAAU,EAAE,KAAK,OAAO,EAAE;SAC3B;QACD,SAAS,EAAE,EAAE;KACd,CAAC;IACF,MAAM,eAAe,GAAwB,0BAA0B,CACrE,WAAW,CACZ;QACC,CAAC,CAAC;YACE,IAAI,EAAE,kBAAkB;YACxB,aAAa,EAAE,IAAI;YACnB,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,0BAA0B,EAAE,KAAK,EAAE,IAAI,EAAE;SACzD;QACH,CAAC,CAAC,MAAM,CAAC;IACX,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,MAAM;YACX,CAAC,CAAC;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,aAAa,EAAE,GAAG;gBAClB,OAAO,EAAE,eAAe;aACzB;YACH,CAAC,CAAC,eAAe,CAAC;IACtB,CAAC;IAED,MAAM,aAAa,GAAwB;QACzC,IAAI,EAAE,kBAAkB;QACxB,aAAa,EAAE,IAAI;QACnB,IAAI,EAAE;YACJ,IAAI,EAAE,kBAAkB;YACxB,aAAa,EAAE,IAAI;YACnB,IAAI,EAAE;gBACJ,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE;oBACV,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,cAAc,CAAC,uBAAuB,CAAC;oBAC7C,UAAU,EAAE;wBACV,IAAI,EAAE,yBAAyB;wBAC/B,UAAU,EAAE,WAAW;qBACxB;iBACF;aACF;YACD,KAAK,EAAE,WAAW,EAAE;SACrB;QACD,KAAK,EAAE,eAAe;KACvB,CAAC;IACF,OAAO,MAAM;QACX,CAAC,CAAC;YACE,IAAI,EAAE,uBAAuB;YAC7B,aAAa,EAAE,GAAG;YAClB,OAAO,EAAE;gBACP,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE,aAAa;aAC1B;SACF;QACH,CAAC,CAAC,aAAa,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAAsC,EACtC,QAA2B,EAC3B,MAAe,EACf,YAAY,GAAG,KAAK,EACC,EAAE;IACvB,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAC1C,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,CAAC,CAC1D,CAAC;IACF,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAChC,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CACrB,OAAO;QACL,CAAC,CAAC;YACE,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,SAAS;aACjB;SACF;QACH,CAAC,CAAC,SAAS,EACf,SAAS,CACV,CAAC;IACF,MAAM,IAAI,GAAG,QAAQ,IAAI,iBAAiB,CAAC,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7E,OAAO,MAAM;QACX,CAAC,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,aAAa,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;QACtE,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAAsC,EACtC,UAAyB,EACzB,aAAqB,EACA,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,cAAc;IACpB,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;IACnC,OAAO,EAAE;QACP,IAAI,EAAE,oBAAoB;QAC1B,IAAI,EAAE,UAAU;QAChB,WAAW,EAAE,aAAa;KAC3B;CACF,CAAC,CAAC"}
@@ -6,7 +6,7 @@
6
6
  * - guard-types.ts: Guard info types, shared helpers, and utility functions
7
7
  * - guard-detectors.ts: Guard detection/resolution functions (tryResolve*)
8
8
  */
9
- export type { GuardInfo, InstanceofGuardInfo, InGuardInfo, DiscriminantEqualityGuardInfo, PropertyTruthinessGuardInfo, RuntimeUnionFrame, NullableGuardInfo, } from "./guard-types.js";
9
+ export type { GuardInfo, InstanceofGuardInfo, DiscriminantEqualityGuardInfo, PropertyExistenceGuardInfo, PropertyTruthinessGuardInfo, RuntimeUnionFrame, NullableGuardInfo, } from "./guard-types.js";
10
10
  export { resolveRuntimeUnionFrame, isDefinitelyTerminating, isNullOrUndefined, tryResolveSimpleNullableGuard, tryResolveNullableGuard, } from "./guard-types.js";
11
- export { tryResolveDiscriminantEqualityGuard, tryResolvePropertyTruthinessGuard, tryResolveInGuard, tryResolvePredicateGuard, tryResolveInstanceofGuard, } from "./guard-detectors.js";
11
+ export { tryResolveDiscriminantEqualityGuard, tryResolvePropertyExistenceGuard, tryResolvePropertyTruthinessGuard, tryResolvePredicateGuard, tryResolveInstanceofGuard, } from "./guard-detectors.js";
12
12
  //# sourceMappingURL=guard-analysis.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"guard-analysis.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,YAAY,EACV,SAAS,EACT,mBAAmB,EACnB,WAAW,EACX,6BAA6B,EAC7B,2BAA2B,EAC3B,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,EACjB,6BAA6B,EAC7B,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,mCAAmC,EACnC,iCAAiC,EACjC,iBAAiB,EACjB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC"}
1
+ {"version":3,"file":"guard-analysis.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,YAAY,EACV,SAAS,EACT,mBAAmB,EACnB,6BAA6B,EAC7B,0BAA0B,EAC1B,2BAA2B,EAC3B,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,EACjB,6BAA6B,EAC7B,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,mCAAmC,EACnC,gCAAgC,EAChC,iCAAiC,EACjC,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC"}
@@ -8,5 +8,5 @@
8
8
  */
9
9
  export { resolveRuntimeUnionFrame, isDefinitelyTerminating, isNullOrUndefined, tryResolveSimpleNullableGuard, tryResolveNullableGuard, } from "./guard-types.js";
10
10
  // Guard detection/resolution functions
11
- export { tryResolveDiscriminantEqualityGuard, tryResolvePropertyTruthinessGuard, tryResolveInGuard, tryResolvePredicateGuard, tryResolveInstanceofGuard, } from "./guard-detectors.js";
11
+ export { tryResolveDiscriminantEqualityGuard, tryResolvePropertyExistenceGuard, tryResolvePropertyTruthinessGuard, tryResolvePredicateGuard, tryResolveInstanceofGuard, } from "./guard-detectors.js";
12
12
  //# sourceMappingURL=guard-analysis.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"guard-analysis.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAaH,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,EACjB,6BAA6B,EAC7B,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAE1B,uCAAuC;AACvC,OAAO,EACL,mCAAmC,EACnC,iCAAiC,EACjC,iBAAiB,EACjB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC"}
1
+ {"version":3,"file":"guard-analysis.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAaH,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,EACjB,6BAA6B,EAC7B,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAE1B,uCAAuC;AACvC,OAAO,EACL,mCAAmC,EACnC,gCAAgC,EAChC,iCAAiC,EACjC,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC"}
@@ -4,7 +4,7 @@
4
4
  */
5
5
  import { IrExpression } from "@tsonic/frontend";
6
6
  import { EmitterContext } from "../../../types.js";
7
- import type { DiscriminantEqualityGuardInfo, PropertyTruthinessGuardInfo } from "./guard-types.js";
7
+ import type { DiscriminantEqualityGuardInfo, PropertyExistenceGuardInfo, PropertyTruthinessGuardInfo } from "./guard-types.js";
8
8
  /**
9
9
  * Try to extract guard info from `x.prop === <literal>` or `x.prop !== <literal>`.
10
10
  *
@@ -17,4 +17,5 @@ export declare const tryResolveDiscriminantEqualityGuard: (condition: IrExpressi
17
17
  * boolean-style discriminant over a runtime union.
18
18
  */
19
19
  export declare const tryResolvePropertyTruthinessGuard: (condition: IrExpression, context: EmitterContext) => PropertyTruthinessGuardInfo | undefined;
20
+ export declare const tryResolvePropertyExistenceGuard: (condition: IrExpression, context: EmitterContext) => PropertyExistenceGuardInfo | undefined;
20
21
  //# sourceMappingURL=guard-detectors-discriminant.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"guard-detectors-discriminant.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-discriminant.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAKnD,OAAO,KAAK,EACV,6BAA6B,EAC7B,2BAA2B,EAC5B,MAAM,kBAAkB,CAAC;AAU1B;;;;;GAKG;AACH,eAAO,MAAM,mCAAmC,GAC9C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,6BAA6B,GAAG,SAgJlC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iCAAiC,GAC5C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,2BAA2B,GAAG,SAyGhC,CAAC"}
1
+ {"version":3,"file":"guard-detectors-discriminant.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-discriminant.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAKnD,OAAO,KAAK,EACV,6BAA6B,EAC7B,0BAA0B,EAC1B,2BAA2B,EAC5B,MAAM,kBAAkB,CAAC;AAW1B;;;;;GAKG;AACH,eAAO,MAAM,mCAAmC,GAC9C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,6BAA6B,GAAG,SAgJlC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iCAAiC,GAC5C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,2BAA2B,GAAG,SAyGhC,CAAC;AAEF,eAAO,MAAM,gCAAgC,GAC3C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,0BAA0B,GAAG,SAwG/B,CAAC"}
@@ -6,7 +6,7 @@ import { escapeCSharpIdentifier } from "../../../emitter-types/index.js";
6
6
  import { emitRemappedLocalName } from "../../../core/format/local-names.js";
7
7
  import { makeNarrowedLocalName } from "../../../core/semantic/narrowing-keys.js";
8
8
  import { tryGetLiteralSet } from "../../../core/semantic/guard-primitives.js";
9
- import { getGuardPropertyType, extractTransparentMemberAccessTarget, resolveGuardRuntimeUnionFrame, buildRenameNarrowedMap, isDefinitelyFalsyType, isDefinitelyTruthyType, } from "./guard-types.js";
9
+ import { getGuardPropertyType, extractTransparentIdentifierTarget, extractTransparentMemberAccessTarget, resolveGuardRuntimeUnionFrame, buildRenameNarrowedMap, isDefinitelyFalsyType, isDefinitelyTruthyType, } from "./guard-types.js";
10
10
  /**
11
11
  * Try to extract guard info from `x.prop === <literal>` or `x.prop !== <literal>`.
12
12
  *
@@ -211,4 +211,86 @@ export const tryResolvePropertyTruthinessGuard = (condition, context) => {
211
211
  narrowedMap,
212
212
  };
213
213
  };
214
+ export const tryResolvePropertyExistenceGuard = (condition, context) => {
215
+ const extract = (expr) => {
216
+ if (expr.kind === "unary" && expr.operator === "!") {
217
+ const inner = extract(expr.expression);
218
+ return inner ? { ...inner, wantPresent: !inner.wantPresent } : undefined;
219
+ }
220
+ if (expr.kind !== "binary" || expr.operator !== "in") {
221
+ return undefined;
222
+ }
223
+ if (expr.left.kind !== "literal" || typeof expr.left.value !== "string") {
224
+ return undefined;
225
+ }
226
+ const receiver = extractTransparentIdentifierTarget(expr.right);
227
+ if (!receiver) {
228
+ return undefined;
229
+ }
230
+ return {
231
+ receiver,
232
+ propertyName: expr.left.value,
233
+ wantPresent: true,
234
+ };
235
+ };
236
+ const match = extract(condition);
237
+ if (!match)
238
+ return undefined;
239
+ const { receiver, propertyName, wantPresent } = match;
240
+ const originalName = receiver.name;
241
+ const unionSourceType = receiver.inferredType;
242
+ if (!unionSourceType)
243
+ return undefined;
244
+ const frame = resolveGuardRuntimeUnionFrame(originalName, unionSourceType, receiver, context);
245
+ if (!frame)
246
+ return undefined;
247
+ const { members, candidateMemberNs, runtimeUnionArity } = frame;
248
+ const unionArity = members.length;
249
+ if (unionArity < 2)
250
+ return undefined;
251
+ const matchingIndices = [];
252
+ const matchingMemberNs = [];
253
+ for (let i = 0; i < members.length; i++) {
254
+ const member = members[i];
255
+ if (!member)
256
+ continue;
257
+ const hasProperty = getGuardPropertyType(member, propertyName, context) !== undefined;
258
+ if (hasProperty === wantPresent) {
259
+ matchingIndices.push(i);
260
+ matchingMemberNs.push(candidateMemberNs[i] ?? i + 1);
261
+ }
262
+ }
263
+ if (matchingMemberNs.length !== 1)
264
+ return undefined;
265
+ const memberN = matchingMemberNs[0];
266
+ if (!memberN)
267
+ return undefined;
268
+ const matchingIndex = matchingIndices[0];
269
+ if (matchingIndex === undefined)
270
+ return undefined;
271
+ const nextId = (context.tempVarId ?? 0) + 1;
272
+ const ctxWithId = { ...context, tempVarId: nextId };
273
+ const narrowedName = makeNarrowedLocalName(originalName, memberN, nextId);
274
+ const escapedOrig = emitRemappedLocalName(originalName, context);
275
+ const escapedNarrow = escapeCSharpIdentifier(narrowedName);
276
+ const memberType = members[matchingIndex];
277
+ if (!memberType)
278
+ return undefined;
279
+ const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, memberType, unionSourceType, ctxWithId);
280
+ return {
281
+ originalName,
282
+ propertyName,
283
+ wantPresent,
284
+ memberN,
285
+ unionArity,
286
+ runtimeUnionArity,
287
+ candidateMemberNs,
288
+ candidateMembers: members,
289
+ ctxWithId,
290
+ narrowedName,
291
+ escapedOrig,
292
+ escapedNarrow,
293
+ narrowedMap,
294
+ };
295
+ };
214
296
  //# sourceMappingURL=guard-detectors-discriminant.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"guard-detectors-discriminant.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-discriminant.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AAK9E,OAAO,EACL,oBAAoB,EACpB,oCAAoC,EACpC,6BAA6B,EAC7B,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAE1B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,SAAuB,EACvB,OAAuB,EACoB,EAAE;IAC7C,sEAAsE;IACtE,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,mCAAmC,CAC/C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;QACF,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,MAAM,OAAO,GACX,KAAK,CAAC,QAAQ,KAAK,KAAK;YACtB,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK;gBACxB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;oBACvB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;wBACvB,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;QAE3B,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,OAAgC,EAAE,CAAC;IAClE,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IACE,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,IAAI;QAC3B,SAAS,CAAC,QAAQ,KAAK,IAAI,EAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAkB,EAClB,KAAmB,EAOP,EAAE;QACd,MAAM,MAAM,GAAG,oCAAoC,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,IACE,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,EAChC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ;YACpC,OAAO,EAAE,KAAK,CAAC,KAAK;SACrB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,MAAM,IAAI,OAAO,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,GAAG,KAAK,CAAC;IAChE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,wFAAwF;IACxF,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,gBAAgB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpE,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,CACV,CAAC;IAEF,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,OAAO;QACP,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,OAAO;QACP,UAAU;QACV,iBAAiB;QACjB,iBAAiB;QACjB,gBAAgB,EAAE,OAAO;QACzB,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,SAAuB,EACvB,OAAuB,EACkB,EAAE;IAC3C,MAAM,OAAO,GAAG,CACd,IAAkB,EAON,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;YACnD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,CAAC;QAED,MAAM,MAAM,GAAG,oCAAoC,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAE9B,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ;YACpC,UAAU,EAAE,IAAI;SACjB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACrD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,GAAG,KAAK,CAAC;IAChE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAE9B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAEhC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACzD,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;YACzB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC5B,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,gBAAgB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpE,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,CACV,CAAC;IAEF,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,UAAU;QACV,OAAO;QACP,UAAU;QACV,iBAAiB;QACjB,iBAAiB;QACjB,gBAAgB,EAAE,OAAO;QACzB,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC"}
1
+ {"version":3,"file":"guard-detectors-discriminant.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-discriminant.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AAM9E,OAAO,EACL,oBAAoB,EACpB,kCAAkC,EAClC,oCAAoC,EACpC,6BAA6B,EAC7B,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAE1B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,SAAuB,EACvB,OAAuB,EACoB,EAAE;IAC7C,sEAAsE;IACtE,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,mCAAmC,CAC/C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;QACF,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,MAAM,OAAO,GACX,KAAK,CAAC,QAAQ,KAAK,KAAK;YACtB,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK;gBACxB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;oBACvB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;wBACvB,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;QAE3B,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,OAAgC,EAAE,CAAC;IAClE,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IACE,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,IAAI;QAC3B,SAAS,CAAC,QAAQ,KAAK,IAAI,EAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAkB,EAClB,KAAmB,EAOP,EAAE;QACd,MAAM,MAAM,GAAG,oCAAoC,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,IACE,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,EAChC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ;YACpC,OAAO,EAAE,KAAK,CAAC,KAAK;SACrB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,MAAM,IAAI,OAAO,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,GAAG,KAAK,CAAC;IAChE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,wFAAwF;IACxF,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,gBAAgB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpE,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,CACV,CAAC;IAEF,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,OAAO;QACP,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,OAAO;QACP,UAAU;QACV,iBAAiB;QACjB,iBAAiB;QACjB,gBAAgB,EAAE,OAAO;QACzB,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,SAAuB,EACvB,OAAuB,EACkB,EAAE;IAC3C,MAAM,OAAO,GAAG,CACd,IAAkB,EAON,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;YACnD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,CAAC;QAED,MAAM,MAAM,GAAG,oCAAoC,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAE9B,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ;YACpC,UAAU,EAAE,IAAI;SACjB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACrD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,GAAG,KAAK,CAAC;IAChE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAE9B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAEhC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACzD,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;YACzB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC5B,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,gBAAgB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpE,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,CACV,CAAC;IAEF,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,UAAU;QACV,OAAO;QACP,UAAU;QACV,iBAAiB;QACjB,iBAAiB;QACjB,gBAAgB,EAAE,OAAO;QACzB,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,SAAuB,EACvB,OAAuB,EACiB,EAAE;IAC1C,MAAM,OAAO,GAAG,CACd,IAAkB,EAON,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;YACnD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YACrD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACxE,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,QAAQ,GAAG,kCAAkC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,QAAQ;YACR,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK;YAC7B,WAAW,EAAE,IAAI;SAClB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IACtD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IACnC,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,GAAG,KAAK,CAAC;IAChE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,WAAW,GACf,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;QACpE,IAAI,WAAW,KAAK,WAAW,EAAE,CAAC;YAChC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,gBAAgB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpE,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,CACV,CAAC;IAEF,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,WAAW;QACX,OAAO;QACP,UAAU;QACV,iBAAiB;QACjB,iBAAiB;QACjB,gBAAgB,EAAE,OAAO;QACzB,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC"}
@@ -1,14 +1,9 @@
1
1
  /**
2
- * Structural guard detectors: in-guard, predicate-guard, and instanceof-guard.
3
- * Handles tryResolveInGuard, tryResolvePredicateGuard, and tryResolveInstanceofGuard.
2
+ * Structural guard detectors: predicate guards and instanceof guards.
4
3
  */
5
4
  import { IrExpression } from "@tsonic/frontend";
6
5
  import { EmitterContext } from "../../../types.js";
7
- import type { GuardInfo, InstanceofGuardInfo, InGuardInfo } from "./guard-types.js";
8
- /**
9
- * Try to extract guard info from an `("prop" in x)` binary expression.
10
- */
11
- export declare const tryResolveInGuard: (condition: IrExpression, context: EmitterContext) => InGuardInfo | undefined;
6
+ import type { GuardInfo, InstanceofGuardInfo } from "./guard-types.js";
12
7
  /**
13
8
  * Try to extract guard info from a predicate call expression.
14
9
  * Returns GuardInfo if:
@@ -1 +1 @@
1
- {"version":3,"file":"guard-detectors-structural.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-structural.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAU,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAyBnD,OAAO,KAAK,EACV,SAAS,EACT,mBAAmB,EACnB,WAAW,EACZ,MAAM,kBAAkB,CAAC;AAQ1B;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,WAAW,GAAG,SAuFhB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,SAAS,GAAG,SA0Gd,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,GACpC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,mBAAmB,GAAG,SA2JxB,CAAC"}
1
+ {"version":3,"file":"guard-detectors-structural.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-structural.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAU,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAmB,MAAM,mBAAmB,CAAC;AA0BpE,OAAO,KAAK,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAuEvE;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,SAAS,GAAG,SAkHd,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,GACpC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,mBAAmB,GAAG,SAwJxB,CAAC"}