@tsonic/emitter 0.0.76 → 0.0.78

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 (709) hide show
  1. package/dist/.tsbuildinfo +1 -1
  2. package/dist/array.test.js +8 -4
  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 +113 -2
  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 +1 -1
  44. package/dist/core/semantic/array-expected-types.js.map +1 -1
  45. package/dist/core/semantic/assignment-flow.d.ts.map +1 -1
  46. package/dist/core/semantic/assignment-flow.js +28 -4
  47. package/dist/core/semantic/assignment-flow.js.map +1 -1
  48. package/dist/core/semantic/async-wrapper-types.d.ts +1 -0
  49. package/dist/core/semantic/async-wrapper-types.d.ts.map +1 -1
  50. package/dist/core/semantic/async-wrapper-types.js +19 -1
  51. package/dist/core/semantic/async-wrapper-types.js.map +1 -1
  52. package/dist/core/semantic/boolean-condition-main.d.ts.map +1 -1
  53. package/dist/core/semantic/boolean-condition-main.js +6 -2
  54. package/dist/core/semantic/boolean-condition-main.js.map +1 -1
  55. package/dist/core/semantic/boolean-context.test.js +2 -1
  56. package/dist/core/semantic/boolean-context.test.js.map +1 -1
  57. package/dist/core/semantic/broad-array-storage.d.ts.map +1 -1
  58. package/dist/core/semantic/broad-array-storage.js +2 -5
  59. package/dist/core/semantic/broad-array-storage.js.map +1 -1
  60. package/dist/core/semantic/broad-object-types.d.ts +1 -0
  61. package/dist/core/semantic/broad-object-types.d.ts.map +1 -1
  62. package/dist/core/semantic/broad-object-types.js +39 -0
  63. package/dist/core/semantic/broad-object-types.js.map +1 -1
  64. package/dist/core/semantic/clr-type-identity.d.ts +1 -2
  65. package/dist/core/semantic/clr-type-identity.d.ts.map +1 -1
  66. package/dist/core/semantic/clr-type-identity.js +3 -65
  67. package/dist/core/semantic/clr-type-identity.js.map +1 -1
  68. package/dist/core/semantic/comparable-types.d.ts.map +1 -1
  69. package/dist/core/semantic/comparable-types.js +61 -27
  70. package/dist/core/semantic/comparable-types.js.map +1 -1
  71. package/dist/core/semantic/comparable-types.test.js.map +1 -1
  72. package/dist/core/semantic/deterministic-type-keys.d.ts.map +1 -1
  73. package/dist/core/semantic/deterministic-type-keys.js +90 -37
  74. package/dist/core/semantic/deterministic-type-keys.js.map +1 -1
  75. package/dist/core/semantic/deterministic-type-keys.test.d.ts +2 -0
  76. package/dist/core/semantic/deterministic-type-keys.test.d.ts.map +1 -0
  77. package/dist/core/semantic/deterministic-type-keys.test.js +38 -0
  78. package/dist/core/semantic/deterministic-type-keys.test.js.map +1 -0
  79. package/dist/core/semantic/direct-storage-ir-types.d.ts +1 -1
  80. package/dist/core/semantic/direct-storage-ir-types.d.ts.map +1 -1
  81. package/dist/core/semantic/direct-storage-ir-types.js +12 -3
  82. package/dist/core/semantic/direct-storage-ir-types.js.map +1 -1
  83. package/dist/core/semantic/direct-value-surfaces.d.ts.map +1 -1
  84. package/dist/core/semantic/direct-value-surfaces.js +166 -6
  85. package/dist/core/semantic/direct-value-surfaces.js.map +1 -1
  86. package/dist/core/semantic/direct-value-surfaces.test.js +69 -6
  87. package/dist/core/semantic/direct-value-surfaces.test.js.map +1 -1
  88. package/dist/core/semantic/expected-type-matching.d.ts.map +1 -1
  89. package/dist/core/semantic/expected-type-matching.js +4 -5
  90. package/dist/core/semantic/expected-type-matching.js.map +1 -1
  91. package/dist/core/semantic/implicit-interfaces.d.ts.map +1 -1
  92. package/dist/core/semantic/implicit-interfaces.js.map +1 -1
  93. package/dist/core/semantic/imports-cases/basic-and-local.test.js +8 -8
  94. package/dist/core/semantic/imports-cases/basic-and-local.test.js.map +1 -1
  95. package/dist/core/semantic/imports.js +3 -2
  96. package/dist/core/semantic/imports.js.map +1 -1
  97. package/dist/core/semantic/index.d.ts +1 -1
  98. package/dist/core/semantic/index.d.ts.map +1 -1
  99. package/dist/core/semantic/index.js +1 -1
  100. package/dist/core/semantic/index.js.map +1 -1
  101. package/dist/core/semantic/instanceof-predicate-refinements.d.ts.map +1 -1
  102. package/dist/core/semantic/instanceof-predicate-refinements.js +2 -10
  103. package/dist/core/semantic/instanceof-predicate-refinements.js.map +1 -1
  104. package/dist/core/semantic/materialized-narrowing.d.ts +1 -0
  105. package/dist/core/semantic/materialized-narrowing.d.ts.map +1 -1
  106. package/dist/core/semantic/materialized-narrowing.js +170 -34
  107. package/dist/core/semantic/materialized-narrowing.js.map +1 -1
  108. package/dist/core/semantic/materialized-narrowing.test.js +24 -6
  109. package/dist/core/semantic/materialized-narrowing.test.js.map +1 -1
  110. package/dist/core/semantic/module-map.d.ts.map +1 -1
  111. package/dist/core/semantic/module-map.js +4 -6
  112. package/dist/core/semantic/module-map.js.map +1 -1
  113. package/dist/core/semantic/module-type-collisions.d.ts +7 -0
  114. package/dist/core/semantic/module-type-collisions.d.ts.map +1 -0
  115. package/dist/core/semantic/module-type-collisions.js +24 -0
  116. package/dist/core/semantic/module-type-collisions.js.map +1 -0
  117. package/dist/core/semantic/mutable-storage-helpers.d.ts +1 -1
  118. package/dist/core/semantic/mutable-storage-helpers.d.ts.map +1 -1
  119. package/dist/core/semantic/mutable-storage-helpers.js +5 -12
  120. package/dist/core/semantic/mutable-storage-helpers.js.map +1 -1
  121. package/dist/core/semantic/naming-collisions.d.ts.map +1 -1
  122. package/dist/core/semantic/naming-collisions.js +13 -3
  123. package/dist/core/semantic/naming-collisions.js.map +1 -1
  124. package/dist/core/semantic/narrowed-expression-types.d.ts +3 -1
  125. package/dist/core/semantic/narrowed-expression-types.d.ts.map +1 -1
  126. package/dist/core/semantic/narrowed-expression-types.js +139 -17
  127. package/dist/core/semantic/narrowed-expression-types.js.map +1 -1
  128. package/dist/core/semantic/narrowed-union-resolution.d.ts.map +1 -1
  129. package/dist/core/semantic/narrowed-union-resolution.js +14 -3
  130. package/dist/core/semantic/narrowed-union-resolution.js.map +1 -1
  131. package/dist/core/semantic/narrowing-builder-core.d.ts +3 -2
  132. package/dist/core/semantic/narrowing-builder-core.d.ts.map +1 -1
  133. package/dist/core/semantic/narrowing-builder-core.js +85 -126
  134. package/dist/core/semantic/narrowing-builder-core.js.map +1 -1
  135. package/dist/core/semantic/narrowing-builder-core.test.js +3 -2
  136. package/dist/core/semantic/narrowing-builder-core.test.js.map +1 -1
  137. package/dist/core/semantic/narrowing-builder-unions.d.ts.map +1 -1
  138. package/dist/core/semantic/narrowing-builder-unions.js +43 -7
  139. package/dist/core/semantic/narrowing-builder-unions.js.map +1 -1
  140. package/dist/core/semantic/narrowing-builders.d.ts +1 -1
  141. package/dist/core/semantic/narrowing-builders.d.ts.map +1 -1
  142. package/dist/core/semantic/narrowing-builders.js +1 -1
  143. package/dist/core/semantic/narrowing-builders.js.map +1 -1
  144. package/dist/core/semantic/narrowing-refinements.d.ts +1 -1
  145. package/dist/core/semantic/narrowing-refinements.d.ts.map +1 -1
  146. package/dist/core/semantic/narrowing-refinements.js +1 -1
  147. package/dist/core/semantic/narrowing-refinements.js.map +1 -1
  148. package/dist/core/semantic/nullable-typeof-refinements.d.ts +1 -5
  149. package/dist/core/semantic/nullable-typeof-refinements.d.ts.map +1 -1
  150. package/dist/core/semantic/nullable-typeof-refinements.js +136 -88
  151. package/dist/core/semantic/nullable-typeof-refinements.js.map +1 -1
  152. package/dist/core/semantic/nullish-value-helpers.d.ts +1 -1
  153. package/dist/core/semantic/nullish-value-helpers.d.ts.map +1 -1
  154. package/dist/core/semantic/nullish-value-helpers.js +18 -9
  155. package/dist/core/semantic/nullish-value-helpers.js.map +1 -1
  156. package/dist/core/semantic/runtime-materialization-targets.js +1 -1
  157. package/dist/core/semantic/runtime-materialization-targets.js.map +1 -1
  158. package/dist/core/semantic/runtime-reification.d.ts +1 -0
  159. package/dist/core/semantic/runtime-reification.d.ts.map +1 -1
  160. package/dist/core/semantic/runtime-reification.js +141 -35
  161. package/dist/core/semantic/runtime-reification.js.map +1 -1
  162. package/dist/core/semantic/runtime-union-family-preservation.js +1 -1
  163. package/dist/core/semantic/runtime-union-family-preservation.js.map +1 -1
  164. package/dist/core/semantic/runtime-union-frame.d.ts +6 -0
  165. package/dist/core/semantic/runtime-union-frame.d.ts.map +1 -0
  166. package/dist/core/semantic/runtime-union-frame.js +130 -0
  167. package/dist/core/semantic/runtime-union-frame.js.map +1 -0
  168. package/dist/core/semantic/runtime-union-matching.d.ts.map +1 -1
  169. package/dist/core/semantic/runtime-union-matching.js +13 -0
  170. package/dist/core/semantic/runtime-union-matching.js.map +1 -1
  171. package/dist/core/semantic/runtime-union-member-mapping.test.js +1 -1
  172. package/dist/core/semantic/runtime-union-member-mapping.test.js.map +1 -1
  173. package/dist/core/semantic/runtime-union-ordering.d.ts.map +1 -1
  174. package/dist/core/semantic/runtime-union-ordering.js +10 -22
  175. package/dist/core/semantic/runtime-union-ordering.js.map +1 -1
  176. package/dist/core/semantic/runtime-union-projection.d.ts.map +1 -1
  177. package/dist/core/semantic/runtime-union-projection.js +23 -7
  178. package/dist/core/semantic/runtime-union-projection.js.map +1 -1
  179. package/dist/core/semantic/runtime-union-projection.test.js +19 -1
  180. package/dist/core/semantic/runtime-union-projection.test.js.map +1 -1
  181. package/dist/core/semantic/runtime-union-registry.js +13 -13
  182. package/dist/core/semantic/runtime-union-registry.js.map +1 -1
  183. package/dist/core/semantic/runtime-unions.d.ts +3 -4
  184. package/dist/core/semantic/runtime-unions.d.ts.map +1 -1
  185. package/dist/core/semantic/runtime-unions.js +46 -145
  186. package/dist/core/semantic/runtime-unions.js.map +1 -1
  187. package/dist/core/semantic/runtime-unions.test.js +12 -7
  188. package/dist/core/semantic/runtime-unions.test.js.map +1 -1
  189. package/dist/core/semantic/semantic-union-members.d.ts.map +1 -1
  190. package/dist/core/semantic/semantic-union-members.js +1 -1
  191. package/dist/core/semantic/semantic-union-members.js.map +1 -1
  192. package/dist/core/semantic/storage-erased-adaptation.d.ts.map +1 -1
  193. package/dist/core/semantic/storage-erased-adaptation.js +8 -11
  194. package/dist/core/semantic/storage-erased-adaptation.js.map +1 -1
  195. package/dist/core/semantic/storage-erased-adaptation.test.js +4 -1
  196. package/dist/core/semantic/storage-erased-adaptation.test.js.map +1 -1
  197. package/dist/core/semantic/storage-types.d.ts +3 -0
  198. package/dist/core/semantic/storage-types.d.ts.map +1 -1
  199. package/dist/core/semantic/storage-types.js +17 -4
  200. package/dist/core/semantic/storage-types.js.map +1 -1
  201. package/dist/core/semantic/structural-shape-matching.d.ts +5 -1
  202. package/dist/core/semantic/structural-shape-matching.d.ts.map +1 -1
  203. package/dist/core/semantic/structural-shape-matching.js +29 -4
  204. package/dist/core/semantic/structural-shape-matching.js.map +1 -1
  205. package/dist/core/semantic/surface-member-semantics.d.ts +14 -0
  206. package/dist/core/semantic/surface-member-semantics.d.ts.map +1 -0
  207. package/dist/core/semantic/surface-member-semantics.js +41 -0
  208. package/dist/core/semantic/surface-member-semantics.js.map +1 -0
  209. package/dist/core/semantic/symbol-types.d.ts +2 -9
  210. package/dist/core/semantic/symbol-types.d.ts.map +1 -1
  211. package/dist/core/semantic/symbol-types.js +7 -11
  212. package/dist/core/semantic/symbol-types.js.map +1 -1
  213. package/dist/core/semantic/ternary-guards.d.ts +1 -1
  214. package/dist/core/semantic/ternary-guards.d.ts.map +1 -1
  215. package/dist/core/semantic/ternary-guards.js +2 -1
  216. package/dist/core/semantic/ternary-guards.js.map +1 -1
  217. package/dist/core/semantic/truthiness-evaluation.d.ts.map +1 -1
  218. package/dist/core/semantic/truthiness-evaluation.js +3 -3
  219. package/dist/core/semantic/truthiness-evaluation.js.map +1 -1
  220. package/dist/core/semantic/type-compatibility.d.ts +4 -2
  221. package/dist/core/semantic/type-compatibility.d.ts.map +1 -1
  222. package/dist/core/semantic/type-compatibility.js +62 -2
  223. package/dist/core/semantic/type-compatibility.js.map +1 -1
  224. package/dist/core/semantic/type-domains.d.ts +17 -0
  225. package/dist/core/semantic/type-domains.d.ts.map +1 -0
  226. package/dist/core/semantic/type-domains.js +7 -0
  227. package/dist/core/semantic/type-domains.js.map +1 -0
  228. package/dist/core/semantic/type-equivalence.d.ts.map +1 -1
  229. package/dist/core/semantic/type-equivalence.js +12 -7
  230. package/dist/core/semantic/type-equivalence.js.map +1 -1
  231. package/dist/core/semantic/type-equivalence.test.js +34 -0
  232. package/dist/core/semantic/type-equivalence.test.js.map +1 -1
  233. package/dist/core/semantic/type-resolution-cases/array-like-element.test.js +13 -4
  234. package/dist/core/semantic/type-resolution-cases/array-like-element.test.js.map +1 -1
  235. package/dist/core/semantic/type-resolution-cases/helpers.d.ts +2 -2
  236. package/dist/core/semantic/type-resolution-cases/helpers.d.ts.map +1 -1
  237. package/dist/core/semantic/type-resolution-cases/helpers.js +2 -2
  238. package/dist/core/semantic/type-resolution-cases/helpers.js.map +1 -1
  239. package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts +2 -0
  240. package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts.map +1 -0
  241. package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.js +36 -0
  242. package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.js.map +1 -0
  243. package/dist/core/semantic/type-resolution.test.d.ts +1 -1
  244. package/dist/core/semantic/type-resolution.test.d.ts.map +1 -1
  245. package/dist/core/semantic/type-resolution.test.js +1 -1
  246. package/dist/core/semantic/type-resolution.test.js.map +1 -1
  247. package/dist/core/semantic/type-substitution.d.ts.map +1 -1
  248. package/dist/core/semantic/type-substitution.js +2 -1
  249. package/dist/core/semantic/type-substitution.js.map +1 -1
  250. package/dist/core/semantic/typeof-comparison.d.ts +14 -0
  251. package/dist/core/semantic/typeof-comparison.d.ts.map +1 -0
  252. package/dist/core/semantic/typeof-comparison.js +47 -0
  253. package/dist/core/semantic/typeof-comparison.js.map +1 -0
  254. package/dist/core/semantic/union-predicate-matching.d.ts.map +1 -1
  255. package/dist/core/semantic/union-predicate-matching.js +1 -1
  256. package/dist/core/semantic/union-predicate-matching.js.map +1 -1
  257. package/dist/core/semantic/union-semantics.js +1 -1
  258. package/dist/core/semantic/union-semantics.js.map +1 -1
  259. package/dist/core/semantic/union-typeof-matching.d.ts.map +1 -1
  260. package/dist/core/semantic/union-typeof-matching.js +72 -22
  261. package/dist/core/semantic/union-typeof-matching.js.map +1 -1
  262. package/dist/core/semantic/variable-type-resolution.d.ts +1 -0
  263. package/dist/core/semantic/variable-type-resolution.d.ts.map +1 -1
  264. package/dist/core/semantic/variable-type-resolution.js +62 -6
  265. package/dist/core/semantic/variable-type-resolution.js.map +1 -1
  266. package/dist/duplicate-type-suppression.d.ts.map +1 -1
  267. package/dist/duplicate-type-suppression.js.map +1 -1
  268. package/dist/emitter-types/context.d.ts +1 -0
  269. package/dist/emitter-types/context.d.ts.map +1 -1
  270. package/dist/emitter-types/context.js +13 -1
  271. package/dist/emitter-types/context.js.map +1 -1
  272. package/dist/emitter-types/core.d.ts +10 -9
  273. package/dist/emitter-types/core.d.ts.map +1 -1
  274. package/dist/emitter-types/fqn.d.ts +0 -1
  275. package/dist/emitter-types/fqn.d.ts.map +1 -1
  276. package/dist/emitter-types/fqn.js +0 -1
  277. package/dist/emitter-types/fqn.js.map +1 -1
  278. package/dist/emitter-types/index.d.ts +1 -1
  279. package/dist/emitter-types/index.d.ts.map +1 -1
  280. package/dist/emitter-types/index.js +1 -1
  281. package/dist/emitter-types/index.js.map +1 -1
  282. package/dist/emitter.d.ts +3 -3
  283. package/dist/emitter.d.ts.map +1 -1
  284. package/dist/emitter.js +1 -7
  285. package/dist/emitter.js.map +1 -1
  286. package/dist/expression-emitter.d.ts.map +1 -1
  287. package/dist/expression-emitter.js +7 -2
  288. package/dist/expression-emitter.js.map +1 -1
  289. package/dist/expressions/access-binding.d.ts.map +1 -1
  290. package/dist/expressions/access-binding.js +38 -66
  291. package/dist/expressions/access-binding.js.map +1 -1
  292. package/dist/expressions/access-computed.d.ts.map +1 -1
  293. package/dist/expressions/access-computed.js +10 -15
  294. package/dist/expressions/access-computed.js.map +1 -1
  295. package/dist/expressions/access-function-length.d.ts +13 -0
  296. package/dist/expressions/access-function-length.d.ts.map +1 -0
  297. package/dist/expressions/access-function-length.js +115 -0
  298. package/dist/expressions/access-function-length.js.map +1 -0
  299. package/dist/expressions/access-length.d.ts +5 -11
  300. package/dist/expressions/access-length.d.ts.map +1 -1
  301. package/dist/expressions/access-length.js +18 -242
  302. package/dist/expressions/access-length.js.map +1 -1
  303. package/dist/expressions/access-length.test.js +17 -0
  304. package/dist/expressions/access-length.test.js.map +1 -1
  305. package/dist/expressions/access-property.d.ts +1 -2
  306. package/dist/expressions/access-property.d.ts.map +1 -1
  307. package/dist/expressions/access-property.js +20 -94
  308. package/dist/expressions/access-property.js.map +1 -1
  309. package/dist/expressions/access-resolution-receivers.d.ts.map +1 -1
  310. package/dist/expressions/access-resolution-receivers.js +24 -17
  311. package/dist/expressions/access-resolution-receivers.js.map +1 -1
  312. package/dist/expressions/access-resolution-types.d.ts.map +1 -1
  313. package/dist/expressions/access-resolution-types.js +7 -0
  314. package/dist/expressions/access-resolution-types.js.map +1 -1
  315. package/dist/expressions/access.d.ts +2 -2
  316. package/dist/expressions/access.d.ts.map +1 -1
  317. package/dist/expressions/access.js +11 -22
  318. package/dist/expressions/access.js.map +1 -1
  319. package/dist/expressions/architecture-invariants.test.js +112 -0
  320. package/dist/expressions/architecture-invariants.test.js.map +1 -1
  321. package/dist/expressions/await-normalization.d.ts.map +1 -1
  322. package/dist/expressions/await-normalization.js +53 -13
  323. package/dist/expressions/await-normalization.js.map +1 -1
  324. package/dist/expressions/awaitable-adaptation.d.ts +15 -0
  325. package/dist/expressions/awaitable-adaptation.d.ts.map +1 -0
  326. package/dist/expressions/awaitable-adaptation.js +174 -0
  327. package/dist/expressions/awaitable-adaptation.js.map +1 -0
  328. package/dist/expressions/calls/call-analysis.d.ts +0 -1
  329. package/dist/expressions/calls/call-analysis.d.ts.map +1 -1
  330. package/dist/expressions/calls/call-analysis.js +0 -7
  331. package/dist/expressions/calls/call-analysis.js.map +1 -1
  332. package/dist/expressions/calls/call-arguments-emit.d.ts.map +1 -1
  333. package/dist/expressions/calls/call-arguments-emit.js +236 -35
  334. package/dist/expressions/calls/call-arguments-emit.js.map +1 -1
  335. package/dist/expressions/calls/call-arguments-helpers.d.ts.map +1 -1
  336. package/dist/expressions/calls/call-arguments-helpers.js +2 -2
  337. package/dist/expressions/calls/call-arguments-helpers.js.map +1 -1
  338. package/dist/expressions/calls/call-array-interop.d.ts +1 -1
  339. package/dist/expressions/calls/call-array-interop.d.ts.map +1 -1
  340. package/dist/expressions/calls/call-array-interop.js +1 -1
  341. package/dist/expressions/calls/call-array-interop.js.map +1 -1
  342. package/dist/expressions/calls/call-array-mutation.d.ts +0 -1
  343. package/dist/expressions/calls/call-array-mutation.d.ts.map +1 -1
  344. package/dist/expressions/calls/call-array-mutation.js +9 -36
  345. package/dist/expressions/calls/call-array-mutation.js.map +1 -1
  346. package/dist/expressions/calls/call-array-wrapper.d.ts.map +1 -1
  347. package/dist/expressions/calls/call-array-wrapper.js +9 -12
  348. package/dist/expressions/calls/call-array-wrapper.js.map +1 -1
  349. package/dist/expressions/calls/call-emitter.d.ts +1 -1
  350. package/dist/expressions/calls/call-emitter.d.ts.map +1 -1
  351. package/dist/expressions/calls/call-emitter.js +85 -7
  352. package/dist/expressions/calls/call-emitter.js.map +1 -1
  353. package/dist/expressions/calls/call-json.d.ts +1 -1
  354. package/dist/expressions/calls/call-json.d.ts.map +1 -1
  355. package/dist/expressions/calls/call-json.js +50 -84
  356. package/dist/expressions/calls/call-json.js.map +1 -1
  357. package/dist/expressions/calls/call-promise-ir-types.d.ts.map +1 -1
  358. package/dist/expressions/calls/call-promise-ir-types.js.map +1 -1
  359. package/dist/expressions/calls/call-runtime-union-guards.d.ts.map +1 -1
  360. package/dist/expressions/calls/call-runtime-union-guards.js +10 -1
  361. package/dist/expressions/calls/call-runtime-union-guards.js.map +1 -1
  362. package/dist/expressions/calls/new-emitter-collections.d.ts +7 -4
  363. package/dist/expressions/calls/new-emitter-collections.d.ts.map +1 -1
  364. package/dist/expressions/calls/new-emitter-collections.js +64 -25
  365. package/dist/expressions/calls/new-emitter-collections.js.map +1 -1
  366. package/dist/expressions/calls/new-emitter.d.ts.map +1 -1
  367. package/dist/expressions/calls/new-emitter.js +4 -5
  368. package/dist/expressions/calls/new-emitter.js.map +1 -1
  369. package/dist/expressions/direct-storage-types.d.ts.map +1 -1
  370. package/dist/expressions/direct-storage-types.js +76 -15
  371. package/dist/expressions/direct-storage-types.js.map +1 -1
  372. package/dist/expressions/exact-comparison.d.ts.map +1 -1
  373. package/dist/expressions/exact-comparison.js +3 -1
  374. package/dist/expressions/exact-comparison.js.map +1 -1
  375. package/dist/expressions/expected-type-adaptation.d.ts +1 -1
  376. package/dist/expressions/expected-type-adaptation.d.ts.map +1 -1
  377. package/dist/expressions/expected-type-adaptation.js +164 -30
  378. package/dist/expressions/expected-type-adaptation.js.map +1 -1
  379. package/dist/expressions/expected-type-adaptation.test.js +81 -26
  380. package/dist/expressions/expected-type-adaptation.test.js.map +1 -1
  381. package/dist/expressions/identifier-storage/broad-storage-target.d.ts +4 -0
  382. package/dist/expressions/identifier-storage/broad-storage-target.d.ts.map +1 -0
  383. package/dist/expressions/identifier-storage/broad-storage-target.js +26 -0
  384. package/dist/expressions/identifier-storage/broad-storage-target.js.map +1 -0
  385. package/dist/expressions/identifier-storage/implicit-storage.d.ts +14 -0
  386. package/dist/expressions/identifier-storage/implicit-storage.d.ts.map +1 -0
  387. package/dist/expressions/identifier-storage/implicit-storage.js +44 -0
  388. package/dist/expressions/identifier-storage/implicit-storage.js.map +1 -0
  389. package/dist/expressions/identifier-storage/materialized-narrowed.d.ts +7 -0
  390. package/dist/expressions/identifier-storage/materialized-narrowed.d.ts.map +1 -0
  391. package/dist/expressions/identifier-storage/materialized-narrowed.js +92 -0
  392. package/dist/expressions/identifier-storage/materialized-narrowed.js.map +1 -0
  393. package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts +14 -0
  394. package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts.map +1 -0
  395. package/dist/expressions/identifier-storage/narrowed-storage-compatible.js +168 -0
  396. package/dist/expressions/identifier-storage/narrowed-storage-compatible.js.map +1 -0
  397. package/dist/expressions/identifier-storage/reified-storage.d.ts +7 -0
  398. package/dist/expressions/identifier-storage/reified-storage.d.ts.map +1 -0
  399. package/dist/expressions/identifier-storage/reified-storage.js +25 -0
  400. package/dist/expressions/identifier-storage/reified-storage.js.map +1 -0
  401. package/dist/expressions/identifier-storage/runtime-subset.d.ts +14 -0
  402. package/dist/expressions/identifier-storage/runtime-subset.d.ts.map +1 -0
  403. package/dist/expressions/identifier-storage/runtime-subset.js +100 -0
  404. package/dist/expressions/identifier-storage/runtime-subset.js.map +1 -0
  405. package/dist/expressions/identifier-storage/storage-compatible.d.ts +10 -0
  406. package/dist/expressions/identifier-storage/storage-compatible.d.ts.map +1 -0
  407. package/dist/expressions/identifier-storage/storage-compatible.js +76 -0
  408. package/dist/expressions/identifier-storage/storage-compatible.js.map +1 -0
  409. package/dist/expressions/identifier-storage/storage-surface-match.d.ts +4 -0
  410. package/dist/expressions/identifier-storage/storage-surface-match.d.ts.map +1 -0
  411. package/dist/expressions/identifier-storage/storage-surface-match.js +95 -0
  412. package/dist/expressions/identifier-storage/storage-surface-match.js.map +1 -0
  413. package/dist/expressions/identifier-storage/storage-surface-shared.d.ts +12 -0
  414. package/dist/expressions/identifier-storage/storage-surface-shared.d.ts.map +1 -0
  415. package/dist/expressions/identifier-storage/storage-surface-shared.js +77 -0
  416. package/dist/expressions/identifier-storage/storage-surface-shared.js.map +1 -0
  417. package/dist/expressions/identifier-storage/storage-surface.d.ts +9 -0
  418. package/dist/expressions/identifier-storage/storage-surface.d.ts.map +1 -0
  419. package/dist/expressions/identifier-storage/storage-surface.js +9 -0
  420. package/dist/expressions/identifier-storage/storage-surface.js.map +1 -0
  421. package/dist/expressions/identifier-storage.d.ts +1 -42
  422. package/dist/expressions/identifier-storage.d.ts.map +1 -1
  423. package/dist/expressions/identifier-storage.js +1 -477
  424. package/dist/expressions/identifier-storage.js.map +1 -1
  425. package/dist/expressions/identifiers.d.ts.map +1 -1
  426. package/dist/expressions/identifiers.js +7 -16
  427. package/dist/expressions/identifiers.js.map +1 -1
  428. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js +9 -3
  429. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js.map +1 -1
  430. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js +4 -1
  431. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js.map +1 -1
  432. package/dist/expressions/index-cases/basic-literals-and-calls.test.js +3 -3
  433. package/dist/expressions/index-cases/basic-literals-and-calls.test.js.map +1 -1
  434. package/dist/expressions/index-cases/defaults-and-char-context.test.js +8 -2
  435. package/dist/expressions/index-cases/defaults-and-char-context.test.js.map +1 -1
  436. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js +17 -20
  437. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js.map +1 -1
  438. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js +7 -8
  439. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js.map +1 -1
  440. package/dist/expressions/index-cases/helpers.d.ts +6 -4
  441. package/dist/expressions/index-cases/helpers.d.ts.map +1 -1
  442. package/dist/expressions/index-cases/helpers.js +31 -2
  443. package/dist/expressions/index-cases/helpers.js.map +1 -1
  444. package/dist/expressions/index-cases/nullable-and-comparisons.test.js +9 -9
  445. package/dist/expressions/index-cases/nullable-and-comparisons.test.js.map +1 -1
  446. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js +3 -3
  447. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js.map +1 -1
  448. package/dist/expressions/index-cases/runtime-union-reification-b.test.js +19 -13
  449. package/dist/expressions/index-cases/runtime-union-reification-b.test.js.map +1 -1
  450. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js +22 -13
  451. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js.map +1 -1
  452. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js +5 -5
  453. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js.map +1 -1
  454. package/dist/expressions/lambda-body.js +3 -3
  455. package/dist/expressions/lambda-body.js.map +1 -1
  456. package/dist/expressions/lambda-parameters.d.ts.map +1 -1
  457. package/dist/expressions/lambda-parameters.js +97 -12
  458. package/dist/expressions/lambda-parameters.js.map +1 -1
  459. package/dist/expressions/object-literal.d.ts.map +1 -1
  460. package/dist/expressions/object-literal.js +48 -18
  461. package/dist/expressions/object-literal.js.map +1 -1
  462. package/dist/expressions/operators/binary-dispatch.d.ts +1 -1
  463. package/dist/expressions/operators/binary-dispatch.d.ts.map +1 -1
  464. package/dist/expressions/operators/binary-dispatch.js +52 -12
  465. package/dist/expressions/operators/binary-dispatch.js.map +1 -1
  466. package/dist/expressions/operators/binary-helpers.d.ts.map +1 -1
  467. package/dist/expressions/operators/binary-helpers.js +11 -1
  468. package/dist/expressions/operators/binary-helpers.js.map +1 -1
  469. package/dist/expressions/operators/binary-special-ops.d.ts +1 -11
  470. package/dist/expressions/operators/binary-special-ops.d.ts.map +1 -1
  471. package/dist/expressions/operators/binary-special-ops.js +214 -218
  472. package/dist/expressions/operators/binary-special-ops.js.map +1 -1
  473. package/dist/expressions/operators/conditional-emitter.d.ts.map +1 -1
  474. package/dist/expressions/operators/conditional-emitter.js +89 -19
  475. package/dist/expressions/operators/conditional-emitter.js.map +1 -1
  476. package/dist/expressions/operators/logical-emitter.js +1 -1
  477. package/dist/expressions/operators/logical-emitter.js.map +1 -1
  478. package/dist/expressions/operators/unary-emitter.d.ts.map +1 -1
  479. package/dist/expressions/operators/unary-emitter.js +7 -50
  480. package/dist/expressions/operators/unary-emitter.js.map +1 -1
  481. package/dist/expressions/other.d.ts +2 -6
  482. package/dist/expressions/other.d.ts.map +1 -1
  483. package/dist/expressions/other.js +6 -13
  484. package/dist/expressions/other.js.map +1 -1
  485. package/dist/expressions/post-emission-adaptation.d.ts +1 -1
  486. package/dist/expressions/post-emission-adaptation.d.ts.map +1 -1
  487. package/dist/expressions/post-emission-adaptation.js +55 -150
  488. package/dist/expressions/post-emission-adaptation.js.map +1 -1
  489. package/dist/expressions/precedence.test.js +5 -46
  490. package/dist/expressions/precedence.test.js.map +1 -1
  491. package/dist/expressions/runtime-union-adaptation-projection.d.ts.map +1 -1
  492. package/dist/expressions/runtime-union-adaptation-projection.js +25 -4
  493. package/dist/expressions/runtime-union-adaptation-projection.js.map +1 -1
  494. package/dist/expressions/runtime-union-adaptation-upcast.d.ts +1 -1
  495. package/dist/expressions/runtime-union-adaptation-upcast.d.ts.map +1 -1
  496. package/dist/expressions/runtime-union-adaptation-upcast.js +281 -31
  497. package/dist/expressions/runtime-union-adaptation-upcast.js.map +1 -1
  498. package/dist/expressions/structural-anonymous-targets.d.ts.map +1 -1
  499. package/dist/expressions/structural-anonymous-targets.js +5 -0
  500. package/dist/expressions/structural-anonymous-targets.js.map +1 -1
  501. package/dist/expressions/structural-collection-adaptation.d.ts.map +1 -1
  502. package/dist/expressions/structural-collection-adaptation.js +4 -2
  503. package/dist/expressions/structural-collection-adaptation.js.map +1 -1
  504. package/dist/expressions/structural-object-adaptation.d.ts.map +1 -1
  505. package/dist/expressions/structural-object-adaptation.js +58 -3
  506. package/dist/expressions/structural-object-adaptation.js.map +1 -1
  507. package/dist/expressions/structural-property-model.d.ts.map +1 -1
  508. package/dist/expressions/structural-property-model.js +7 -3
  509. package/dist/expressions/structural-property-model.js.map +1 -1
  510. package/dist/expressions/structural-type-shapes.d.ts.map +1 -1
  511. package/dist/expressions/structural-type-shapes.js +1 -1
  512. package/dist/expressions/structural-type-shapes.js.map +1 -1
  513. package/dist/expressions/structural-type-shapes.test.js +2 -1
  514. package/dist/expressions/structural-type-shapes.test.js.map +1 -1
  515. package/dist/expressions/type-assertion-emitters.d.ts.map +1 -1
  516. package/dist/expressions/type-assertion-emitters.js +231 -15
  517. package/dist/expressions/type-assertion-emitters.js.map +1 -1
  518. package/dist/fixture-regression-mirrors.test.js +43 -112
  519. package/dist/fixture-regression-mirrors.test.js.map +1 -1
  520. package/dist/generated-files.d.ts +0 -1
  521. package/dist/generated-files.d.ts.map +1 -1
  522. package/dist/generated-files.js +0 -229
  523. package/dist/generated-files.js.map +1 -1
  524. package/dist/generated-files.test.js +53 -1
  525. package/dist/generated-files.test.js.map +1 -1
  526. package/dist/golden-tests/runner.d.ts.map +1 -1
  527. package/dist/golden-tests/runner.js +1 -0
  528. package/dist/golden-tests/runner.js.map +1 -1
  529. package/dist/integration-cases/arrow-and-generics-a.test.js +52 -32
  530. package/dist/integration-cases/arrow-and-generics-a.test.js.map +1 -1
  531. package/dist/integration-cases/arrow-and-generics-b.test.js +17 -23
  532. package/dist/integration-cases/arrow-and-generics-b.test.js.map +1 -1
  533. package/dist/integration-cases/await-and-intrinsics.test.js +12 -10
  534. package/dist/integration-cases/await-and-intrinsics.test.js.map +1 -1
  535. package/dist/integration-cases/clr-iterable-overloads.test.js +58 -27
  536. package/dist/integration-cases/clr-iterable-overloads.test.js.map +1 -1
  537. package/dist/integration-cases/full-module-and-promises.test.js +21 -19
  538. package/dist/integration-cases/full-module-and-promises.test.js.map +1 -1
  539. package/dist/integration-cases/helpers.d.ts.map +1 -1
  540. package/dist/integration-cases/helpers.js +12 -33
  541. package/dist/integration-cases/helpers.js.map +1 -1
  542. package/dist/integration-cases/may14-downstream-contracts.test.d.ts +2 -0
  543. package/dist/integration-cases/may14-downstream-contracts.test.d.ts.map +1 -0
  544. package/dist/integration-cases/may14-downstream-contracts.test.js +894 -0
  545. package/dist/integration-cases/may14-downstream-contracts.test.js.map +1 -0
  546. package/dist/integration-cases/object-literals-and-channels.test.js +10 -4
  547. package/dist/integration-cases/object-literals-and-channels.test.js.map +1 -1
  548. package/dist/integration-cases/regression-coverage-a.test.js +36 -30
  549. package/dist/integration-cases/regression-coverage-a.test.js.map +1 -1
  550. package/dist/integration-cases/regression-coverage-b.test.js +95 -111
  551. package/dist/integration-cases/regression-coverage-b.test.js.map +1 -1
  552. package/dist/integration-cases/regression-coverage-c.test.js +499 -197
  553. package/dist/integration-cases/regression-coverage-c.test.js.map +1 -1
  554. package/dist/integration.test.d.ts +1 -0
  555. package/dist/integration.test.d.ts.map +1 -1
  556. package/dist/integration.test.js +1 -0
  557. package/dist/integration.test.js.map +1 -1
  558. package/dist/json-aot-generic.test.js +48 -200
  559. package/dist/json-aot-generic.test.js.map +1 -1
  560. package/dist/statements/block-emitters/block-and-return.d.ts +1 -1
  561. package/dist/statements/block-emitters/block-and-return.d.ts.map +1 -1
  562. package/dist/statements/block-emitters/block-and-return.js +9 -3
  563. package/dist/statements/block-emitters/block-and-return.js.map +1 -1
  564. package/dist/statements/classes/members/properties.d.ts.map +1 -1
  565. package/dist/statements/classes/members/properties.js +2 -3
  566. package/dist/statements/classes/members/properties.js.map +1 -1
  567. package/dist/statements/classes/properties.d.ts.map +1 -1
  568. package/dist/statements/classes/properties.js.map +1 -1
  569. package/dist/statements/control/conditionals/architecture-invariants.test.d.ts +2 -0
  570. package/dist/statements/control/conditionals/architecture-invariants.test.d.ts.map +1 -0
  571. package/dist/statements/control/conditionals/architecture-invariants.test.js +19 -0
  572. package/dist/statements/control/conditionals/architecture-invariants.test.js.map +1 -0
  573. package/dist/statements/control/conditionals/branch-context.d.ts +4 -6
  574. package/dist/statements/control/conditionals/branch-context.d.ts.map +1 -1
  575. package/dist/statements/control/conditionals/branch-context.js +105 -32
  576. package/dist/statements/control/conditionals/branch-context.js.map +1 -1
  577. package/dist/statements/control/conditionals/guard-analysis.d.ts +2 -2
  578. package/dist/statements/control/conditionals/guard-analysis.d.ts.map +1 -1
  579. package/dist/statements/control/conditionals/guard-analysis.js +1 -1
  580. package/dist/statements/control/conditionals/guard-analysis.js.map +1 -1
  581. package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts +2 -1
  582. package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts.map +1 -1
  583. package/dist/statements/control/conditionals/guard-detectors-discriminant.js +83 -1
  584. package/dist/statements/control/conditionals/guard-detectors-discriminant.js.map +1 -1
  585. package/dist/statements/control/conditionals/guard-detectors-structural.d.ts +2 -7
  586. package/dist/statements/control/conditionals/guard-detectors-structural.d.ts.map +1 -1
  587. package/dist/statements/control/conditionals/guard-detectors-structural.js +47 -82
  588. package/dist/statements/control/conditionals/guard-detectors-structural.js.map +1 -1
  589. package/dist/statements/control/conditionals/guard-detectors.d.ts +2 -2
  590. package/dist/statements/control/conditionals/guard-detectors.d.ts.map +1 -1
  591. package/dist/statements/control/conditionals/guard-detectors.js +2 -2
  592. package/dist/statements/control/conditionals/guard-detectors.js.map +1 -1
  593. package/dist/statements/control/conditionals/guard-extraction.d.ts +5 -7
  594. package/dist/statements/control/conditionals/guard-extraction.d.ts.map +1 -1
  595. package/dist/statements/control/conditionals/guard-extraction.js +10 -190
  596. package/dist/statements/control/conditionals/guard-extraction.js.map +1 -1
  597. package/dist/statements/control/conditionals/guard-types.d.ts +16 -26
  598. package/dist/statements/control/conditionals/guard-types.d.ts.map +1 -1
  599. package/dist/statements/control/conditionals/guard-types.js +23 -1
  600. package/dist/statements/control/conditionals/guard-types.js.map +1 -1
  601. package/dist/statements/control/conditionals/if-emit-instanceof-guards.d.ts.map +1 -1
  602. package/dist/statements/control/conditionals/if-emit-instanceof-guards.js +5 -8
  603. package/dist/statements/control/conditionals/if-emit-instanceof-guards.js.map +1 -1
  604. package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts +2 -8
  605. package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts.map +1 -1
  606. package/dist/statements/control/conditionals/if-emit-predicate-guards.js +4 -84
  607. package/dist/statements/control/conditionals/if-emit-predicate-guards.js.map +1 -1
  608. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts +2 -0
  609. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts.map +1 -1
  610. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js +87 -3
  611. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js.map +1 -1
  612. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.d.ts.map +1 -1
  613. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js +254 -20
  614. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js.map +1 -1
  615. package/dist/statements/control/conditionals/if-emit-union-guards.d.ts +2 -2
  616. package/dist/statements/control/conditionals/if-emit-union-guards.d.ts.map +1 -1
  617. package/dist/statements/control/conditionals/if-emit-union-guards.js +2 -2
  618. package/dist/statements/control/conditionals/if-emit-union-guards.js.map +1 -1
  619. package/dist/statements/control/conditionals/if-emitter.d.ts.map +1 -1
  620. package/dist/statements/control/conditionals/if-emitter.js +36 -43
  621. package/dist/statements/control/conditionals/if-emitter.js.map +1 -1
  622. package/dist/statements/control/conditionals/ir-branch-narrowings.d.ts +5 -0
  623. package/dist/statements/control/conditionals/ir-branch-narrowings.d.ts.map +1 -0
  624. package/dist/statements/control/conditionals/ir-branch-narrowings.js +16 -0
  625. package/dist/statements/control/conditionals/ir-branch-narrowings.js.map +1 -0
  626. package/dist/statements/control/loops.d.ts +2 -9
  627. package/dist/statements/control/loops.d.ts.map +1 -1
  628. package/dist/statements/control/loops.js +56 -48
  629. package/dist/statements/control/loops.js.map +1 -1
  630. package/dist/statements/declarations/classes.d.ts.map +1 -1
  631. package/dist/statements/declarations/classes.js.map +1 -1
  632. package/dist/statements/declarations/interfaces.d.ts.map +1 -1
  633. package/dist/statements/declarations/interfaces.js.map +1 -1
  634. package/dist/statements/declarations/structs.test.js +5 -4
  635. package/dist/statements/declarations/structs.test.js.map +1 -1
  636. package/dist/statements/declarations/type-aliases.js.map +1 -1
  637. package/dist/statements/declarations/variables.d.ts.map +1 -1
  638. package/dist/statements/declarations/variables.js +7 -4
  639. package/dist/statements/declarations/variables.js.map +1 -1
  640. package/dist/statements/statement-cases/flow-and-void.test.js +3 -3
  641. package/dist/statements/statement-cases/flow-and-void.test.js.map +1 -1
  642. package/dist/statements/statement-cases/helpers.d.ts +3 -2
  643. package/dist/statements/statement-cases/helpers.d.ts.map +1 -1
  644. package/dist/statements/statement-cases/helpers.js +1 -1
  645. package/dist/statements/statement-cases/helpers.js.map +1 -1
  646. package/dist/statements/statement-cases/if-and-instanceof-guards.test.js +21 -21
  647. package/dist/statements/statement-cases/if-and-instanceof-guards.test.js.map +1 -1
  648. package/dist/statements/statement-cases/union-guards-basic.test.js +3 -80
  649. package/dist/statements/statement-cases/union-guards-basic.test.js.map +1 -1
  650. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js +0 -196
  651. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js.map +1 -1
  652. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js +15 -15
  653. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js.map +1 -1
  654. package/dist/statements/statement-cases/union-guards-remapped-a.test.js +7 -189
  655. package/dist/statements/statement-cases/union-guards-remapped-a.test.js.map +1 -1
  656. package/dist/statements/statement-cases/union-guards-remapped-b.test.js +7 -193
  657. package/dist/statements/statement-cases/union-guards-remapped-b.test.js.map +1 -1
  658. package/dist/test-ir-strict.d.ts +7 -0
  659. package/dist/test-ir-strict.d.ts.map +1 -0
  660. package/dist/test-ir-strict.js +9 -0
  661. package/dist/test-ir-strict.js.map +1 -0
  662. package/dist/type-assertion.test.js +5 -4
  663. package/dist/type-assertion.test.js.map +1 -1
  664. package/dist/types/emitter.d.ts.map +1 -1
  665. package/dist/types/emitter.js +7 -1
  666. package/dist/types/emitter.js.map +1 -1
  667. package/dist/types/intersections.d.ts +2 -2
  668. package/dist/types/intersections.d.ts.map +1 -1
  669. package/dist/types/intersections.js +26 -6
  670. package/dist/types/intersections.js.map +1 -1
  671. package/dist/types/parameters.d.ts.map +1 -1
  672. package/dist/types/parameters.js +30 -5
  673. package/dist/types/parameters.js.map +1 -1
  674. package/dist/types/reference-structural-signatures.d.ts.map +1 -1
  675. package/dist/types/reference-structural-signatures.js +3 -6
  676. package/dist/types/reference-structural-signatures.js.map +1 -1
  677. package/dist/types/references-cases/array-and-cross-module.test.js +2 -4
  678. package/dist/types/references-cases/array-and-cross-module.test.js.map +1 -1
  679. package/dist/types/references-cases/bindings-and-local.test.js +2 -4
  680. package/dist/types/references-cases/bindings-and-local.test.js.map +1 -1
  681. package/dist/types/references-cases/helpers.d.ts +3 -2
  682. package/dist/types/references-cases/helpers.d.ts.map +1 -1
  683. package/dist/types/references-cases/helpers.js +2 -1
  684. package/dist/types/references-cases/helpers.js.map +1 -1
  685. package/dist/types/references.d.ts.map +1 -1
  686. package/dist/types/references.js +21 -2
  687. package/dist/types/references.js.map +1 -1
  688. package/dist/types/unions-cases/basic-and-ordering.test.js +51 -0
  689. package/dist/types/unions-cases/basic-and-ordering.test.js.map +1 -1
  690. package/dist/types/unions.d.ts.map +1 -1
  691. package/dist/types/unions.js +17 -0
  692. package/dist/types/unions.js.map +1 -1
  693. package/dist/types.d.ts +3 -1
  694. package/dist/types.d.ts.map +1 -1
  695. package/dist/types.js +2 -1
  696. package/dist/types.js.map +1 -1
  697. package/package.json +2 -2
  698. package/dist/core/semantic/js-value-types.d.ts +0 -5
  699. package/dist/core/semantic/js-value-types.d.ts.map +0 -1
  700. package/dist/core/semantic/js-value-types.js +0 -42
  701. package/dist/core/semantic/js-value-types.js.map +0 -1
  702. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts +0 -2
  703. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts.map +0 -1
  704. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js +0 -98
  705. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js.map +0 -1
  706. package/dist/expressions/calls/call-dynamic-import.d.ts +0 -11
  707. package/dist/expressions/calls/call-dynamic-import.d.ts.map +0 -1
  708. package/dist/expressions/calls/call-dynamic-import.js +0 -148
  709. package/dist/expressions/calls/call-dynamic-import.js.map +0 -1
@@ -234,7 +234,10 @@ describe("storage-erased-adaptation", () => {
234
234
  });
235
235
  });
236
236
  it("materializes nullable exact numeric storage before exact-value assignments", () => {
237
- const context = createContext({ rootNamespace: "Test", surface: "@tsonic/js" });
237
+ const context = createContext({
238
+ rootNamespace: "Test",
239
+ surface: "@tsonic/js",
240
+ });
238
241
  const result = adaptStorageErasedValueAst({
239
242
  valueAst: identifierExpression("value"),
240
243
  semanticType: { kind: "primitiveType", name: "int" },
@@ -1 +1 @@
1
- {"version":3,"file":"storage-erased-adaptation.test.js","sourceRoot":"","sources":["../../../src/core/semantic/storage-erased-adaptation.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAE5E,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;aAC7C;SACF,EACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+FAA+F,EAAE,GAAG,EAAE;QACvG,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,UAAU;YAChB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;SACzC,EACD;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,UAAU;YAChB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAC1D,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG;YACf,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,QAAiB,EAAE;YACjE,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;SAClB,CAAC;QAEF,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,8BAA8B;gBAC/C,MAAM,EAAE;oBACN,QAAQ,EAAE,gDAAgD;oBAC1D,OAAO,EAAE,8BAA8B;oBACvC,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,EACD;YACE,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,4BAA4B;gBAC7C,MAAM,EAAE;oBACN,QAAQ,EAAE,8CAA8C;oBACxD,OAAO,EAAE,4BAA4B;oBACrC,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,OAAO,GAAmB;YAC9B,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,IAAI;oBACJ;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;oCAC1C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,KAAK;oBACL;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;oCAC3C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,OAAO;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE;gCACL;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,KAAK;oCACX,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;gCACD;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,IAAI;oCACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;6BACF;yBACF;qBACF;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,WAAW;oBACjB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;4BAC1C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;4BAChD,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;gBACD;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,YAAY;oBAClB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;4BAC3C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;aACF;SACF,EACD;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;gBAC1C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAE/C,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ;YACR,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACvC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAChC,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;YACnD,UAAU,EAAE;gBACV,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBACnD,UAAU,EAAE,oBAAoB,CAAC,OAAO,CAAC;aAC1C;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;QAEhF,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACvC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;YACpD,WAAW,EAAE;gBACX,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oBACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;iBAC7C;aACF;YACD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;YACpD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAChC,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACzC,UAAU,EAAE,OAAO;SACpB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACvC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
1
+ {"version":3,"file":"storage-erased-adaptation.test.js","sourceRoot":"","sources":["../../../src/core/semantic/storage-erased-adaptation.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAE5E,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;aAC7C;SACF,EACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+FAA+F,EAAE,GAAG,EAAE;QACvG,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,UAAU;YAChB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;SACzC,EACD;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,UAAU;YAChB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAC1D,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG;YACf,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,QAAiB,EAAE;YACjE,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;SAClB,CAAC;QAEF,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,8BAA8B;gBAC/C,MAAM,EAAE;oBACN,QAAQ,EAAE,gDAAgD;oBAC1D,OAAO,EAAE,8BAA8B;oBACvC,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,EACD;YACE,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,4BAA4B;gBAC7C,MAAM,EAAE;oBACN,QAAQ,EAAE,8CAA8C;oBACxD,OAAO,EAAE,4BAA4B;oBACrC,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,OAAO,GAAmB;YAC9B,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,IAAI;oBACJ;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;oCAC1C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,KAAK;oBACL;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;oCAC3C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,OAAO;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE;gCACL;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,KAAK;oCACX,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;gCACD;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,IAAI;oCACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;6BACF;yBACF;qBACF;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,WAAW;oBACjB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;4BAC1C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;4BAChD,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;gBACD;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,YAAY;oBAClB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;4BAC3C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;aACF;SACF,EACD;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;gBAC1C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAE/C,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ;YACR,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACvC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAChC,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;YACnD,UAAU,EAAE;gBACV,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBACnD,UAAU,EAAE,oBAAoB,CAAC,OAAO,CAAC;aAC1C;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,OAAO,GAAG,aAAa,CAAC;YAC5B,aAAa,EAAE,MAAM;YACrB,OAAO,EAAE,YAAY;SACtB,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACvC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;YACpD,WAAW,EAAE;gBACX,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oBACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;iBAC7C;aACF;YACD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;YACpD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAChC,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACzC,UAAU,EAAE,OAAO;SACpB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACvC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -1,5 +1,8 @@
1
1
  import { IrType } from "@tsonic/frontend";
2
2
  import type { EmitterContext } from "../../types.js";
3
+ export declare const resolveRuntimeStorageArrayLikeElementType: (type: IrType | undefined, context: EmitterContext) => IrType | undefined;
4
+ export declare const resolveRuntimeStorageType: (type: IrType | undefined, context: EmitterContext) => IrType | undefined;
5
+ export declare const resolveRuntimeStoragePropertyType: (receiverType: IrType | undefined, propertyName: string, fallbackType: IrType | undefined, context: EmitterContext) => IrType | undefined;
3
6
  export declare const isObjectStorageType: (type: IrType | undefined, context: EmitterContext) => boolean;
4
7
  export declare function shouldUseBroadObjectForUnionStorage(type: Extract<IrType, {
5
8
  kind: "unionType";
@@ -1 +1 @@
1
- {"version":3,"file":"storage-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/storage-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAqB,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAoCrD,eAAO,MAAM,mBAAmB,GAC9B,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,OAWF,CAAC;AAEF,wBAAgB,mCAAmC,CACjD,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EAC5C,OAAO,EAAE,cAAc,EACvB,eAAe,GAAE,WAAW,CAAC,MAAM,CAAqB,GACvD,OAAO,CAwCT;AA+OD,eAAO,MAAM,2BAA2B,GACtC,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,EACvB,kBAAiB,WAAW,CAAC,MAAM,CAAqB,KACvD,MAAM,GAAG,SAiOX,CAAC"}
1
+ {"version":3,"file":"storage-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/storage-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAqB,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAyBrD,eAAO,MAAM,yCAAyC,GACpD,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,MAAM,GAAG,SAIX,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,MAAM,GAAG,SAAuD,CAAC;AAEpE,eAAO,MAAM,iCAAiC,GAC5C,cAAc,MAAM,GAAG,SAAS,EAChC,cAAc,MAAM,EACpB,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,MAAM,GAAG,SAIX,CAAC;AAeF,eAAO,MAAM,mBAAmB,GAC9B,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,OAWF,CAAC;AAEF,wBAAgB,mCAAmC,CACjD,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EAC5C,OAAO,EAAE,cAAc,EACvB,eAAe,GAAE,WAAW,CAAC,MAAM,CAAqB,GACvD,OAAO,CAwCT;AA4OD,eAAO,MAAM,2BAA2B,GACtC,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,EACvB,kBAAiB,WAAW,CAAC,MAAM,CAAqB,KACvD,MAAM,GAAG,SAgPX,CAAC"}
@@ -1,6 +1,6 @@
1
1
  import { isAwaitableIrType } from "@tsonic/frontend";
2
- import { getCanonicalRuntimeUnionMembers } from "./runtime-unions.js";
3
- import { resolveTypeAlias, splitRuntimeNullishUnionMembers, } from "./type-resolution.js";
2
+ import { getCanonicalRuntimeUnionMembers } from "./runtime-union-frame.js";
3
+ import { getPropertyType, resolveArrayLikeReceiverType, resolveTypeAlias, splitRuntimeNullishUnionMembers, } from "./type-resolution.js";
4
4
  import { rebuildUnionTypePreservingCarrierFamily } from "./runtime-union-family-preservation.js";
5
5
  import { isBroadObjectSlotType } from "./broad-object-types.js";
6
6
  import { referenceTypeHasClrIdentity } from "./clr-type-identity.js";
@@ -15,6 +15,17 @@ const OBJECT_STORAGE_TYPE = {
15
15
  name: "object",
16
16
  resolvedClrType: "System.Object",
17
17
  };
18
+ export const resolveRuntimeStorageArrayLikeElementType = (type, context) => {
19
+ if (!type)
20
+ return undefined;
21
+ const storageType = resolveRuntimeStorageType(type, context) ?? type;
22
+ return resolveArrayLikeReceiverType(storageType, context)?.elementType;
23
+ };
24
+ export const resolveRuntimeStorageType = (type, context) => normalizeRuntimeStorageType(type, context);
25
+ export const resolveRuntimeStoragePropertyType = (receiverType, propertyName, fallbackType, context) => {
26
+ const propertyType = getPropertyType(receiverType, propertyName, context) ?? fallbackType;
27
+ return resolveRuntimeStorageType(propertyType, context) ?? propertyType;
28
+ };
18
29
  const typesEquivalent = (left, right, context) => areIrTypesEquivalent(left, right, context);
19
30
  const containsEquivalentType = (types, type, context) => types.some((candidate) => typesEquivalent(candidate, type, context));
20
31
  export const isObjectStorageType = (type, context) => {
@@ -170,8 +181,7 @@ const normalizeOutOfScopeTypeParameters = (type, context, visited = new WeakSet(
170
181
  };
171
182
  });
172
183
  const normalizedReturnType = normalizeOutOfScopeTypeParameters(resolved.returnType, context, visited);
173
- return normalizedParameters.every((parameter, index) => typesEquivalent(parameter.type ?? { kind: "voidType" }, resolved.parameters[index]?.type ?? { kind: "voidType" }, context)) &&
174
- typesEquivalent(normalizedReturnType, resolved.returnType, context)
184
+ return normalizedParameters.every((parameter, index) => typesEquivalent(parameter.type ?? { kind: "voidType" }, resolved.parameters[index]?.type ?? { kind: "voidType" }, context)) && typesEquivalent(normalizedReturnType, resolved.returnType, context)
175
185
  ? resolved
176
186
  : {
177
187
  ...resolved,
@@ -202,6 +212,9 @@ export const normalizeRuntimeStorageType = (type, context, activeArrayKeys = new
202
212
  });
203
213
  if (resolvedAlias.kind === "unionType" &&
204
214
  resolvedAlias.runtimeCarrierFamilyKey) {
215
+ if (shouldUseBroadObjectForUnionStorage(resolvedAlias, context, activeArrayKeys)) {
216
+ return normalizeRuntimeStorageType(resolvedAlias, context, activeArrayKeys);
217
+ }
205
218
  if (!type.typeArguments || type.typeArguments.length === 0) {
206
219
  return type;
207
220
  }
@@ -1 +1 @@
1
- {"version":3,"file":"storage-types.js","sourceRoot":"","sources":["../../../src/core/semantic/storage-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EACL,gBAAgB,EAChB,+BAA+B,GAChC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AACjG,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAEzE,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,eAAe;IACf,uBAAuB;CACxB,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAW;IAClC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,eAAe;CACjC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAAY,EACZ,KAAa,EACb,OAAuB,EACd,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAEzD,MAAM,sBAAsB,GAAG,CAC7B,KAAwB,EACxB,IAAY,EACZ,OAAuB,EACd,EAAE,CACX,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YACzB,2BAA2B,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC,CAClE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,mCAAmC,CACjD,IAA4C,EAC5C,OAAuB,EACvB,kBAAuC,IAAI,GAAG,EAAU;IAExD,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,iBAAiB,GAAG,KAAK,EAAE,iBAAiB,IAAI,IAAI,CAAC,KAAK,CAAC;IACjE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9D,CAAC;IAED,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,uBAAuB,GAAG,+BAA+B,CAC7D,uCAAuC,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAChE,OAAO,CACR,CAAC;IACF,MAAM,cAAc,GAClB,uBAAuB,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC;QAC3D,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,iBAAiB,CAAC;IACxB,IACE,cAAc,CAAC,MAAM,GAAG,CAAC;QACzB,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAC1D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,CAAC;QACpC,MAAM,gBAAgB,GACpB,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,IAAI,MAAM,CAAC;QAC1E,IAAI,sBAAsB,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YACzE,SAAS;QACX,CAAC;QACD,iBAAiB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,CACL,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC5B,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,MAAM,sBAAsB,GAAG,CAC7B,IAAY,EACZ,OAAuB,EACd,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;AAEzD,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE,CACvD,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAEtD,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAClB,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;IAClE,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC,8CAA8C;YAC3D,CAAC,CAAC,IAAI,CAAC,IAAI;YACX,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACvB,UAA2B,IAAI,OAAO,EAAU,EACxC,EAAE;IACV,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;YACpD,yBAAyB,EAAE,IAAI;SAChC,CAAC,CAAC;QACH,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,aAAa,CAAC,uBAAuB,EACrC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,uBAAuB,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACtE,iCAAiC,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,CAClE,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAClC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CACtB,eAAe,CACb,YAAY,EACZ,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,YAAY,EAC3C,OAAO,CACR,CACJ;gBACC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;QAC/C,yBAAyB,EAAE,IAAI;KAChC,CAAC,CAAC;IAEH,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,mBAAmB;YACtB,OAAO,sBAAsB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;gBACnD,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,mBAAmB,CAAC;QAE1B,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,qBAAqB,GAAG,iCAAiC,CAC7D,QAAQ,CAAC,WAAW,EACpB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,eAAe,CAAC,qBAAqB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;gBAC1E,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,WAAW,EAAE,qBAAqB;iBACnC,CAAC;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,iBAAiB,GAAG,iCAAiC,CACzD,QAAQ,CAAC,OAAO,EAChB,OAAO,EACP,OAAO,CACR,CAAC;YACF,MAAM,mBAAmB,GAAG,iCAAiC,CAC3D,QAAQ,CAAC,SAAS,EAClB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,eAAe,CAAC,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;gBAClE,eAAe,CAAC,mBAAmB,EAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;gBACjE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,OAAO,EAAE,iBAAiB;oBAC1B,SAAS,EAAE,mBAAmB;iBAC/B,CAAC;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,sBAAsB,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CACvE,iCAAiC,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CACjE,CAAC;YACF,OAAO,sBAAsB,CAAC,KAAK,CACjC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CACrB,eAAe,CACb,WAAW,EACX,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,WAAW,EAC3C,OAAO,CACR,CACJ;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,YAAY,EAAE,sBAAsB;iBACrC,CAAC;QACR,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnE,OAAO,QAAQ,CAAC;YAClB,CAAC;YAED,MAAM,uBAAuB,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrE,iCAAiC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAC7D,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAClC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACjB,eAAe,CACb,OAAO,EACP,QAAQ,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,OAAO,EAC1C,OAAO,CACR,CACJ;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtD,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAC5D,CAAC;YACF,OAAO,iBAAiB,CAAC,KAAK,CAC5B,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAChB,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,OAAO,CAAC,CACpE;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,KAAK,EAAE,iBAAiB;iBACzB,CAAC;QACR,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,oBAAoB,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;gBACjE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;oBACpB,OAAO,SAAS,CAAC;gBACnB,CAAC;gBAED,MAAM,uBAAuB,GAAG,iCAAiC,CAC/D,SAAS,CAAC,IAAI,EACd,OAAO,EACP,OAAO,CACR,CAAC;gBACF,OAAO,eAAe,CAAC,uBAAuB,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC;oBACtE,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC;wBACE,GAAG,SAAS;wBACZ,IAAI,EAAE,uBAAuB;qBAC9B,CAAC;YACR,CAAC,CAAC,CAAC;YACH,MAAM,oBAAoB,GAAG,iCAAiC,CAC5D,QAAQ,CAAC,UAAU,EACnB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,oBAAoB,CAAC,KAAK,CAC/B,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACnB,eAAe,CACb,SAAS,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EACtC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EACxD,OAAO,CACR,CACJ;gBACC,eAAe,CAAC,oBAAoB,EAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;gBACnE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,UAAU,EAAE,oBAAoB;oBAChC,UAAU,EAAE,oBAAoB;iBACjC,CAAC;QACR,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtD,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAC5D,CAAC;YACF,OAAO,iBAAiB,CAAC,KAAK,CAC5B,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAChB,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,OAAO,CAAC,CACpE;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,KAAK,EAAE,iBAAiB;iBACzB,CAAC;QACR,CAAC;QAED;YACE,OAAO,QAAQ,CAAC;IACpB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAwB,EACxB,OAAuB,EACvB,kBAAuC,IAAI,GAAG,EAAU,EACpC,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;YACpD,yBAAyB,EAAE,IAAI;SAChC,CAAC,CAAC;QACH,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,aAAa,CAAC,uBAAuB,EACrC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,uBAAuB,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACtE,iCAAiC,CAAC,YAAY,EAAE,OAAO,CAAC,CACzD,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAClC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CACtB,eAAe,CACb,YAAY,EACZ,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,YAAY,EAC3C,OAAO,CACR,CACJ;gBACC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAElE,IACE,QAAQ,CAAC,IAAI,KAAK,aAAa;QAC/B,QAAQ,CAAC,IAAI,KAAK,SAAS;QAC3B,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,EACjE,CAAC;QACD,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,QAAQ,OAAO,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC9B,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnD,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnD,KAAK,SAAS;gBACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YACpD;gBACE,OAAO,QAAQ,CAAC;QACpB,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;QAC5C,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzB,MAAM,qBAAqB,GACzB,2BAA2B,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC;YACtE,QAAQ,CAAC,WAAW,CAAC;QAEvB,OAAO,eAAe,CAAC,qBAAqB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;YAC1E,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC;gBACE,GAAG,QAAQ;gBACX,WAAW,EAAE,qBAAqB;aACnC,CAAC;IACR,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,IACE,mCAAmC,CAAC,QAAQ,EAAE,OAAO,EAAE,eAAe,CAAC,EACvE,CAAC;YACD,MAAM,KAAK,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;YACrE,OAAO,KAAK,EAAE,iBAAiB;gBAC7B,CAAC,CAAC,uCAAuC,CAAC,QAAQ,EAAE;oBAChD,mBAAmB;oBACnB,GAAG,cAAc;iBAClB,CAAC;gBACJ,CAAC,CAAC,mBAAmB,CAAC;QAC1B,CAAC;QAED,MAAM,aAAa,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;QAChE,MAAM,yBAAyB,GAC7B,aAAa,EAAE,iBAAiB,IAAI,QAAQ,CAAC,KAAK,CAAC;QACrD,MAAM,uBAAuB,GAC3B,yBAAyB,CAAC,MAAM,GAAG,CAAC;YAClC,CAAC,CAAC,+BAA+B,CAC7B,uCAAuC,CACrC,QAAQ,EACR,yBAAyB,CAC1B,EACD,OAAO,CACR;YACH,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,0BAA0B,GAAa,EAAE,CAAC;YAChD,KAAK,MAAM,MAAM,IAAI,uBAAuB,EAAE,CAAC;gBAC7C,MAAM,gBAAgB,GACpB,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC;oBAC7D,MAAM,CAAC;gBACT,IACE,sBAAsB,CACpB,0BAA0B,EAC1B,gBAAgB,EAChB,OAAO,CACR,EACD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,0BAA0B,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACpD,CAAC;YAED,IAAI,CAAC,aAAa,EAAE,iBAAiB,EAAE,CAAC;gBACtC,OAAO,uCAAuC,CAC5C,QAAQ,EACR,0BAA0B,CAC3B,CAAC;YACJ,CAAC;YAED,MAAM,oBAAoB,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAChD,sBAAsB,CACvB,CAAC;YACF,OAAO,uCAAuC,CAAC,QAAQ,EAAE;gBACvD,GAAG,0BAA0B;gBAC7B,GAAG,oBAAoB;aACxB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,KAAK,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,2BAA2B,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAC7D,CAAC,MAAM,EAAE,EAAE,CACT,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC;gBAC7D,MAAM,CACT,CAAC;YACF,MAAM,kCAAkC,GAAa,EAAE,CAAC;YAExD,KAAK,MAAM,MAAM,IAAI,2BAA2B,EAAE,CAAC;gBACjD,IACE,sBAAsB,CACpB,kCAAkC,EAClC,MAAM,EACN,OAAO,CACR,EACD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,kCAAkC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClD,CAAC;YAED,IAAI,kCAAkC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpD,MAAM,CAAC,sBAAsB,CAAC,GAAG,kCAAkC,CAAC;gBACpE,MAAM,CAAC,oBAAoB,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC;gBACvD,IAAI,CAAC,sBAAsB,EAAE,CAAC;oBAC5B,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBAED,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;gBACrE,IACE,oBAAoB;oBACpB,iCAAiC,CAAC,oBAAoB,EAAE,OAAO,CAAC,EAChE,CAAC;oBACD,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;wBAChC,CAAC,CAAC,mBAAmB;wBACrB,CAAC,CAAC;4BACE,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE,CAAC,mBAAmB,EAAE,GAAG,cAAc,CAAC;yBAChD,CAAC;gBACR,CAAC;gBACD,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;oBAChC,CAAC,CAAC,sBAAsB;oBACxB,CAAC,CAAC,uCAAuC,CAAC,QAAQ,EAAE;wBAChD,sBAAsB;wBACtB,GAAG,cAAc;qBAClB,CAAC,CAAC;YACT,CAAC;QACH,CAAC;QAED,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,gBAAgB,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,iCAAiC,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAC9D;aACF,CAAC;QACJ,CAAC;QACD,MAAM,0BAA0B,GAC9B,2BAA2B,CAAC,gBAAgB,EAAE,OAAO,EAAE,eAAe,CAAC;YACvE,gBAAgB,CAAC;QAEnB,IAAI,eAAe,CAAC,0BAA0B,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YAC3E,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,OAAO,uCAAuC,CAC5C,QAAQ,EACR,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5B,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,0BAA0B,CACrE,CACF,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}
1
+ {"version":3,"file":"storage-types.js","sourceRoot":"","sources":["../../../src/core/semantic/storage-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AAC3E,OAAO,EACL,eAAe,EACf,4BAA4B,EAC5B,gBAAgB,EAChB,+BAA+B,GAChC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AACjG,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAEzE,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,eAAe;IACf,uBAAuB;CACxB,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAW;IAClC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,eAAe;CACjC,CAAC;AAEF,MAAM,CAAC,MAAM,yCAAyC,GAAG,CACvD,IAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,WAAW,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC;IACrE,OAAO,4BAA4B,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAwB,EACxB,OAAuB,EACH,EAAE,CAAC,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAEpE,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,YAAgC,EAChC,YAAoB,EACpB,YAAgC,EAChC,OAAuB,EACH,EAAE;IACtB,MAAM,YAAY,GAChB,eAAe,CAAC,YAAY,EAAE,YAAY,EAAE,OAAO,CAAC,IAAI,YAAY,CAAC;IACvE,OAAO,yBAAyB,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,YAAY,CAAC;AAC1E,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAAY,EACZ,KAAa,EACb,OAAuB,EACd,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAEzD,MAAM,sBAAsB,GAAG,CAC7B,KAAwB,EACxB,IAAY,EACZ,OAAuB,EACd,EAAE,CACX,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YACzB,2BAA2B,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC,CAClE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,mCAAmC,CACjD,IAA4C,EAC5C,OAAuB,EACvB,kBAAuC,IAAI,GAAG,EAAU;IAExD,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,iBAAiB,GAAG,KAAK,EAAE,iBAAiB,IAAI,IAAI,CAAC,KAAK,CAAC;IACjE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9D,CAAC;IAED,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,uBAAuB,GAAG,+BAA+B,CAC7D,uCAAuC,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAChE,OAAO,CACR,CAAC;IACF,MAAM,cAAc,GAClB,uBAAuB,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC;QAC3D,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,iBAAiB,CAAC;IACxB,IACE,cAAc,CAAC,MAAM,GAAG,CAAC;QACzB,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAC1D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,CAAC;QACpC,MAAM,gBAAgB,GACpB,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,IAAI,MAAM,CAAC;QAC1E,IAAI,sBAAsB,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YACzE,SAAS;QACX,CAAC;QACD,iBAAiB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,CACL,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC5B,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,MAAM,sBAAsB,GAAG,CAC7B,IAAY,EACZ,OAAuB,EACd,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;AAEzD,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE,CACvD,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAEtD,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAClB,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;IAClE,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC,8CAA8C;YAC3D,CAAC,CAAC,IAAI,CAAC,IAAI;YACX,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACvB,UAA2B,IAAI,OAAO,EAAU,EACxC,EAAE;IACV,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;YACpD,yBAAyB,EAAE,IAAI;SAChC,CAAC,CAAC;QACH,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,aAAa,CAAC,uBAAuB,EACrC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,uBAAuB,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACtE,iCAAiC,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,CAClE,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CAC3D,eAAe,CACb,YAAY,EACZ,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,YAAY,EAC3C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;QAC/C,yBAAyB,EAAE,IAAI;KAChC,CAAC,CAAC;IAEH,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,mBAAmB;YACtB,OAAO,sBAAsB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;gBACnD,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,mBAAmB,CAAC;QAE1B,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,qBAAqB,GAAG,iCAAiC,CAC7D,QAAQ,CAAC,WAAW,EACpB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,eAAe,CACpB,qBAAqB,EACrB,QAAQ,CAAC,WAAW,EACpB,OAAO,CACR;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,WAAW,EAAE,qBAAqB;iBACnC,CAAC;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,iBAAiB,GAAG,iCAAiC,CACzD,QAAQ,CAAC,OAAO,EAChB,OAAO,EACP,OAAO,CACR,CAAC;YACF,MAAM,mBAAmB,GAAG,iCAAiC,CAC3D,QAAQ,CAAC,SAAS,EAClB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,eAAe,CAAC,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;gBAClE,eAAe,CAAC,mBAAmB,EAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;gBACjE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,OAAO,EAAE,iBAAiB;oBAC1B,SAAS,EAAE,mBAAmB;iBAC/B,CAAC;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,sBAAsB,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CACvE,iCAAiC,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CACjE,CAAC;YACF,OAAO,sBAAsB,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CACzD,eAAe,CACb,WAAW,EACX,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,WAAW,EAC3C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,YAAY,EAAE,sBAAsB;iBACrC,CAAC;QACR,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnE,OAAO,QAAQ,CAAC;YAClB,CAAC;YAED,MAAM,uBAAuB,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrE,iCAAiC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAC7D,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACtD,eAAe,CACb,OAAO,EACP,QAAQ,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,OAAO,EAC1C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtD,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAC5D,CAAC;YACF,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAC/C,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,OAAO,CAAC,CAClE;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,KAAK,EAAE,iBAAiB;iBACzB,CAAC;QACR,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,oBAAoB,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;gBACjE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;oBACpB,OAAO,SAAS,CAAC;gBACnB,CAAC;gBAED,MAAM,uBAAuB,GAAG,iCAAiC,CAC/D,SAAS,CAAC,IAAI,EACd,OAAO,EACP,OAAO,CACR,CAAC;gBACF,OAAO,eAAe,CAAC,uBAAuB,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC;oBACtE,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC;wBACE,GAAG,SAAS;wBACZ,IAAI,EAAE,uBAAuB;qBAC9B,CAAC;YACR,CAAC,CAAC,CAAC;YACH,MAAM,oBAAoB,GAAG,iCAAiC,CAC5D,QAAQ,CAAC,UAAU,EACnB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACrD,eAAe,CACb,SAAS,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EACtC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EACxD,OAAO,CACR,CACF,IAAI,eAAe,CAAC,oBAAoB,EAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;gBACtE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,UAAU,EAAE,oBAAoB;oBAChC,UAAU,EAAE,oBAAoB;iBACjC,CAAC;QACR,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtD,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAC5D,CAAC;YACF,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAC/C,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,OAAO,CAAC,CAClE;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,KAAK,EAAE,iBAAiB;iBACzB,CAAC;QACR,CAAC;QAED;YACE,OAAO,QAAQ,CAAC;IACpB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAwB,EACxB,OAAuB,EACvB,kBAAuC,IAAI,GAAG,EAAU,EACpC,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;YACpD,yBAAyB,EAAE,IAAI;SAChC,CAAC,CAAC;QACH,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,aAAa,CAAC,uBAAuB,EACrC,CAAC;YACD,IACE,mCAAmC,CACjC,aAAa,EACb,OAAO,EACP,eAAe,CAChB,EACD,CAAC;gBACD,OAAO,2BAA2B,CAChC,aAAa,EACb,OAAO,EACP,eAAe,CAChB,CAAC;YACJ,CAAC;YAED,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,uBAAuB,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACtE,iCAAiC,CAAC,YAAY,EAAE,OAAO,CAAC,CACzD,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CAC3D,eAAe,CACb,YAAY,EACZ,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,YAAY,EAC3C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAElE,IACE,QAAQ,CAAC,IAAI,KAAK,aAAa;QAC/B,QAAQ,CAAC,IAAI,KAAK,SAAS;QAC3B,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,EACjE,CAAC;QACD,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,QAAQ,OAAO,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC9B,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnD,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnD,KAAK,SAAS;gBACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YACpD;gBACE,OAAO,QAAQ,CAAC;QACpB,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;QAC5C,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzB,MAAM,qBAAqB,GACzB,2BAA2B,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC;YACtE,QAAQ,CAAC,WAAW,CAAC;QAEvB,OAAO,eAAe,CAAC,qBAAqB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;YAC1E,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC;gBACE,GAAG,QAAQ;gBACX,WAAW,EAAE,qBAAqB;aACnC,CAAC;IACR,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,IACE,mCAAmC,CAAC,QAAQ,EAAE,OAAO,EAAE,eAAe,CAAC,EACvE,CAAC;YACD,MAAM,KAAK,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;YACrE,OAAO,KAAK,EAAE,iBAAiB;gBAC7B,CAAC,CAAC,uCAAuC,CAAC,QAAQ,EAAE;oBAChD,mBAAmB;oBACnB,GAAG,cAAc;iBAClB,CAAC;gBACJ,CAAC,CAAC,mBAAmB,CAAC;QAC1B,CAAC;QAED,MAAM,aAAa,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;QAChE,MAAM,yBAAyB,GAC7B,aAAa,EAAE,iBAAiB,IAAI,QAAQ,CAAC,KAAK,CAAC;QACrD,MAAM,uBAAuB,GAC3B,yBAAyB,CAAC,MAAM,GAAG,CAAC;YAClC,CAAC,CAAC,+BAA+B,CAC7B,uCAAuC,CACrC,QAAQ,EACR,yBAAyB,CAC1B,EACD,OAAO,CACR;YACH,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,0BAA0B,GAAa,EAAE,CAAC;YAChD,KAAK,MAAM,MAAM,IAAI,uBAAuB,EAAE,CAAC;gBAC7C,MAAM,gBAAgB,GACpB,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC;oBAC7D,MAAM,CAAC;gBACT,IACE,sBAAsB,CACpB,0BAA0B,EAC1B,gBAAgB,EAChB,OAAO,CACR,EACD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,0BAA0B,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACpD,CAAC;YAED,IAAI,CAAC,aAAa,EAAE,iBAAiB,EAAE,CAAC;gBACtC,OAAO,uCAAuC,CAC5C,QAAQ,EACR,0BAA0B,CAC3B,CAAC;YACJ,CAAC;YAED,MAAM,oBAAoB,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAChD,sBAAsB,CACvB,CAAC;YACF,OAAO,uCAAuC,CAAC,QAAQ,EAAE;gBACvD,GAAG,0BAA0B;gBAC7B,GAAG,oBAAoB;aACxB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,KAAK,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,2BAA2B,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAC7D,CAAC,MAAM,EAAE,EAAE,CACT,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC;gBAC7D,MAAM,CACT,CAAC;YACF,MAAM,kCAAkC,GAAa,EAAE,CAAC;YAExD,KAAK,MAAM,MAAM,IAAI,2BAA2B,EAAE,CAAC;gBACjD,IACE,sBAAsB,CACpB,kCAAkC,EAClC,MAAM,EACN,OAAO,CACR,EACD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,kCAAkC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClD,CAAC;YAED,IAAI,kCAAkC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpD,MAAM,CAAC,sBAAsB,CAAC,GAAG,kCAAkC,CAAC;gBACpE,MAAM,CAAC,oBAAoB,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC;gBACvD,IAAI,CAAC,sBAAsB,EAAE,CAAC;oBAC5B,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBAED,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;gBACrE,IACE,oBAAoB;oBACpB,iCAAiC,CAAC,oBAAoB,EAAE,OAAO,CAAC,EAChE,CAAC;oBACD,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;wBAChC,CAAC,CAAC,mBAAmB;wBACrB,CAAC,CAAC;4BACE,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE,CAAC,mBAAmB,EAAE,GAAG,cAAc,CAAC;yBAChD,CAAC;gBACR,CAAC;gBACD,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;oBAChC,CAAC,CAAC,sBAAsB;oBACxB,CAAC,CAAC,uCAAuC,CAAC,QAAQ,EAAE;wBAChD,sBAAsB;wBACtB,GAAG,cAAc;qBAClB,CAAC,CAAC;YACT,CAAC;QACH,CAAC;QAED,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,gBAAgB,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,iCAAiC,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAC9D;aACF,CAAC;QACJ,CAAC;QACD,MAAM,0BAA0B,GAC9B,2BAA2B,CAAC,gBAAgB,EAAE,OAAO,EAAE,eAAe,CAAC;YACvE,gBAAgB,CAAC;QAEnB,IACE,eAAe,CAAC,0BAA0B,EAAE,gBAAgB,EAAE,OAAO,CAAC,EACtE,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,OAAO,uCAAuC,CAC5C,QAAQ,EACR,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5B,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,0BAA0B,CACrE,CACF,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}
@@ -9,7 +9,10 @@ import type { EmitterContext } from "../../types.js";
9
9
  export declare const isCompilerGeneratedStructuralReferenceType: (type: Extract<IrType, {
10
10
  kind: "referenceType";
11
11
  }>) => boolean;
12
- export declare const resolveIteratorResultReferenceType: (type: IrType, context: EmitterContext) => Extract<IrType, {
12
+ type IteratorResultResolutionState = {
13
+ readonly activeReferenceKeys: Set<string>;
14
+ };
15
+ export declare const resolveIteratorResultReferenceType: (type: IrType, context: EmitterContext, state?: IteratorResultResolutionState) => Extract<IrType, {
13
16
  kind: "referenceType";
14
17
  }> | undefined;
15
18
  /**
@@ -19,4 +22,5 @@ export declare const resolveIteratorResultReferenceType: (type: IrType, context:
19
22
  */
20
23
  export declare const resolveStructuralReferenceType: (type: IrType, context: EmitterContext) => IrType | undefined;
21
24
  export declare const normalizeStructuralEmissionType: (type: IrType, context: EmitterContext) => IrType;
25
+ export {};
22
26
  //# sourceMappingURL=structural-shape-matching.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"structural-shape-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/structural-shape-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAOrD,eAAO,MAAM,0CAA0C,GACrD,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,KAC/C,OAOF,CAAC;AAiEF,eAAO,MAAM,kCAAkC,GAC7C,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,GAAG,SA0B/C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,GACzC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAAM,GAAG,SAaX,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MA2MF,CAAC"}
1
+ {"version":3,"file":"structural-shape-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/structural-shape-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAQrD,eAAO,MAAM,0CAA0C,GACrD,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,KAC/C,OAOF,CAAC;AAkBF,KAAK,6BAA6B,GAAG;IACnC,QAAQ,CAAC,mBAAmB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC3C,CAAC;AA0DF,eAAO,MAAM,kCAAkC,GAC7C,MAAM,MAAM,EACZ,SAAS,cAAc,EACvB,QAAO,6BAAkE,KACxE,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,GAAG,SAgD/C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,GACzC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAAM,GAAG,SAaX,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MA2MF,CAAC"}
@@ -5,6 +5,7 @@
5
5
  * comparison logic and the normalizeStructuralEmissionType deep walker.
6
6
  */
7
7
  import { resolveTypeAlias, stripNullish } from "./nullish-value-helpers.js";
8
+ import { getReferenceNominalIdentityKey } from "./reference-type-identity.js";
8
9
  import { rebuildUnionTypePreservingCarrierFamily } from "./runtime-union-family-preservation.js";
9
10
  const isCompilerGeneratedStructuralName = (name) => !!name && (name.startsWith("__Anon_") || name.startsWith("__Rest_"));
10
11
  export const isCompilerGeneratedStructuralReferenceType = (type) => {
@@ -19,6 +20,10 @@ const buildReferenceType = (name, resolvedClrType, typeArguments) => ({
19
20
  ...(resolvedClrType ? { resolvedClrType } : {}),
20
21
  ...(typeArguments ? { typeArguments: [...typeArguments] } : {}),
21
22
  });
23
+ const getIteratorResultReferenceKey = (type, context) => getReferenceNominalIdentityKey(type, context) ??
24
+ type.typeId?.stableId ??
25
+ type.resolvedClrType ??
26
+ type.name;
22
27
  const tryResolveIteratorResultVariant = (type, context) => {
23
28
  const resolved = resolveTypeAlias(stripNullish(type), context);
24
29
  const members = resolved.kind === "objectType"
@@ -50,12 +55,32 @@ const tryResolveIteratorResultVariant = (type, context) => {
50
55
  valueType: valueProperty.type,
51
56
  };
52
57
  };
53
- export const resolveIteratorResultReferenceType = (type, context) => {
54
- const resolved = resolveTypeAlias(stripNullish(type), context);
55
- if (resolved.kind !== "unionType" || resolved.types.length !== 2) {
58
+ export const resolveIteratorResultReferenceType = (type, context, state = { activeReferenceKeys: new Set() }) => {
59
+ const stripped = stripNullish(type);
60
+ if (stripped.kind === "referenceType") {
61
+ const key = getIteratorResultReferenceKey(stripped, context);
62
+ if (state.activeReferenceKeys.has(key)) {
63
+ return undefined;
64
+ }
65
+ state.activeReferenceKeys.add(key);
66
+ try {
67
+ const resolved = resolveTypeAlias(stripped, context);
68
+ if (resolved === stripped || resolved.kind !== "unionType") {
69
+ return undefined;
70
+ }
71
+ return resolveIteratorResultReferenceType(resolved, context, state);
72
+ }
73
+ finally {
74
+ state.activeReferenceKeys.delete(key);
75
+ }
76
+ }
77
+ if (stripped.kind !== "unionType") {
78
+ return undefined;
79
+ }
80
+ if (stripped.types.length !== 2) {
56
81
  return undefined;
57
82
  }
58
- const variants = resolved.types
83
+ const variants = stripped.types
59
84
  .map((member) => tryResolveIteratorResultVariant(member, context))
60
85
  .filter((variant) => variant !== undefined);
61
86
  if (variants.length !== 2) {
@@ -1 +1 @@
1
- {"version":3,"file":"structural-shape-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/structural-shape-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AAEjG,MAAM,iCAAiC,GAAG,CAAC,IAAwB,EAAW,EAAE,CAC9E,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,0CAA0C,GAAG,CACxD,IAAgD,EACvC,EAAE;IACX,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;IAC3D,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC7D,OAAO,CACL,iCAAiC,CAAC,UAAU,CAAC;QAC7C,iCAAiC,CAAC,aAAa,CAAC,CACjD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACZ,eAAmC,EACnC,aAA4C,EACA,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,eAAe;IACrB,IAAI;IACJ,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAChE,CAAC,CAAC;AAOH,MAAM,+BAA+B,GAAG,CACtC,IAAY,EACZ,OAAuB,EACY,EAAE;IACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,OAAO,GACX,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC5B,CAAC,CAAC,QAAQ,CAAC,OAAO;QAClB,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe;YACjC,CAAC,CAAC,QAAQ,CAAC,iBAAiB;YAC5B,CAAC,CAAC,SAAS,CAAC;IAClB,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAC/B,CAAC,MAAM,EAAmE,EAAE,CAC1E,MAAM,CAAC,IAAI,KAAK,mBAAmB,CACtC,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACzE,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC3E,IACE,CAAC,YAAY;QACb,CAAC,aAAa;QACd,YAAY,CAAC,UAAU;QACvB,aAAa,CAAC,UAAU,EACxB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;QACxC,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,EAC5C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK;QAC7B,SAAS,EAAE,aAAa,CAAC,IAAI;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAAY,EACZ,OAAuB,EACiC,EAAE;IAC1D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK;SAC5B,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,+BAA+B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;SACjE,MAAM,CACL,CAAC,OAAO,EAAoC,EAAE,CAAC,OAAO,KAAK,SAAS,CACrE,CAAC;IACJ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IAC5E,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC1E,IAAI,CAAC,gBAAgB,IAAI,CAAC,eAAe,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,kBAAkB,CACvB,gBAAgB,EAChB,uCAAuC,EACvC,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,uBAAuB,GAAG,kCAAkC,CAChE,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,uBAAuB,EAAE,CAAC;QAC5B,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAEjC,MAAM,SAAS,GAAG,CAAC,OAAe,EAAU,EAAE;QAC5C,MAAM,OAAO,GAAG,8BAA8B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACjE,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACxB,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAEpB,MAAM,UAAU,GAAG,CAAC,GAAG,EAAE;YACvB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;gBACrB,KAAK,eAAe,CAAC,CAAC,CAAC;oBACrB,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;oBAC5D,MAAM,UAAU,GACd,CAAC,CAAC,aAAa;wBACf,aAAa,CAAC,IAAI,CAChB,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,CACjE,CAAC;oBACJ,OAAO,UAAU;wBACf,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,aAAa;yBACd;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,WAAW,CAAC,CAAC,CAAC;oBACjB,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;oBACnD,MAAM,uBAAuB,GAC3B,OAAO,CAAC,uBAAuB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;oBAClD,MAAM,oBAAoB,GAAG,OAAO,CAAC,oBAAoB;wBACvD,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,oBAAoB,CAAC;wBACzC,CAAC,CAAC,SAAS,CAAC;oBACd,MAAM,UAAU,GACd,WAAW,KAAK,OAAO,CAAC,WAAW;wBACnC,CAAC,CAAC,CAAC,uBAAuB;4BACxB,uBAAuB,CAAC,IAAI,CAC1B,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACjB,OAAO,KAAK,OAAO,CAAC,uBAAuB,EAAE,CAAC,KAAK,CAAC,CACvD,CAAC;wBACJ,oBAAoB,KAAK,OAAO,CAAC,oBAAoB,CAAC;oBACxD,OAAO,UAAU;wBACf,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,WAAW;4BACX,GAAG,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC/D,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBAC1D;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,WAAW,CAAC,CAAC,CAAC;oBACjB,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBACzD,OAAO,YAAY,CAAC,IAAI,CACtB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAC5D;wBACC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE;wBAC9B,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,cAAc,CAAC,CAAC,CAAC;oBACpB,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACtD,SAAS,CAAC,IAAI;wBACZ,CAAC,CAAC;4BACE,GAAG,SAAS;4BACZ,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;yBAChC;wBACH,CAAC,CAAC,SAAS,CACd,CAAC;oBACF,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;oBACjD,MAAM,UAAU,GACd,UAAU,KAAK,OAAO,CAAC,UAAU;wBACjC,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAC9D,CAAC;oBACJ,OAAO,UAAU;wBACf,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,UAAU;4BACV,UAAU;yBACX;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,YAAY,CAAC,CAAC,CAAC;oBAClB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;wBAC7C,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;4BACpB,KAAK,mBAAmB,CAAC,CAAC,CAAC;gCACzB,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gCAC1C,OAAO,UAAU,KAAK,MAAM,CAAC,IAAI;oCAC/B,CAAC,CAAC;wCACE,GAAG,MAAM;wCACT,IAAI,EAAE,UAAU;qCACjB;oCACH,CAAC,CAAC,MAAM,CAAC;4BACb,CAAC;4BACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;gCACvB,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACrD,SAAS,CAAC,IAAI;oCACZ,CAAC,CAAC;wCACE,GAAG,SAAS;wCACZ,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;qCAChC;oCACH,CAAC,CAAC,SAAS,CACd,CAAC;gCACF,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU;oCAClC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC;oCAC9B,CAAC,CAAC,SAAS,CAAC;gCACd,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,EAAE,GAAG,CAC/C,CAAC,aAAa,EAAE,EAAE,CAChB,aAAa,CAAC,UAAU,IAAI,aAAa,CAAC,OAAO;oCAC/C,CAAC,CAAC;wCACE,GAAG,aAAa;wCAChB,GAAG,CAAC,aAAa,CAAC,UAAU;4CAC1B,CAAC,CAAC;gDACE,UAAU,EAAE,SAAS,CAAC,aAAa,CAAC,UAAU,CAAC;6CAChD;4CACH,CAAC,CAAC,EAAE,CAAC;wCACP,GAAG,CAAC,aAAa,CAAC,OAAO;4CACvB,CAAC,CAAC;gDACE,OAAO,EAAE,SAAS,CAAC,aAAa,CAAC,OAAO,CAAC;6CAC1C;4CACH,CAAC,CAAC,EAAE,CAAC;qCACR;oCACH,CAAC,CAAC,aAAa,CACpB,CAAC;gCACF,MAAM,UAAU,GACd,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAC7D;oCACD,UAAU,KAAK,MAAM,CAAC,UAAU;oCAChC,CAAC,CAAC,CAAC,cAAc;wCACf,cAAc,CAAC,IAAI,CACjB,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CACvB,aAAa,KAAK,MAAM,CAAC,cAAc,EAAE,CAAC,KAAK,CAAC,CACnD,CAAC,CAAC;gCACP,OAAO,UAAU;oCACf,CAAC,CAAC;wCACE,GAAG,MAAM;wCACT,UAAU;wCACV,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wCACrC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qCAC9C;oCACH,CAAC,CAAC,MAAM,CAAC;4BACb,CAAC;wBACH,CAAC;oBACH,CAAC,CAAC,CAAC;oBACH,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CACrD;wBACC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE;wBACzB,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;oBACtB,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;oBAC3C,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;oBAC/C,OAAO,OAAO,KAAK,OAAO,CAAC,OAAO,IAAI,SAAS,KAAK,OAAO,CAAC,SAAS;wBACnE,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,OAAO;4BACP,SAAS;yBACV;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,WAAW,CAAC;gBACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;oBACxB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBAC3C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;wBACpE,OAAO,OAAO,CAAC;oBACjB,CAAC;oBAED,OAAO,OAAO,CAAC,IAAI,KAAK,WAAW;wBACjC,CAAC,CAAC,uCAAuC,CAAC,OAAO,EAAE,KAAK,CAAC;wBACzD,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,KAAK;yBACN,CAAC;gBACR,CAAC;gBACD,KAAK,eAAe,CAAC;gBACrB,KAAK,mBAAmB,CAAC;gBACzB,KAAK,aAAa,CAAC;gBACnB,KAAK,SAAS,CAAC;gBACf,KAAK,aAAa,CAAC;gBACnB,KAAK,UAAU,CAAC;gBAChB,KAAK,WAAW;oBACd,OAAO,OAAO,CAAC;YACnB,CAAC;QACH,CAAC,CAAC,EAAE,CAAC;QAEL,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACvB,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IAEF,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC,CAAC"}
1
+ {"version":3,"file":"structural-shape-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/structural-shape-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAC9E,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AAEjG,MAAM,iCAAiC,GAAG,CAAC,IAAwB,EAAW,EAAE,CAC9E,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,0CAA0C,GAAG,CACxD,IAAgD,EACvC,EAAE;IACX,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;IAC3D,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC7D,OAAO,CACL,iCAAiC,CAAC,UAAU,CAAC;QAC7C,iCAAiC,CAAC,aAAa,CAAC,CACjD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACZ,eAAmC,EACnC,aAA4C,EACA,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,eAAe;IACrB,IAAI;IACJ,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAChE,CAAC,CAAC;AAWH,MAAM,6BAA6B,GAAG,CACpC,IAAgD,EAChD,OAAuB,EACf,EAAE,CACV,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC;IAC7C,IAAI,CAAC,MAAM,EAAE,QAAQ;IACrB,IAAI,CAAC,eAAe;IACpB,IAAI,CAAC,IAAI,CAAC;AAEZ,MAAM,+BAA+B,GAAG,CACtC,IAAY,EACZ,OAAuB,EACY,EAAE;IACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,OAAO,GACX,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC5B,CAAC,CAAC,QAAQ,CAAC,OAAO;QAClB,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe;YACjC,CAAC,CAAC,QAAQ,CAAC,iBAAiB;YAC5B,CAAC,CAAC,SAAS,CAAC;IAClB,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAC/B,CAAC,MAAM,EAAmE,EAAE,CAC1E,MAAM,CAAC,IAAI,KAAK,mBAAmB,CACtC,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACzE,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC3E,IACE,CAAC,YAAY;QACb,CAAC,aAAa;QACd,YAAY,CAAC,UAAU;QACvB,aAAa,CAAC,UAAU,EACxB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;QACxC,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,EAC5C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK;QAC7B,SAAS,EAAE,aAAa,CAAC,IAAI;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAAY,EACZ,OAAuB,EACvB,QAAuC,EAAE,mBAAmB,EAAE,IAAI,GAAG,EAAE,EAAE,EACjB,EAAE;IAC1D,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,6BAA6B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC7D,IAAI,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,QAAQ,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC3D,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,kCAAkC,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACtE,CAAC;gBAAS,CAAC;YACT,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK;SAC5B,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,+BAA+B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;SACjE,MAAM,CACL,CAAC,OAAO,EAAoC,EAAE,CAAC,OAAO,KAAK,SAAS,CACrE,CAAC;IACJ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IAC5E,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC1E,IAAI,CAAC,gBAAgB,IAAI,CAAC,eAAe,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,kBAAkB,CACvB,gBAAgB,EAChB,uCAAuC,EACvC,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,uBAAuB,GAAG,kCAAkC,CAChE,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,uBAAuB,EAAE,CAAC;QAC5B,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAEjC,MAAM,SAAS,GAAG,CAAC,OAAe,EAAU,EAAE;QAC5C,MAAM,OAAO,GAAG,8BAA8B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACjE,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACxB,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAEpB,MAAM,UAAU,GAAG,CAAC,GAAG,EAAE;YACvB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;gBACrB,KAAK,eAAe,CAAC,CAAC,CAAC;oBACrB,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;oBAC5D,MAAM,UAAU,GACd,CAAC,CAAC,aAAa;wBACf,aAAa,CAAC,IAAI,CAChB,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,CACjE,CAAC;oBACJ,OAAO,UAAU;wBACf,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,aAAa;yBACd;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,WAAW,CAAC,CAAC,CAAC;oBACjB,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;oBACnD,MAAM,uBAAuB,GAC3B,OAAO,CAAC,uBAAuB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;oBAClD,MAAM,oBAAoB,GAAG,OAAO,CAAC,oBAAoB;wBACvD,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,oBAAoB,CAAC;wBACzC,CAAC,CAAC,SAAS,CAAC;oBACd,MAAM,UAAU,GACd,WAAW,KAAK,OAAO,CAAC,WAAW;wBACnC,CAAC,CAAC,CAAC,uBAAuB;4BACxB,uBAAuB,CAAC,IAAI,CAC1B,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACjB,OAAO,KAAK,OAAO,CAAC,uBAAuB,EAAE,CAAC,KAAK,CAAC,CACvD,CAAC;wBACJ,oBAAoB,KAAK,OAAO,CAAC,oBAAoB,CAAC;oBACxD,OAAO,UAAU;wBACf,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,WAAW;4BACX,GAAG,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC/D,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBAC1D;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,WAAW,CAAC,CAAC,CAAC;oBACjB,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBACzD,OAAO,YAAY,CAAC,IAAI,CACtB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAC5D;wBACC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE;wBAC9B,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,cAAc,CAAC,CAAC,CAAC;oBACpB,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACtD,SAAS,CAAC,IAAI;wBACZ,CAAC,CAAC;4BACE,GAAG,SAAS;4BACZ,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;yBAChC;wBACH,CAAC,CAAC,SAAS,CACd,CAAC;oBACF,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;oBACjD,MAAM,UAAU,GACd,UAAU,KAAK,OAAO,CAAC,UAAU;wBACjC,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAC9D,CAAC;oBACJ,OAAO,UAAU;wBACf,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,UAAU;4BACV,UAAU;yBACX;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,YAAY,CAAC,CAAC,CAAC;oBAClB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;wBAC7C,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;4BACpB,KAAK,mBAAmB,CAAC,CAAC,CAAC;gCACzB,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gCAC1C,OAAO,UAAU,KAAK,MAAM,CAAC,IAAI;oCAC/B,CAAC,CAAC;wCACE,GAAG,MAAM;wCACT,IAAI,EAAE,UAAU;qCACjB;oCACH,CAAC,CAAC,MAAM,CAAC;4BACb,CAAC;4BACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;gCACvB,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACrD,SAAS,CAAC,IAAI;oCACZ,CAAC,CAAC;wCACE,GAAG,SAAS;wCACZ,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;qCAChC;oCACH,CAAC,CAAC,SAAS,CACd,CAAC;gCACF,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU;oCAClC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC;oCAC9B,CAAC,CAAC,SAAS,CAAC;gCACd,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,EAAE,GAAG,CAC/C,CAAC,aAAa,EAAE,EAAE,CAChB,aAAa,CAAC,UAAU,IAAI,aAAa,CAAC,OAAO;oCAC/C,CAAC,CAAC;wCACE,GAAG,aAAa;wCAChB,GAAG,CAAC,aAAa,CAAC,UAAU;4CAC1B,CAAC,CAAC;gDACE,UAAU,EAAE,SAAS,CAAC,aAAa,CAAC,UAAU,CAAC;6CAChD;4CACH,CAAC,CAAC,EAAE,CAAC;wCACP,GAAG,CAAC,aAAa,CAAC,OAAO;4CACvB,CAAC,CAAC;gDACE,OAAO,EAAE,SAAS,CAAC,aAAa,CAAC,OAAO,CAAC;6CAC1C;4CACH,CAAC,CAAC,EAAE,CAAC;qCACR;oCACH,CAAC,CAAC,aAAa,CACpB,CAAC;gCACF,MAAM,UAAU,GACd,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAC7D;oCACD,UAAU,KAAK,MAAM,CAAC,UAAU;oCAChC,CAAC,CAAC,CAAC,cAAc;wCACf,cAAc,CAAC,IAAI,CACjB,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CACvB,aAAa,KAAK,MAAM,CAAC,cAAc,EAAE,CAAC,KAAK,CAAC,CACnD,CAAC,CAAC;gCACP,OAAO,UAAU;oCACf,CAAC,CAAC;wCACE,GAAG,MAAM;wCACT,UAAU;wCACV,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wCACrC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qCAC9C;oCACH,CAAC,CAAC,MAAM,CAAC;4BACb,CAAC;wBACH,CAAC;oBACH,CAAC,CAAC,CAAC;oBACH,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CACrD;wBACC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE;wBACzB,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;oBACtB,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;oBAC3C,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;oBAC/C,OAAO,OAAO,KAAK,OAAO,CAAC,OAAO,IAAI,SAAS,KAAK,OAAO,CAAC,SAAS;wBACnE,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,OAAO;4BACP,SAAS;yBACV;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,WAAW,CAAC;gBACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;oBACxB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBAC3C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;wBACpE,OAAO,OAAO,CAAC;oBACjB,CAAC;oBAED,OAAO,OAAO,CAAC,IAAI,KAAK,WAAW;wBACjC,CAAC,CAAC,uCAAuC,CAAC,OAAO,EAAE,KAAK,CAAC;wBACzD,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,KAAK;yBACN,CAAC;gBACR,CAAC;gBACD,KAAK,eAAe,CAAC;gBACrB,KAAK,mBAAmB,CAAC;gBACzB,KAAK,aAAa,CAAC;gBACnB,KAAK,SAAS,CAAC;gBACf,KAAK,aAAa,CAAC;gBACnB,KAAK,UAAU,CAAC;gBAChB,KAAK,WAAW;oBACd,OAAO,OAAO,CAAC;YACnB,CAAC;QACH,CAAC,CAAC,EAAE,CAAC;QAEL,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACvB,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IAEF,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC,CAAC"}
@@ -0,0 +1,14 @@
1
+ import type { IrExpression, SurfaceMemberSemantics } from "@tsonic/frontend";
2
+ import type { EmitterContext } from "../../types.js";
3
+ type MemberBinding = NonNullable<Extract<IrExpression, {
4
+ kind: "memberAccess";
5
+ }>["memberBinding"]>;
6
+ export declare const getSurfaceMemberSemantics: (binding: MemberBinding, context: EmitterContext) => SurfaceMemberSemantics | undefined;
7
+ export declare const surfaceMemberMutatesReceiver: (binding: MemberBinding, context: EmitterContext) => boolean;
8
+ export declare const surfaceMemberReturnsReceiver: (binding: MemberBinding, context: EmitterContext) => boolean;
9
+ export declare const surfaceMemberReturnsArray: (binding: MemberBinding, context: EmitterContext) => boolean;
10
+ export declare const surfaceMemberReadsArrayLength: (binding: MemberBinding, context: EmitterContext) => boolean;
11
+ export declare const getSurfaceEmittedMemberName: (binding: MemberBinding, context: EmitterContext) => string | undefined;
12
+ export declare const surfaceMemberEmitsAsInstanceMember: (binding: MemberBinding, context: EmitterContext) => boolean;
13
+ export {};
14
+ //# sourceMappingURL=surface-member-semantics.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"surface-member-semantics.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/surface-member-semantics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,KAAK,aAAa,GAAG,WAAW,CAC9B,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,CAAC,eAAe,CAAC,CACjE,CAAC;AA6BF,eAAO,MAAM,yBAAyB,GACpC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,sBAAsB,GAAG,SAa3B,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OACoE,CAAC;AAExE,eAAO,MAAM,4BAA4B,GACvC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OACoE,CAAC;AAExE,eAAO,MAAM,yBAAyB,GACpC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OACiE,CAAC;AAErE,eAAO,MAAM,6BAA6B,GACxC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OAC2E,CAAC;AAE/E,eAAO,MAAM,2BAA2B,GACtC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,MAAM,GAAG,SACoD,CAAC;AAEjE,eAAO,MAAM,kCAAkC,GAC7C,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OAEe,CAAC"}
@@ -0,0 +1,41 @@
1
+ const stripGlobalPrefix = (typeName) => typeName.startsWith("global::")
2
+ ? typeName.slice("global::".length)
3
+ : typeName;
4
+ const stripClrGenericArity = (typeName) => typeName.replace(/`\d+$/, "");
5
+ const getTypeNameCandidates = (typeName) => {
6
+ const candidates = new Set();
7
+ const withoutGlobal = stripGlobalPrefix(typeName.trim());
8
+ const withoutArity = stripClrGenericArity(withoutGlobal);
9
+ if (typeName.trim().length > 0) {
10
+ candidates.add(typeName.trim());
11
+ }
12
+ if (withoutGlobal.length > 0) {
13
+ candidates.add(withoutGlobal);
14
+ }
15
+ if (withoutArity.length > 0) {
16
+ candidates.add(withoutArity);
17
+ candidates.add(`global::${withoutArity}`);
18
+ }
19
+ return [...candidates];
20
+ };
21
+ export const getSurfaceMemberSemantics = (binding, context) => {
22
+ const memberSemantics = context.options.surfaceCapabilities?.memberSemantics;
23
+ if (!memberSemantics)
24
+ return undefined;
25
+ for (const typeName of getTypeNameCandidates(binding.type)) {
26
+ const members = memberSemantics[typeName];
27
+ const semantics = members?.[binding.member];
28
+ if (semantics) {
29
+ return semantics;
30
+ }
31
+ }
32
+ return undefined;
33
+ };
34
+ export const surfaceMemberMutatesReceiver = (binding, context) => getSurfaceMemberSemantics(binding, context)?.mutatesReceiver === true;
35
+ export const surfaceMemberReturnsReceiver = (binding, context) => getSurfaceMemberSemantics(binding, context)?.returnsReceiver === true;
36
+ export const surfaceMemberReturnsArray = (binding, context) => getSurfaceMemberSemantics(binding, context)?.returnsArray === true;
37
+ export const surfaceMemberReadsArrayLength = (binding, context) => getSurfaceMemberSemantics(binding, context)?.storageAccess === "arrayLength";
38
+ export const getSurfaceEmittedMemberName = (binding, context) => getSurfaceMemberSemantics(binding, context)?.emittedMemberName;
39
+ export const surfaceMemberEmitsAsInstanceMember = (binding, context) => getSurfaceMemberSemantics(binding, context)?.emissionKind ===
40
+ "instanceMember";
41
+ //# sourceMappingURL=surface-member-semantics.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"surface-member-semantics.js","sourceRoot":"","sources":["../../../src/core/semantic/surface-member-semantics.ts"],"names":[],"mappings":"AAOA,MAAM,iBAAiB,GAAG,CAAC,QAAgB,EAAU,EAAE,CACrD,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC;IAC7B,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;IACnC,CAAC,CAAC,QAAQ,CAAC;AAEf,MAAM,oBAAoB,GAAG,CAAC,QAAgB,EAAU,EAAE,CACxD,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAEhC,MAAM,qBAAqB,GAAG,CAAC,QAAgB,EAAqB,EAAE;IACpE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,aAAa,GAAG,iBAAiB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,oBAAoB,CAAC,aAAa,CAAC,CAAC;IAEzD,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7B,UAAU,CAAC,GAAG,CAAC,WAAW,YAAY,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAsB,EACtB,OAAuB,EACa,EAAE;IACtC,MAAM,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,EAAE,eAAe,CAAC;IAC7E,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,KAAK,MAAM,QAAQ,IAAI,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1C,MAAM,SAAS,GAAG,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,eAAe,KAAK,IAAI,CAAC;AAExE,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,eAAe,KAAK,IAAI,CAAC;AAExE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,YAAY,KAAK,IAAI,CAAC;AAErE,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,aAAa,KAAK,aAAa,CAAC;AAE/E,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,OAAsB,EACtB,OAAuB,EACH,EAAE,CACtB,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,iBAAiB,CAAC;AAEjE,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,YAAY;IACzD,gBAAgB,CAAC"}
@@ -55,6 +55,7 @@ export declare const registerParameterTypes: (originalName: string, semanticType
55
55
  * because collection-level normalization can change the element extraction.
56
56
  */
57
57
  export declare const registerForOfElementSymbolTypes: (originalName: string, collectionType: IrExpression["inferredType"], context: EmitterContext) => EmitterContext;
58
+ export declare const registerForInKeySymbolTypes: (originalName: string, context: EmitterContext) => EmitterContext;
58
59
  /**
59
60
  * Register both semantic and storage types for a variable declaration.
60
61
  *
@@ -66,15 +67,7 @@ export declare const registerVariableSymbolTypes: (originalName: string, decl: V
66
67
  /**
67
68
  * Register catch variable types.
68
69
  *
69
- * Semantic: JsValue (broad JS-visible thrown value channel).
70
- * Storage: System.Exception (the CLR catch carrier).
70
+ * Catch variables are CLR exceptions in emitted code.
71
71
  */
72
72
  export declare const registerCatchVariableTypes: (originalName: string, context: EmitterContext) => EmitterContext;
73
- /**
74
- * Register for-in key variable types.
75
- *
76
- * Both semantic and storage are string — for-in keys are always strings
77
- * in both channels.
78
- */
79
- export declare const registerForInKeyTypes: (originalName: string, context: EmitterContext) => EmitterContext;
80
73
  //# sourceMappingURL=symbol-types.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"symbol-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/symbol-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrD,OAAO,EAGL,KAAK,sBAAsB,EAC5B,MAAM,+BAA+B,CAAC;AAGvC;;;;;;;;GAQG;AACH,eAAO,MAAM,sBAAsB,GACjC,cAAc,MAAM,EACpB,cAAc,MAAM,GAAG,SAAS,EAChC,0BAA0B,OAAO,EACjC,SAAS,cAAc,KACtB,cAgBF,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,+BAA+B,GAC1C,cAAc,MAAM,EACpB,gBAAgB,YAAY,CAAC,cAAc,CAAC,EAC5C,SAAS,cAAc,KACtB,cAYF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,2BAA2B,GACtC,cAAc,MAAM,EACpB,MAAM,sBAAsB,EAC5B,SAAS,cAAc,EACvB,sBAAsB,MAAM,EAC5B,uBAAuB,MAAM,KAC5B,cAQA,CAAC;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,GACrC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,cAcA,CAAC;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAChC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,cAMA,CAAC"}
1
+ {"version":3,"file":"symbol-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/symbol-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrD,OAAO,EAGL,KAAK,sBAAsB,EAC5B,MAAM,+BAA+B,CAAC;AAGvC;;;;;;;;GAQG;AACH,eAAO,MAAM,sBAAsB,GACjC,cAAc,MAAM,EACpB,cAAc,MAAM,GAAG,SAAS,EAChC,0BAA0B,OAAO,EACjC,SAAS,cAAc,KACtB,cAgBF,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,+BAA+B,GAC1C,cAAc,MAAM,EACpB,gBAAgB,YAAY,CAAC,cAAc,CAAC,EAC5C,SAAS,cAAc,KACtB,cAYF,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,cAGF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,2BAA2B,GACtC,cAAc,MAAM,EACpB,MAAM,sBAAsB,EAC5B,SAAS,cAAc,EACvB,sBAAsB,MAAM,EAC5B,uBAAuB,MAAM,KAC5B,cAQA,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,GACrC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,cAcA,CAAC"}
@@ -67,6 +67,10 @@ export const registerForOfElementSymbolTypes = (originalName, collectionType, co
67
67
  const storageElementType = deriveForOfElementType(normalizeRuntimeStorageType(collectionType, context), context);
68
68
  return registerLocalSymbolTypes(originalName, semanticElementType, storageElementType ?? semanticElementType, context);
69
69
  };
70
+ export const registerForInKeySymbolTypes = (originalName, context) => {
71
+ const keyType = { kind: "primitiveType", name: "string" };
72
+ return registerLocalSymbolTypes(originalName, keyType, keyType, context);
73
+ };
70
74
  /**
71
75
  * Register both semantic and storage types for a variable declaration.
72
76
  *
@@ -80,23 +84,15 @@ export const registerVariableSymbolTypes = (originalName, decl, context, storage
80
84
  /**
81
85
  * Register catch variable types.
82
86
  *
83
- * Semantic: JsValue (broad JS-visible thrown value channel).
84
- * Storage: System.Exception (the CLR catch carrier).
87
+ * Catch variables are CLR exceptions in emitted code.
85
88
  */
86
89
  export const registerCatchVariableTypes = (originalName, context) => registerLocalSymbolTypes(originalName, {
87
90
  kind: "referenceType",
88
- name: "JsValue",
89
- resolvedClrType: "Tsonic.Runtime.JsValue",
91
+ name: "System.Exception",
92
+ resolvedClrType: "global::System.Exception",
90
93
  }, {
91
94
  kind: "referenceType",
92
95
  name: "System.Exception",
93
96
  resolvedClrType: "global::System.Exception",
94
97
  }, context);
95
- /**
96
- * Register for-in key variable types.
97
- *
98
- * Both semantic and storage are string — for-in keys are always strings
99
- * in both channels.
100
- */
101
- export const registerForInKeyTypes = (originalName, context) => registerLocalSymbolTypes(originalName, { kind: "primitiveType", name: "string" }, { kind: "primitiveType", name: "string" }, context);
102
98
  //# sourceMappingURL=symbol-types.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"symbol-types.js","sourceRoot":"","sources":["../../../src/core/semantic/symbol-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAIH,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EACL,sCAAsC,EACtC,uBAAuB,GAExB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAEzD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,YAAoB,EACpB,YAAgC,EAChC,wBAAiC,EACjC,OAAuB,EACP,EAAE;IAClB,MAAM,YAAY,GAAG,wBAAwB,CAC3C,YAAY,EACZ,wBAAwB,CACzB,CAAC;IACF,MAAM,WAAW,GACf,2BAA2B,CAAC,YAAY,EAAE,OAAO,CAAC;QAClD,YAAY;QACZ,YAAY,CAAC;IAEf,OAAO,wBAAwB,CAC7B,YAAY,EACZ,YAAY,IAAI,YAAY,EAC5B,WAAW,EACX,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,YAAoB,EACpB,cAA4C,EAC5C,OAAuB,EACP,EAAE;IAClB,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,kBAAkB,GAAG,sBAAsB,CAC/C,2BAA2B,CAAC,cAAc,EAAE,OAAO,CAAC,EACpD,OAAO,CACR,CAAC;IACF,OAAO,wBAAwB,CAC7B,YAAY,EACZ,mBAAmB,EACnB,kBAAkB,IAAI,mBAAmB,EACzC,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,YAAoB,EACpB,IAA4B,EAC5B,OAAuB,EACvB,mBAA4B,EAC5B,oBAA6B,EACb,EAAE,CAClB,wBAAwB,CACtB,YAAY,EACZ,oBAAoB;IAClB,IAAI,CAAC,IAAI;IACT,sCAAsC,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,EACnE,mBAAmB,IAAI,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,EAC7D,OAAO,CACR,CAAC;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,YAAoB,EACpB,OAAuB,EACP,EAAE,CAClB,wBAAwB,CACtB,YAAY,EACZ;IACE,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,SAAS;IACf,eAAe,EAAE,wBAAwB;CAC1C,EACD;IACE,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,kBAAkB;IACxB,eAAe,EAAE,0BAA0B;CAC5C,EACD,OAAO,CACR,CAAC;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,YAAoB,EACpB,OAAuB,EACP,EAAE,CAClB,wBAAwB,CACtB,YAAY,EACZ,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC,OAAO,CACR,CAAC"}
1
+ {"version":3,"file":"symbol-types.js","sourceRoot":"","sources":["../../../src/core/semantic/symbol-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAIH,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EACL,sCAAsC,EACtC,uBAAuB,GAExB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAEzD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,YAAoB,EACpB,YAAgC,EAChC,wBAAiC,EACjC,OAAuB,EACP,EAAE;IAClB,MAAM,YAAY,GAAG,wBAAwB,CAC3C,YAAY,EACZ,wBAAwB,CACzB,CAAC;IACF,MAAM,WAAW,GACf,2BAA2B,CAAC,YAAY,EAAE,OAAO,CAAC;QAClD,YAAY;QACZ,YAAY,CAAC;IAEf,OAAO,wBAAwB,CAC7B,YAAY,EACZ,YAAY,IAAI,YAAY,EAC5B,WAAW,EACX,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,YAAoB,EACpB,cAA4C,EAC5C,OAAuB,EACP,EAAE;IAClB,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,kBAAkB,GAAG,sBAAsB,CAC/C,2BAA2B,CAAC,cAAc,EAAE,OAAO,CAAC,EACpD,OAAO,CACR,CAAC;IACF,OAAO,wBAAwB,CAC7B,YAAY,EACZ,mBAAmB,EACnB,kBAAkB,IAAI,mBAAmB,EACzC,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,YAAoB,EACpB,OAAuB,EACP,EAAE;IAClB,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAClE,OAAO,wBAAwB,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,YAAoB,EACpB,IAA4B,EAC5B,OAAuB,EACvB,mBAA4B,EAC5B,oBAA6B,EACb,EAAE,CAClB,wBAAwB,CACtB,YAAY,EACZ,oBAAoB;IAClB,IAAI,CAAC,IAAI;IACT,sCAAsC,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,EACnE,mBAAmB,IAAI,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,EAC7D,OAAO,CACR,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,YAAoB,EACpB,OAAuB,EACP,EAAE,CAClB,wBAAwB,CACtB,YAAY,EACZ;IACE,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,kBAAkB;IACxB,eAAe,EAAE,0BAA0B;CAC5C,EACD;IACE,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,kBAAkB;IACxB,eAAe,EAAE,0BAA0B;CAC5C,EACD,OAAO,CACR,CAAC"}
@@ -13,7 +13,7 @@
13
13
  */
14
14
  import { IrExpression, IrType } from "@tsonic/frontend";
15
15
  import { EmitterContext } from "../../types.js";
16
- import { type EmitTypeAstLike } from "./runtime-unions.js";
16
+ import type { EmitTypeAstLike } from "./runtime-union-shared.js";
17
17
  /**
18
18
  * Information extracted from a ternary condition guard.
19
19
  * Used to generate inline Union.IsN()/AsN() narrowing in conditional expressions.
@@ -1 +1 @@
1
- {"version":3,"file":"ternary-guards.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIhD,OAAO,EAGL,KAAK,eAAe,EACrB,MAAM,qBAAqB,CAAC;AAW7B;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,UAAU,CAAC;CAC5C,CAAC;AAwOF;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB,GACjC,WAAW,YAAY,EACvB,SAAS,cAAc,EACvB,aAAa,eAAe,KAC3B,gBAAgB,GAAG,SA8BrB,CAAC"}
1
+ {"version":3,"file":"ternary-guards.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIhD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAajE;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,UAAU,CAAC;CAC5C,CAAC;AAwOF;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB,GACjC,WAAW,YAAY,EACvB,SAAS,cAAc,EACvB,aAAa,eAAe,KAC3B,gBAAgB,GAAG,SA8BrB,CAAC"}
@@ -14,7 +14,8 @@
14
14
  import { getPropertyType } from "./type-resolution.js";
15
15
  import { emitRemappedLocalName } from "../format/local-names.js";
16
16
  import { resolveIteratorResultReferenceType } from "./structural-resolution.js";
17
- import { getCanonicalRuntimeUnionMembers, findRuntimeUnionMemberIndices, } from "./runtime-unions.js";
17
+ import { getCanonicalRuntimeUnionMembers } from "./runtime-union-frame.js";
18
+ import { findRuntimeUnionMemberIndices } from "./runtime-union-matching.js";
18
19
  import { getSemanticUnionMembers, findSemanticUnionMemberIndex, } from "./semantic-union-members.js";
19
20
  import { resolveNarrowedUnionMembers } from "./narrowed-union-resolution.js";
20
21
  import { resolveLocalTypesForReference, tryGetLiteralSet, } from "./guard-primitives.js";
@@ -1 +1 @@
1
- {"version":3,"file":"ternary-guards.js","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAChF,OAAO,EACL,+BAA+B,EAC/B,6BAA6B,GAE9B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,uBAAuB,EACvB,4BAA4B,GAC7B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EACL,6BAA6B,EAC7B,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAkB/B;;;;;;;GAOG;AACH,MAAM,+BAA+B,GAAG,CACtC,IAA6C,EAC7C,OAAuB,EACO,EAAE;IAChC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC/C,IACE,CAAC,GAAG;QACJ,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;QACxC,GAAG,CAAC,IAAI,KAAK,YAAY,EACzB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC;IAC9B,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,CAAC;IACzC,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,6BAA6B;IAC7B,sEAAsE;IACtE,2EAA2E;IAC3E,gFAAgF;IAChF,MAAM,eAAe,GAAG,uBAAuB,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,WAAW,GAAG,4BAA4B,CAC9C,eAAe,EACf,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhD,sEAAsE;IACtE,0EAA0E;IAC1E,yEAAyE;IACzE,iFAAiF;IACjF,MAAM,cAAc,GAAG,+BAA+B,CACpD,eAAe,EACf,OAAO,CACR,CAAC;IACF,IAAI,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IAEtC,MAAM,cAAc,GAAG,6BAA6B,CAClD,cAAc,EACd,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,UAAU,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,YAAY,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,OAAO;QACL,YAAY;QACZ,OAAO,EAAE,UAAU,GAAG,CAAC;QACvB,YAAY;QACZ,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QACzD,QAAQ,EAAE,UAAU;KACrB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,0CAA0C,GAAG,CACjD,IAAkB,EAClB,OAAuB,EACvB,YAA6B,EACC,EAAE;IAChC,2FAA2F;IAC3F,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,0CAA0C,CACtD,IAAI,CAAC,UAAU,EACf,OAAO,EACP,YAAY,CACb,CAAC;QACF,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO;YACL,GAAG,KAAK;YACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;SAClE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC7C,IACE,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,IAAI;QACtB,IAAI,CAAC,QAAQ,KAAK,IAAI,EACtB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAkB,EAClB,KAAmB,EAOP,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,SAAS,CAAC;QACnD,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACxD,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;QACD,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,MAAM;YACrB,YAAY,EAAE,IAAI,CAAC,QAAQ;YAC3B,OAAO,EAAE,KAAK,CAAC,KAAK;SACrB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,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,IAAI,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC;QAAE,OAAO,SAAS,CAAC;IAElE,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,IAAI,kCAAkC,CAAC,eAAe,EAAE,OAAO,CAAC,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,2BAA2B,CACjD,YAAY,EACZ,eAAe,EACf,OAAO,CACR,CAAC;IACF,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,GAAG,eAAe,CAAC;IACvD,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,eAAe,GACnB,EAAE,CAAC;IAEL,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,IAAI,QAA4B,CAAC;QAEjC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAC5D,CAAC;YACF,QAAQ,GAAG,IAAI,EAAE,IAAI,CAAC;QACxB,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC3C,MAAM,UAAU,GAAG,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAClE,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAC1C,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC;gBAC/C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAEhB,QAAQ,GAAG,eAAe,CACxB,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,EAC/B,YAAY,EACZ,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAC3B,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,SAAS;QACX,CAAC;QAED,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC;gBACnB,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBACtC,IAAI,EAAE,MAAM;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;IAEvE,OAAO;QACL,YAAY;QACZ,OAAO,EAAE,aAAa,CAAC,OAAO;QAC9B,YAAY,EAAE,aAAa,CAAC,IAAI;QAChC,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QACzD,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;KACjD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,SAAuB,EACvB,OAAuB,EACvB,WAA4B,EACE,EAAE;IAChC,4CAA4C;IAC5C,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,+BAA+B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IAED,qDAAqD;IACrD,MAAM,KAAK,GAAG,0CAA0C,CACtD,SAAS,EACT,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAExB,+CAA+C;IAC/C,IACE,SAAS,CAAC,IAAI,KAAK,OAAO;QAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG;QAC1B,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EACpC,CAAC;QACD,MAAM,KAAK,GAAG,+BAA+B,CAC3C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;QACF,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
1
+ {"version":3,"file":"ternary-guards.js","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAEhF,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AAC3E,OAAO,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EACL,uBAAuB,EACvB,4BAA4B,GAC7B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EACL,6BAA6B,EAC7B,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAkB/B;;;;;;;GAOG;AACH,MAAM,+BAA+B,GAAG,CACtC,IAA6C,EAC7C,OAAuB,EACO,EAAE;IAChC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC/C,IACE,CAAC,GAAG;QACJ,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;QACxC,GAAG,CAAC,IAAI,KAAK,YAAY,EACzB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC;IAC9B,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,CAAC;IACzC,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,6BAA6B;IAC7B,sEAAsE;IACtE,2EAA2E;IAC3E,gFAAgF;IAChF,MAAM,eAAe,GAAG,uBAAuB,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,WAAW,GAAG,4BAA4B,CAC9C,eAAe,EACf,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhD,sEAAsE;IACtE,0EAA0E;IAC1E,yEAAyE;IACzE,iFAAiF;IACjF,MAAM,cAAc,GAAG,+BAA+B,CACpD,eAAe,EACf,OAAO,CACR,CAAC;IACF,IAAI,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IAEtC,MAAM,cAAc,GAAG,6BAA6B,CAClD,cAAc,EACd,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,UAAU,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,YAAY,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,OAAO;QACL,YAAY;QACZ,OAAO,EAAE,UAAU,GAAG,CAAC;QACvB,YAAY;QACZ,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QACzD,QAAQ,EAAE,UAAU;KACrB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,0CAA0C,GAAG,CACjD,IAAkB,EAClB,OAAuB,EACvB,YAA6B,EACC,EAAE;IAChC,2FAA2F;IAC3F,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,0CAA0C,CACtD,IAAI,CAAC,UAAU,EACf,OAAO,EACP,YAAY,CACb,CAAC;QACF,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO;YACL,GAAG,KAAK;YACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;SAClE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC7C,IACE,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,IAAI;QACtB,IAAI,CAAC,QAAQ,KAAK,IAAI,EACtB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAkB,EAClB,KAAmB,EAOP,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,SAAS,CAAC;QACnD,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACxD,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;QACD,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,MAAM;YACrB,YAAY,EAAE,IAAI,CAAC,QAAQ;YAC3B,OAAO,EAAE,KAAK,CAAC,KAAK;SACrB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,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,IAAI,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC;QAAE,OAAO,SAAS,CAAC;IAElE,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,IAAI,kCAAkC,CAAC,eAAe,EAAE,OAAO,CAAC,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,2BAA2B,CACjD,YAAY,EACZ,eAAe,EACf,OAAO,CACR,CAAC;IACF,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,GAAG,eAAe,CAAC;IACvD,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,eAAe,GACnB,EAAE,CAAC;IAEL,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,IAAI,QAA4B,CAAC;QAEjC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAC5D,CAAC;YACF,QAAQ,GAAG,IAAI,EAAE,IAAI,CAAC;QACxB,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC3C,MAAM,UAAU,GAAG,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAClE,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAC1C,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC;gBAC/C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAEhB,QAAQ,GAAG,eAAe,CACxB,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,EAC/B,YAAY,EACZ,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAC3B,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,SAAS;QACX,CAAC;QAED,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC;gBACnB,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBACtC,IAAI,EAAE,MAAM;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;IAEvE,OAAO;QACL,YAAY;QACZ,OAAO,EAAE,aAAa,CAAC,OAAO;QAC9B,YAAY,EAAE,aAAa,CAAC,IAAI;QAChC,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QACzD,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;KACjD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,SAAuB,EACvB,OAAuB,EACvB,WAA4B,EACE,EAAE;IAChC,4CAA4C;IAC5C,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,+BAA+B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IAED,qDAAqD;IACrD,MAAM,KAAK,GAAG,0CAA0C,CACtD,SAAS,EACT,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAExB,+CAA+C;IAC/C,IACE,SAAS,CAAC,IAAI,KAAK,OAAO;QAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG;QAC1B,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EACpC,CAAC;QACD,MAAM,KAAK,GAAG,+BAA+B,CAC3C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;QACF,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"truthiness-evaluation.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/truthiness-evaluation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAUrD,OAAO,KAAK,EACV,mBAAmB,EACnB,gBAAgB,EAChB,2BAA2B,EAC3B,aAAa,EACd,MAAM,gCAAgC,CAAC;AAExC,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,KAAG,MACmB,CAAC;AAErE;;;;;GAKG;AACH,eAAO,MAAM,iCAAiC,GAC5C,MAAM,MAAM,KACX,MAAM,GAAG,SA+BX,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,GAAI,MAAM,YAAY,KAAG,OAqBlE,CAAC;AAMF,oGAAoG;AACpG,eAAO,MAAM,SAAS,GAAI,KAAK,mBAAmB,KAAG,mBA0BpD,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,mBAG5C,CAAC;AAEH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,aAAa,KAClB,mBAGD,CAAC;AAEH,eAAO,MAAM,cAAc,GACzB,SAAS,2BAA2B,KACnC,aAGD,CAAC;AAEH,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,aACnB,CAAC;AAE5B,eAAO,MAAM,QAAQ,GACnB,MAAM,aAAa,EACnB,YAAY,mBAAmB,KAC9B,mBAID,CAAC;AAEH,eAAO,MAAM,WAAW,GAAI,MAAM,aAAa,KAAG,gBAGhD,CAAC;AAEH,eAAO,MAAM,aAAa,GACxB,MAAM,mBAAmB,EACzB,OAAO,mBAAmB,KACzB,mBAKD,CAAC;AAEH,eAAO,MAAM,OAAO,GAClB,MAAM,mBAAmB,EACzB,OAAO,mBAAmB,KACzB,mBAKD,CAAC;AAEH,eAAO,MAAM,OAAO,GAAI,SAAS,mBAAmB,KAAG,mBAIrD,CAAC;AAEH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,mBAAmB,EAC7B,YAAY,MAAM,KACjB,mBAID,CAAC;AAEH,eAAO,MAAM,QAAQ,GACnB,QAAQ,mBAAmB,EAC3B,MAAM,SAAS,mBAAmB,EAAE,KACnC,mBAID,CAAC;AAEH,eAAO,MAAM,aAAa,GACxB,SAAS,gBAAgB,EACzB,YAAY,mBAAmB,KAC9B;IACD,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;CACb,CAAC;AAE/B,eAAO,MAAM,oBAAoB,GAAI,KAAK,MAAM,KAAG,mBA8GlD,CAAC;AAMF,eAAO,MAAM,iCAAiC,GAC5C,YAAY,mBAAmB,EAC/B,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAuCtC,CAAC;AAMF,eAAO,MAAM,qBAAqB,GAChC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MA2BF,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,OAAO,SAAS,MAAM,EAAE,KACvB,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAkBpC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OAUxD,CAAC"}
1
+ {"version":3,"file":"truthiness-evaluation.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/truthiness-evaluation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAUrD,OAAO,KAAK,EACV,mBAAmB,EACnB,gBAAgB,EAChB,2BAA2B,EAC3B,aAAa,EACd,MAAM,gCAAgC,CAAC;AAExC,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,KAAG,MACmB,CAAC;AAErE;;;;;GAKG;AACH,eAAO,MAAM,iCAAiC,GAC5C,MAAM,MAAM,KACX,MAAM,GAAG,SA+BX,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,GAAI,MAAM,YAAY,KAAG,OAoBlE,CAAC;AAMF,oGAAoG;AACpG,eAAO,MAAM,SAAS,GAAI,KAAK,mBAAmB,KAAG,mBA0BpD,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,mBAG5C,CAAC;AAEH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,aAAa,KAClB,mBAGD,CAAC;AAEH,eAAO,MAAM,cAAc,GACzB,SAAS,2BAA2B,KACnC,aAGD,CAAC;AAEH,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,aACnB,CAAC;AAE5B,eAAO,MAAM,QAAQ,GACnB,MAAM,aAAa,EACnB,YAAY,mBAAmB,KAC9B,mBAID,CAAC;AAEH,eAAO,MAAM,WAAW,GAAI,MAAM,aAAa,KAAG,gBAGhD,CAAC;AAEH,eAAO,MAAM,aAAa,GACxB,MAAM,mBAAmB,EACzB,OAAO,mBAAmB,KACzB,mBAKD,CAAC;AAEH,eAAO,MAAM,OAAO,GAClB,MAAM,mBAAmB,EACzB,OAAO,mBAAmB,KACzB,mBAKD,CAAC;AAEH,eAAO,MAAM,OAAO,GAAI,SAAS,mBAAmB,KAAG,mBAIrD,CAAC;AAEH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,mBAAmB,EAC7B,YAAY,MAAM,KACjB,mBAID,CAAC;AAEH,eAAO,MAAM,QAAQ,GACnB,QAAQ,mBAAmB,EAC3B,MAAM,SAAS,mBAAmB,EAAE,KACnC,mBAID,CAAC;AAEH,eAAO,MAAM,aAAa,GACxB,SAAS,gBAAgB,EACzB,YAAY,mBAAmB,KAC9B;IACD,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;CACb,CAAC;AAE/B,eAAO,MAAM,oBAAoB,GAAI,KAAK,MAAM,KAAG,mBA8GlD,CAAC;AAMF,eAAO,MAAM,iCAAiC,GAC5C,YAAY,mBAAmB,EAC/B,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAwCtC,CAAC;AAMF,eAAO,MAAM,qBAAqB,GAChC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MA2BF,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,OAAO,SAAS,MAAM,EAAE,KACvB,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAkBpC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OAUxD,CAAC"}
@@ -62,8 +62,7 @@ export const isInherentlyBooleanExpression = (expr) => {
62
62
  expr.operator === ">" ||
63
63
  expr.operator === "<=" ||
64
64
  expr.operator === ">=" ||
65
- expr.operator === "instanceof" ||
66
- expr.operator === "in");
65
+ expr.operator === "instanceof");
67
66
  }
68
67
  if (expr.kind === "unary") {
69
68
  return expr.operator === "!";
@@ -197,7 +196,8 @@ export const buildTruthySwitchAst = (tmp) => {
197
196
  export const emitRuntimeTruthinessConditionAst = (emittedAst, context) => {
198
197
  // Use a pattern variable to evaluate the operand exactly once, then apply JS-like truthiness.
199
198
  //
200
- // This is the airplane-grade fallback when we cannot trust inferredType:
199
+ // This is the deterministic runtime-truthiness path when inferredType is not
200
+ // specific enough for compile-time truthiness:
201
201
  // - Never emit `x != null` for unknowns (silently miscompiles boxed value types like bool/int).
202
202
  // - Use runtime type checks to preserve semantics deterministically.
203
203
  const nextId = (context.tempVarId ?? 0) + 1;