@tsonic/emitter 0.0.73 → 0.0.75

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 (1545) hide show
  1. package/dist/.tsbuildinfo +1 -1
  2. package/dist/adapter-generator.d.ts.map +1 -1
  3. package/dist/adapter-generator.js +2 -1
  4. package/dist/adapter-generator.js.map +1 -1
  5. package/dist/array.test.js +277 -6
  6. package/dist/array.test.js.map +1 -1
  7. package/dist/constants.d.ts +3 -2
  8. package/dist/constants.d.ts.map +1 -1
  9. package/dist/constants.js +15 -6
  10. package/dist/constants.js.map +1 -1
  11. package/dist/core/format/attributes.d.ts +3 -3
  12. package/dist/core/format/attributes.d.ts.map +1 -1
  13. package/dist/core/format/attributes.js +8 -59
  14. package/dist/core/format/attributes.js.map +1 -1
  15. package/dist/core/format/attributes.test.js +1 -1
  16. package/dist/core/format/attributes.test.js.map +1 -1
  17. package/dist/core/format/backend-ast/builders.d.ts +14 -0
  18. package/dist/core/format/backend-ast/builders.d.ts.map +1 -0
  19. package/dist/core/format/backend-ast/builders.js +191 -0
  20. package/dist/core/format/backend-ast/builders.js.map +1 -0
  21. package/dist/core/format/backend-ast/builders.test.d.ts +2 -0
  22. package/dist/core/format/backend-ast/builders.test.d.ts.map +1 -0
  23. package/dist/core/format/backend-ast/builders.test.js +258 -0
  24. package/dist/core/format/backend-ast/builders.test.js.map +1 -0
  25. package/dist/core/format/backend-ast/index.d.ts +3 -2
  26. package/dist/core/format/backend-ast/index.d.ts.map +1 -1
  27. package/dist/core/format/backend-ast/index.js +2 -1
  28. package/dist/core/format/backend-ast/index.js.map +1 -1
  29. package/dist/core/format/backend-ast/invariants.test.d.ts +2 -0
  30. package/dist/core/format/backend-ast/invariants.test.d.ts.map +1 -0
  31. package/dist/core/format/backend-ast/invariants.test.js +79 -0
  32. package/dist/core/format/backend-ast/invariants.test.js.map +1 -0
  33. package/dist/core/format/backend-ast/printer-cases/basic-and-declarations.test.d.ts +2 -0
  34. package/dist/core/format/backend-ast/printer-cases/basic-and-declarations.test.d.ts.map +1 -0
  35. package/dist/core/format/backend-ast/printer-cases/basic-and-declarations.test.js +226 -0
  36. package/dist/core/format/backend-ast/printer-cases/basic-and-declarations.test.js.map +1 -0
  37. package/dist/core/format/backend-ast/printer-cases/control-flow-and-switch.test.d.ts +2 -0
  38. package/dist/core/format/backend-ast/printer-cases/control-flow-and-switch.test.d.ts.map +1 -0
  39. package/dist/core/format/backend-ast/printer-cases/control-flow-and-switch.test.js +289 -0
  40. package/dist/core/format/backend-ast/printer-cases/control-flow-and-switch.test.js.map +1 -0
  41. package/dist/core/format/backend-ast/printer-cases/helpers.d.ts +6 -0
  42. package/dist/core/format/backend-ast/printer-cases/helpers.d.ts.map +1 -0
  43. package/dist/core/format/backend-ast/printer-cases/helpers.js +5 -0
  44. package/dist/core/format/backend-ast/printer-cases/helpers.js.map +1 -0
  45. package/dist/core/format/backend-ast/printer-cases/identifiers-and-interpolation.test.d.ts +2 -0
  46. package/dist/core/format/backend-ast/printer-cases/identifiers-and-interpolation.test.d.ts.map +1 -0
  47. package/dist/core/format/backend-ast/printer-cases/identifiers-and-interpolation.test.js +211 -0
  48. package/dist/core/format/backend-ast/printer-cases/identifiers-and-interpolation.test.js.map +1 -0
  49. package/dist/core/format/backend-ast/printer-cases/remaining-nodes.test.d.ts +2 -0
  50. package/dist/core/format/backend-ast/printer-cases/remaining-nodes.test.d.ts.map +1 -0
  51. package/dist/core/format/backend-ast/printer-cases/remaining-nodes.test.js +186 -0
  52. package/dist/core/format/backend-ast/printer-cases/remaining-nodes.test.js.map +1 -0
  53. package/dist/core/format/backend-ast/printer-colon-detection.d.ts +14 -0
  54. package/dist/core/format/backend-ast/printer-colon-detection.d.ts.map +1 -0
  55. package/dist/core/format/backend-ast/printer-colon-detection.js +141 -0
  56. package/dist/core/format/backend-ast/printer-colon-detection.js.map +1 -0
  57. package/dist/core/format/backend-ast/printer-declarations.d.ts +12 -0
  58. package/dist/core/format/backend-ast/printer-declarations.d.ts.map +1 -0
  59. package/dist/core/format/backend-ast/printer-declarations.js +212 -0
  60. package/dist/core/format/backend-ast/printer-declarations.js.map +1 -0
  61. package/dist/core/format/backend-ast/printer-expressions.d.ts +12 -0
  62. package/dist/core/format/backend-ast/printer-expressions.d.ts.map +1 -0
  63. package/dist/core/format/backend-ast/printer-expressions.js +363 -0
  64. package/dist/core/format/backend-ast/printer-expressions.js.map +1 -0
  65. package/dist/core/format/backend-ast/printer-identifiers.d.ts +31 -0
  66. package/dist/core/format/backend-ast/printer-identifiers.d.ts.map +1 -0
  67. package/dist/core/format/backend-ast/printer-identifiers.js +194 -0
  68. package/dist/core/format/backend-ast/printer-identifiers.js.map +1 -0
  69. package/dist/core/format/backend-ast/printer-precedence.d.ts +23 -0
  70. package/dist/core/format/backend-ast/printer-precedence.d.ts.map +1 -0
  71. package/dist/core/format/backend-ast/printer-precedence.js +225 -0
  72. package/dist/core/format/backend-ast/printer-precedence.js.map +1 -0
  73. package/dist/core/format/backend-ast/printer-shared.d.ts +12 -0
  74. package/dist/core/format/backend-ast/printer-shared.d.ts.map +1 -0
  75. package/dist/core/format/backend-ast/printer-shared.js +12 -0
  76. package/dist/core/format/backend-ast/printer-shared.js.map +1 -0
  77. package/dist/core/format/backend-ast/printer-statements.d.ts +24 -0
  78. package/dist/core/format/backend-ast/printer-statements.d.ts.map +1 -0
  79. package/dist/core/format/backend-ast/printer-statements.js +336 -0
  80. package/dist/core/format/backend-ast/printer-statements.js.map +1 -0
  81. package/dist/core/format/backend-ast/printer.d.ts +10 -23
  82. package/dist/core/format/backend-ast/printer.d.ts.map +1 -1
  83. package/dist/core/format/backend-ast/printer.js +11 -1146
  84. package/dist/core/format/backend-ast/printer.js.map +1 -1
  85. package/dist/core/format/backend-ast/printer.test.d.ts +5 -0
  86. package/dist/core/format/backend-ast/printer.test.d.ts.map +1 -0
  87. package/dist/core/format/backend-ast/printer.test.js +5 -0
  88. package/dist/core/format/backend-ast/printer.test.js.map +1 -0
  89. package/dist/core/format/backend-ast/types/compilation-unit-ast.d.ts +26 -0
  90. package/dist/core/format/backend-ast/types/compilation-unit-ast.d.ts.map +1 -0
  91. package/dist/core/format/backend-ast/types/compilation-unit-ast.js +2 -0
  92. package/dist/core/format/backend-ast/types/compilation-unit-ast.js.map +1 -0
  93. package/dist/core/format/backend-ast/types/declaration-ast.d.ts +105 -0
  94. package/dist/core/format/backend-ast/types/declaration-ast.d.ts.map +1 -0
  95. package/dist/core/format/backend-ast/types/declaration-ast.js +2 -0
  96. package/dist/core/format/backend-ast/types/declaration-ast.js.map +1 -0
  97. package/dist/core/format/backend-ast/types/expression-ast.d.ts +219 -0
  98. package/dist/core/format/backend-ast/types/expression-ast.d.ts.map +1 -0
  99. package/dist/core/format/backend-ast/types/expression-ast.js +2 -0
  100. package/dist/core/format/backend-ast/types/expression-ast.js.map +1 -0
  101. package/dist/core/format/backend-ast/types/pattern-ast.d.ts +28 -0
  102. package/dist/core/format/backend-ast/types/pattern-ast.d.ts.map +1 -0
  103. package/dist/core/format/backend-ast/types/pattern-ast.js +2 -0
  104. package/dist/core/format/backend-ast/types/pattern-ast.js.map +1 -0
  105. package/dist/core/format/backend-ast/types/signature-ast.d.ts +34 -0
  106. package/dist/core/format/backend-ast/types/signature-ast.d.ts.map +1 -0
  107. package/dist/core/format/backend-ast/types/signature-ast.js +2 -0
  108. package/dist/core/format/backend-ast/types/signature-ast.js.map +1 -0
  109. package/dist/core/format/backend-ast/types/statement-ast.d.ts +118 -0
  110. package/dist/core/format/backend-ast/types/statement-ast.d.ts.map +1 -0
  111. package/dist/core/format/backend-ast/types/statement-ast.js +2 -0
  112. package/dist/core/format/backend-ast/types/statement-ast.js.map +1 -0
  113. package/dist/core/format/backend-ast/types/type-ast.d.ts +50 -0
  114. package/dist/core/format/backend-ast/types/type-ast.d.ts.map +1 -0
  115. package/dist/core/format/backend-ast/types/type-ast.js +2 -0
  116. package/dist/core/format/backend-ast/types/type-ast.js.map +1 -0
  117. package/dist/core/format/backend-ast/types.d.ts +7 -497
  118. package/dist/core/format/backend-ast/types.d.ts.map +1 -1
  119. package/dist/core/format/backend-ast/types.js +7 -1
  120. package/dist/core/format/backend-ast/types.js.map +1 -1
  121. package/dist/core/format/backend-ast/utils.d.ts +16 -8
  122. package/dist/core/format/backend-ast/utils.d.ts.map +1 -1
  123. package/dist/core/format/backend-ast/utils.js +295 -21
  124. package/dist/core/format/backend-ast/utils.js.map +1 -1
  125. package/dist/core/format/backend-ast/utils.test.d.ts +2 -0
  126. package/dist/core/format/backend-ast/utils.test.d.ts.map +1 -0
  127. package/dist/core/format/backend-ast/utils.test.js +205 -0
  128. package/dist/core/format/backend-ast/utils.test.js.map +1 -0
  129. package/dist/core/format/local-names.d.ts +26 -0
  130. package/dist/core/format/local-names.d.ts.map +1 -1
  131. package/dist/core/format/local-names.js +59 -0
  132. package/dist/core/format/local-names.js.map +1 -1
  133. package/dist/core/format/local-names.test.d.ts +12 -0
  134. package/dist/core/format/local-names.test.d.ts.map +1 -0
  135. package/dist/core/format/local-names.test.js +278 -0
  136. package/dist/core/format/local-names.test.js.map +1 -0
  137. package/dist/core/format/module-emitter/assembly.d.ts +2 -2
  138. package/dist/core/format/module-emitter/assembly.d.ts.map +1 -1
  139. package/dist/core/format/module-emitter/assembly.js +7 -3
  140. package/dist/core/format/module-emitter/assembly.js.map +1 -1
  141. package/dist/core/format/module-emitter/header.d.ts +2 -1
  142. package/dist/core/format/module-emitter/header.d.ts.map +1 -1
  143. package/dist/core/format/module-emitter/header.js +2 -2
  144. package/dist/core/format/module-emitter/header.js.map +1 -1
  145. package/dist/core/format/module-emitter/orchestrator.d.ts.map +1 -1
  146. package/dist/core/format/module-emitter/orchestrator.js +2 -153
  147. package/dist/core/format/module-emitter/orchestrator.js.map +1 -1
  148. package/dist/core/format/module-emitter/static-container.d.ts.map +1 -1
  149. package/dist/core/format/module-emitter/static-container.js +20 -6
  150. package/dist/core/format/module-emitter/static-container.js.map +1 -1
  151. package/dist/core/module-emitter-cases/class-and-recursion.test.d.ts +6 -0
  152. package/dist/core/module-emitter-cases/class-and-recursion.test.d.ts.map +1 -0
  153. package/dist/core/module-emitter-cases/class-and-recursion.test.js +263 -0
  154. package/dist/core/module-emitter-cases/class-and-recursion.test.js.map +1 -0
  155. package/dist/core/module-emitter-cases/static-containers.test.d.ts +6 -0
  156. package/dist/core/module-emitter-cases/static-containers.test.d.ts.map +1 -0
  157. package/dist/core/module-emitter-cases/static-containers.test.js +275 -0
  158. package/dist/core/module-emitter-cases/static-containers.test.js.map +1 -0
  159. package/dist/core/module-emitter.test.d.ts +2 -5
  160. package/dist/core/module-emitter.test.d.ts.map +1 -1
  161. package/dist/core/module-emitter.test.js +2 -402
  162. package/dist/core/module-emitter.test.js.map +1 -1
  163. package/dist/core/semantic/array-expected-types.d.ts +6 -0
  164. package/dist/core/semantic/array-expected-types.d.ts.map +1 -0
  165. package/dist/core/semantic/array-expected-types.js +84 -0
  166. package/dist/core/semantic/array-expected-types.js.map +1 -0
  167. package/dist/core/semantic/array-expected-types.test.d.ts +2 -0
  168. package/dist/core/semantic/array-expected-types.test.d.ts.map +1 -0
  169. package/dist/core/semantic/array-expected-types.test.js +66 -0
  170. package/dist/core/semantic/array-expected-types.test.js.map +1 -0
  171. package/dist/core/semantic/assignment-flow.d.ts +9 -0
  172. package/dist/core/semantic/assignment-flow.d.ts.map +1 -0
  173. package/dist/core/semantic/assignment-flow.js +161 -0
  174. package/dist/core/semantic/assignment-flow.js.map +1 -0
  175. package/dist/core/semantic/async-wrapper-types.d.ts +6 -0
  176. package/dist/core/semantic/async-wrapper-types.d.ts.map +1 -0
  177. package/dist/core/semantic/async-wrapper-types.js +65 -0
  178. package/dist/core/semantic/async-wrapper-types.js.map +1 -0
  179. package/dist/core/semantic/boolean-condition-emission.d.ts +9 -0
  180. package/dist/core/semantic/boolean-condition-emission.d.ts.map +1 -0
  181. package/dist/core/semantic/boolean-condition-emission.js +9 -0
  182. package/dist/core/semantic/boolean-condition-emission.js.map +1 -0
  183. package/dist/core/semantic/boolean-condition-main.d.ts +38 -0
  184. package/dist/core/semantic/boolean-condition-main.d.ts.map +1 -0
  185. package/dist/core/semantic/boolean-condition-main.js +235 -0
  186. package/dist/core/semantic/boolean-condition-main.js.map +1 -0
  187. package/dist/core/semantic/boolean-condition-union.d.ts +20 -0
  188. package/dist/core/semantic/boolean-condition-union.d.ts.map +1 -0
  189. package/dist/core/semantic/boolean-condition-union.js +238 -0
  190. package/dist/core/semantic/boolean-condition-union.js.map +1 -0
  191. package/dist/core/semantic/boolean-context.d.ts +6 -40
  192. package/dist/core/semantic/boolean-context.d.ts.map +1 -1
  193. package/dist/core/semantic/boolean-context.js +6 -713
  194. package/dist/core/semantic/boolean-context.js.map +1 -1
  195. package/dist/core/semantic/boolean-context.test.js +22 -2
  196. package/dist/core/semantic/boolean-context.test.js.map +1 -1
  197. package/dist/core/semantic/broad-array-storage.d.ts +11 -0
  198. package/dist/core/semantic/broad-array-storage.d.ts.map +1 -0
  199. package/dist/core/semantic/broad-array-storage.js +111 -0
  200. package/dist/core/semantic/broad-array-storage.js.map +1 -0
  201. package/dist/core/semantic/broad-object-types.d.ts +7 -0
  202. package/dist/core/semantic/broad-object-types.d.ts.map +1 -0
  203. package/dist/core/semantic/broad-object-types.js +60 -0
  204. package/dist/core/semantic/broad-object-types.js.map +1 -0
  205. package/dist/core/semantic/clr-type-identity.d.ts +21 -0
  206. package/dist/core/semantic/clr-type-identity.d.ts.map +1 -0
  207. package/dist/core/semantic/clr-type-identity.js +230 -0
  208. package/dist/core/semantic/clr-type-identity.js.map +1 -0
  209. package/dist/core/semantic/comparable-types.d.ts +5 -0
  210. package/dist/core/semantic/comparable-types.d.ts.map +1 -0
  211. package/dist/core/semantic/comparable-types.js +108 -0
  212. package/dist/core/semantic/comparable-types.js.map +1 -0
  213. package/dist/core/semantic/comparable-types.test.d.ts +2 -0
  214. package/dist/core/semantic/comparable-types.test.d.ts.map +1 -0
  215. package/dist/core/semantic/comparable-types.test.js +199 -0
  216. package/dist/core/semantic/comparable-types.test.js.map +1 -0
  217. package/dist/core/semantic/condition-branch-narrowing.d.ts +6 -0
  218. package/dist/core/semantic/condition-branch-narrowing.d.ts.map +1 -0
  219. package/dist/core/semantic/condition-branch-narrowing.js +50 -0
  220. package/dist/core/semantic/condition-branch-narrowing.js.map +1 -0
  221. package/dist/core/semantic/defaults.d.ts +7 -0
  222. package/dist/core/semantic/defaults.d.ts.map +1 -0
  223. package/dist/core/semantic/defaults.js +61 -0
  224. package/dist/core/semantic/defaults.js.map +1 -0
  225. package/dist/core/semantic/defaults.test.d.ts +2 -0
  226. package/dist/core/semantic/defaults.test.d.ts.map +1 -0
  227. package/dist/core/semantic/defaults.test.js +88 -0
  228. package/dist/core/semantic/defaults.test.js.map +1 -0
  229. package/dist/core/semantic/deterministic-type-keys.d.ts +8 -0
  230. package/dist/core/semantic/deterministic-type-keys.d.ts.map +1 -0
  231. package/dist/core/semantic/deterministic-type-keys.js +277 -0
  232. package/dist/core/semantic/deterministic-type-keys.js.map +1 -0
  233. package/dist/core/semantic/direct-storage-ir-types.d.ts +12 -0
  234. package/dist/core/semantic/direct-storage-ir-types.d.ts.map +1 -0
  235. package/dist/core/semantic/direct-storage-ir-types.js +189 -0
  236. package/dist/core/semantic/direct-storage-ir-types.js.map +1 -0
  237. package/dist/core/semantic/direct-value-surfaces.d.ts +9 -0
  238. package/dist/core/semantic/direct-value-surfaces.d.ts.map +1 -0
  239. package/dist/core/semantic/direct-value-surfaces.js +181 -0
  240. package/dist/core/semantic/direct-value-surfaces.js.map +1 -0
  241. package/dist/core/semantic/direct-value-surfaces.test.d.ts +2 -0
  242. package/dist/core/semantic/direct-value-surfaces.test.d.ts.map +1 -0
  243. package/dist/core/semantic/direct-value-surfaces.test.js +116 -0
  244. package/dist/core/semantic/direct-value-surfaces.test.js.map +1 -0
  245. package/dist/core/semantic/expected-type-matching.d.ts +7 -0
  246. package/dist/core/semantic/expected-type-matching.d.ts.map +1 -0
  247. package/dist/core/semantic/expected-type-matching.js +101 -0
  248. package/dist/core/semantic/expected-type-matching.js.map +1 -0
  249. package/dist/core/semantic/guard-primitives.d.ts +29 -0
  250. package/dist/core/semantic/guard-primitives.d.ts.map +1 -0
  251. package/dist/core/semantic/guard-primitives.js +80 -0
  252. package/dist/core/semantic/guard-primitives.js.map +1 -0
  253. package/dist/core/semantic/implicit-interfaces.d.ts +34 -0
  254. package/dist/core/semantic/implicit-interfaces.d.ts.map +1 -0
  255. package/dist/core/semantic/implicit-interfaces.js +276 -0
  256. package/dist/core/semantic/implicit-interfaces.js.map +1 -0
  257. package/dist/core/semantic/implicit-interfaces.test.d.ts +2 -0
  258. package/dist/core/semantic/implicit-interfaces.test.d.ts.map +1 -0
  259. package/dist/core/semantic/implicit-interfaces.test.js +280 -0
  260. package/dist/core/semantic/implicit-interfaces.test.js.map +1 -0
  261. package/dist/core/semantic/imports-cases/basic-and-local.test.d.ts +6 -0
  262. package/dist/core/semantic/imports-cases/basic-and-local.test.d.ts.map +1 -0
  263. package/dist/core/semantic/imports-cases/basic-and-local.test.js +504 -0
  264. package/dist/core/semantic/imports-cases/basic-and-local.test.js.map +1 -0
  265. package/dist/core/semantic/imports-cases/bindings-and-namespaces.test.d.ts +6 -0
  266. package/dist/core/semantic/imports-cases/bindings-and-namespaces.test.d.ts.map +1 -0
  267. package/dist/core/semantic/imports-cases/bindings-and-namespaces.test.js +932 -0
  268. package/dist/core/semantic/imports-cases/bindings-and-namespaces.test.js.map +1 -0
  269. package/dist/core/semantic/imports.d.ts.map +1 -1
  270. package/dist/core/semantic/imports.js +174 -37
  271. package/dist/core/semantic/imports.js.map +1 -1
  272. package/dist/core/semantic/imports.test.d.ts +2 -5
  273. package/dist/core/semantic/imports.test.d.ts.map +1 -1
  274. package/dist/core/semantic/imports.test.js +2 -551
  275. package/dist/core/semantic/imports.test.js.map +1 -1
  276. package/dist/core/semantic/instanceof-predicate-refinements.d.ts +10 -0
  277. package/dist/core/semantic/instanceof-predicate-refinements.d.ts.map +1 -0
  278. package/dist/core/semantic/instanceof-predicate-refinements.js +189 -0
  279. package/dist/core/semantic/instanceof-predicate-refinements.js.map +1 -0
  280. package/dist/core/semantic/instanceof-targets.d.ts +10 -0
  281. package/dist/core/semantic/instanceof-targets.d.ts.map +1 -0
  282. package/dist/core/semantic/instanceof-targets.js +20 -0
  283. package/dist/core/semantic/instanceof-targets.js.map +1 -0
  284. package/dist/core/semantic/iteration-types.d.ts +11 -0
  285. package/dist/core/semantic/iteration-types.d.ts.map +1 -0
  286. package/dist/core/semantic/iteration-types.js +116 -0
  287. package/dist/core/semantic/iteration-types.js.map +1 -0
  288. package/dist/core/semantic/js-value-types.d.ts +5 -0
  289. package/dist/core/semantic/js-value-types.d.ts.map +1 -0
  290. package/dist/core/semantic/js-value-types.js +42 -0
  291. package/dist/core/semantic/js-value-types.js.map +1 -0
  292. package/dist/core/semantic/local-type-lookup.d.ts +8 -0
  293. package/dist/core/semantic/local-type-lookup.d.ts.map +1 -0
  294. package/dist/core/semantic/local-type-lookup.js +36 -0
  295. package/dist/core/semantic/local-type-lookup.js.map +1 -0
  296. package/dist/core/semantic/local-types.d.ts +1 -0
  297. package/dist/core/semantic/local-types.d.ts.map +1 -1
  298. package/dist/core/semantic/local-types.js +269 -0
  299. package/dist/core/semantic/local-types.js.map +1 -1
  300. package/dist/core/semantic/materialized-narrowing.d.ts +5 -0
  301. package/dist/core/semantic/materialized-narrowing.d.ts.map +1 -0
  302. package/dist/core/semantic/materialized-narrowing.js +361 -0
  303. package/dist/core/semantic/materialized-narrowing.js.map +1 -0
  304. package/dist/core/semantic/materialized-narrowing.test.d.ts +2 -0
  305. package/dist/core/semantic/materialized-narrowing.test.d.ts.map +1 -0
  306. package/dist/core/semantic/materialized-narrowing.test.js +321 -0
  307. package/dist/core/semantic/materialized-narrowing.test.js.map +1 -0
  308. package/dist/core/semantic/member-surfaces.d.ts +10 -0
  309. package/dist/core/semantic/member-surfaces.d.ts.map +1 -0
  310. package/dist/core/semantic/member-surfaces.js +108 -0
  311. package/dist/core/semantic/member-surfaces.js.map +1 -0
  312. package/dist/core/semantic/member-surfaces.test.d.ts +2 -0
  313. package/dist/core/semantic/member-surfaces.test.d.ts.map +1 -0
  314. package/dist/core/semantic/member-surfaces.test.js +105 -0
  315. package/dist/core/semantic/member-surfaces.test.js.map +1 -0
  316. package/dist/core/semantic/module-map.d.ts.map +1 -1
  317. package/dist/core/semantic/module-map.js +92 -2
  318. package/dist/core/semantic/module-map.js.map +1 -1
  319. package/dist/core/semantic/module-map.test.js +264 -0
  320. package/dist/core/semantic/module-map.test.js.map +1 -1
  321. package/dist/core/semantic/mutable-storage-detection.d.ts +10 -0
  322. package/dist/core/semantic/mutable-storage-detection.d.ts.map +1 -0
  323. package/dist/core/semantic/mutable-storage-detection.js +10 -0
  324. package/dist/core/semantic/mutable-storage-detection.js.map +1 -0
  325. package/dist/core/semantic/mutable-storage-expression-visitor.d.ts +12 -0
  326. package/dist/core/semantic/mutable-storage-expression-visitor.d.ts.map +1 -0
  327. package/dist/core/semantic/mutable-storage-expression-visitor.js +126 -0
  328. package/dist/core/semantic/mutable-storage-expression-visitor.js.map +1 -0
  329. package/dist/core/semantic/mutable-storage-helpers.d.ts +26 -0
  330. package/dist/core/semantic/mutable-storage-helpers.d.ts.map +1 -0
  331. package/dist/core/semantic/mutable-storage-helpers.js +203 -0
  332. package/dist/core/semantic/mutable-storage-helpers.js.map +1 -0
  333. package/dist/core/semantic/mutable-storage-statement-visitor.d.ts +5 -0
  334. package/dist/core/semantic/mutable-storage-statement-visitor.d.ts.map +1 -0
  335. package/dist/core/semantic/mutable-storage-statement-visitor.js +158 -0
  336. package/dist/core/semantic/mutable-storage-statement-visitor.js.map +1 -0
  337. package/dist/core/semantic/mutable-storage-visitors.d.ts +5 -0
  338. package/dist/core/semantic/mutable-storage-visitors.d.ts.map +1 -0
  339. package/dist/core/semantic/mutable-storage-visitors.js +17 -0
  340. package/dist/core/semantic/mutable-storage-visitors.js.map +1 -0
  341. package/dist/core/semantic/mutable-storage.d.ts +2 -9
  342. package/dist/core/semantic/mutable-storage.d.ts.map +1 -1
  343. package/dist/core/semantic/mutable-storage.js +2 -478
  344. package/dist/core/semantic/mutable-storage.js.map +1 -1
  345. package/dist/core/semantic/narrowed-expression-types.d.ts +7 -0
  346. package/dist/core/semantic/narrowed-expression-types.d.ts.map +1 -0
  347. package/dist/core/semantic/narrowed-expression-types.js +287 -0
  348. package/dist/core/semantic/narrowed-expression-types.js.map +1 -0
  349. package/dist/core/semantic/narrowed-expression-types.test.d.ts +2 -0
  350. package/dist/core/semantic/narrowed-expression-types.test.d.ts.map +1 -0
  351. package/dist/core/semantic/narrowed-expression-types.test.js +296 -0
  352. package/dist/core/semantic/narrowed-expression-types.test.js.map +1 -0
  353. package/dist/core/semantic/narrowed-union-resolution.d.ts +42 -0
  354. package/dist/core/semantic/narrowed-union-resolution.d.ts.map +1 -0
  355. package/dist/core/semantic/narrowed-union-resolution.js +162 -0
  356. package/dist/core/semantic/narrowed-union-resolution.js.map +1 -0
  357. package/dist/core/semantic/narrowing-builder-core.d.ts +46 -0
  358. package/dist/core/semantic/narrowing-builder-core.d.ts.map +1 -0
  359. package/dist/core/semantic/narrowing-builder-core.js +332 -0
  360. package/dist/core/semantic/narrowing-builder-core.js.map +1 -0
  361. package/dist/core/semantic/narrowing-builder-core.test.d.ts +2 -0
  362. package/dist/core/semantic/narrowing-builder-core.test.d.ts.map +1 -0
  363. package/dist/core/semantic/narrowing-builder-core.test.js +49 -0
  364. package/dist/core/semantic/narrowing-builder-core.test.js.map +1 -0
  365. package/dist/core/semantic/narrowing-builder-unions.d.ts +18 -0
  366. package/dist/core/semantic/narrowing-builder-unions.d.ts.map +1 -0
  367. package/dist/core/semantic/narrowing-builder-unions.js +336 -0
  368. package/dist/core/semantic/narrowing-builder-unions.js.map +1 -0
  369. package/dist/core/semantic/narrowing-builders.d.ts +10 -0
  370. package/dist/core/semantic/narrowing-builders.d.ts.map +1 -0
  371. package/dist/core/semantic/narrowing-builders.js +10 -0
  372. package/dist/core/semantic/narrowing-builders.js.map +1 -0
  373. package/dist/core/semantic/narrowing-keys.d.ts +6 -0
  374. package/dist/core/semantic/narrowing-keys.d.ts.map +1 -0
  375. package/dist/core/semantic/narrowing-keys.js +27 -0
  376. package/dist/core/semantic/narrowing-keys.js.map +1 -0
  377. package/dist/core/semantic/narrowing-refinements.d.ts +10 -0
  378. package/dist/core/semantic/narrowing-refinements.d.ts.map +1 -0
  379. package/dist/core/semantic/narrowing-refinements.js +10 -0
  380. package/dist/core/semantic/narrowing-refinements.js.map +1 -0
  381. package/dist/core/semantic/nullable-typeof-refinements.d.ts +13 -0
  382. package/dist/core/semantic/nullable-typeof-refinements.d.ts.map +1 -0
  383. package/dist/core/semantic/nullable-typeof-refinements.js +408 -0
  384. package/dist/core/semantic/nullable-typeof-refinements.js.map +1 -0
  385. package/dist/core/semantic/nullish-value-helpers.d.ts +64 -0
  386. package/dist/core/semantic/nullish-value-helpers.d.ts.map +1 -0
  387. package/dist/core/semantic/nullish-value-helpers.js +346 -0
  388. package/dist/core/semantic/nullish-value-helpers.js.map +1 -0
  389. package/dist/core/semantic/parameter-modifier-types.d.ts +3 -0
  390. package/dist/core/semantic/parameter-modifier-types.d.ts.map +1 -0
  391. package/dist/core/semantic/parameter-modifier-types.js +17 -0
  392. package/dist/core/semantic/parameter-modifier-types.js.map +1 -0
  393. package/dist/core/semantic/pattern-types.d.ts +59 -0
  394. package/dist/core/semantic/pattern-types.d.ts.map +1 -0
  395. package/dist/core/semantic/pattern-types.js +92 -0
  396. package/dist/core/semantic/pattern-types.js.map +1 -0
  397. package/dist/core/semantic/property-lookup-membership.d.ts +30 -0
  398. package/dist/core/semantic/property-lookup-membership.d.ts.map +1 -0
  399. package/dist/core/semantic/property-lookup-membership.js +176 -0
  400. package/dist/core/semantic/property-lookup-membership.js.map +1 -0
  401. package/dist/core/semantic/property-lookup-resolution.d.ts +52 -0
  402. package/dist/core/semantic/property-lookup-resolution.d.ts.map +1 -0
  403. package/dist/core/semantic/property-lookup-resolution.js +275 -0
  404. package/dist/core/semantic/property-lookup-resolution.js.map +1 -0
  405. package/dist/core/semantic/property-member-lookup.d.ts +10 -0
  406. package/dist/core/semantic/property-member-lookup.d.ts.map +1 -0
  407. package/dist/core/semantic/property-member-lookup.js +10 -0
  408. package/dist/core/semantic/property-member-lookup.js.map +1 -0
  409. package/dist/core/semantic/reference-type-identity.d.ts +10 -0
  410. package/dist/core/semantic/reference-type-identity.d.ts.map +1 -0
  411. package/dist/core/semantic/reference-type-identity.js +28 -0
  412. package/dist/core/semantic/reference-type-identity.js.map +1 -0
  413. package/dist/core/semantic/runtime-call-arities.d.ts +4 -0
  414. package/dist/core/semantic/runtime-call-arities.d.ts.map +1 -0
  415. package/dist/core/semantic/runtime-call-arities.js +104 -0
  416. package/dist/core/semantic/runtime-call-arities.js.map +1 -0
  417. package/dist/core/semantic/runtime-materialization-targets.d.ts +4 -0
  418. package/dist/core/semantic/runtime-materialization-targets.d.ts.map +1 -0
  419. package/dist/core/semantic/runtime-materialization-targets.js +69 -0
  420. package/dist/core/semantic/runtime-materialization-targets.js.map +1 -0
  421. package/dist/core/semantic/runtime-reification-helpers.d.ts +9 -0
  422. package/dist/core/semantic/runtime-reification-helpers.d.ts.map +1 -0
  423. package/dist/core/semantic/runtime-reification-helpers.js +99 -0
  424. package/dist/core/semantic/runtime-reification-helpers.js.map +1 -0
  425. package/dist/core/semantic/runtime-reification.d.ts +16 -0
  426. package/dist/core/semantic/runtime-reification.d.ts.map +1 -0
  427. package/dist/core/semantic/runtime-reification.js +609 -0
  428. package/dist/core/semantic/runtime-reification.js.map +1 -0
  429. package/dist/core/semantic/runtime-union-alias-identity.d.ts +5 -0
  430. package/dist/core/semantic/runtime-union-alias-identity.d.ts.map +1 -0
  431. package/dist/core/semantic/runtime-union-alias-identity.js +27 -0
  432. package/dist/core/semantic/runtime-union-alias-identity.js.map +1 -0
  433. package/dist/core/semantic/runtime-union-expansion.d.ts +5 -0
  434. package/dist/core/semantic/runtime-union-expansion.d.ts.map +1 -0
  435. package/dist/core/semantic/runtime-union-expansion.js +190 -0
  436. package/dist/core/semantic/runtime-union-expansion.js.map +1 -0
  437. package/dist/core/semantic/runtime-union-family-preservation.d.ts +5 -0
  438. package/dist/core/semantic/runtime-union-family-preservation.d.ts.map +1 -0
  439. package/dist/core/semantic/runtime-union-family-preservation.js +34 -0
  440. package/dist/core/semantic/runtime-union-family-preservation.js.map +1 -0
  441. package/dist/core/semantic/runtime-union-matching.d.ts +9 -0
  442. package/dist/core/semantic/runtime-union-matching.d.ts.map +1 -0
  443. package/dist/core/semantic/runtime-union-matching.js +121 -0
  444. package/dist/core/semantic/runtime-union-matching.js.map +1 -0
  445. package/dist/core/semantic/runtime-union-member-mapping.d.ts +12 -0
  446. package/dist/core/semantic/runtime-union-member-mapping.d.ts.map +1 -0
  447. package/dist/core/semantic/runtime-union-member-mapping.js +25 -0
  448. package/dist/core/semantic/runtime-union-member-mapping.js.map +1 -0
  449. package/dist/core/semantic/runtime-union-member-mapping.test.d.ts +2 -0
  450. package/dist/core/semantic/runtime-union-member-mapping.test.d.ts.map +1 -0
  451. package/dist/core/semantic/runtime-union-member-mapping.test.js +54 -0
  452. package/dist/core/semantic/runtime-union-member-mapping.test.js.map +1 -0
  453. package/dist/core/semantic/runtime-union-ordering.d.ts +4 -0
  454. package/dist/core/semantic/runtime-union-ordering.d.ts.map +1 -0
  455. package/dist/core/semantic/runtime-union-ordering.js +114 -0
  456. package/dist/core/semantic/runtime-union-ordering.js.map +1 -0
  457. package/dist/core/semantic/runtime-union-projection.d.ts +40 -0
  458. package/dist/core/semantic/runtime-union-projection.d.ts.map +1 -0
  459. package/dist/core/semantic/runtime-union-projection.js +150 -0
  460. package/dist/core/semantic/runtime-union-projection.js.map +1 -0
  461. package/dist/core/semantic/runtime-union-projection.test.d.ts +2 -0
  462. package/dist/core/semantic/runtime-union-projection.test.d.ts.map +1 -0
  463. package/dist/core/semantic/runtime-union-projection.test.js +211 -0
  464. package/dist/core/semantic/runtime-union-projection.test.js.map +1 -0
  465. package/dist/core/semantic/runtime-union-registry.d.ts +28 -0
  466. package/dist/core/semantic/runtime-union-registry.d.ts.map +1 -0
  467. package/dist/core/semantic/runtime-union-registry.js +301 -0
  468. package/dist/core/semantic/runtime-union-registry.js.map +1 -0
  469. package/dist/core/semantic/runtime-union-shared.d.ts +23 -0
  470. package/dist/core/semantic/runtime-union-shared.d.ts.map +1 -0
  471. package/dist/core/semantic/runtime-union-shared.js +29 -0
  472. package/dist/core/semantic/runtime-union-shared.js.map +1 -0
  473. package/dist/core/semantic/runtime-unions.d.ts +14 -0
  474. package/dist/core/semantic/runtime-unions.d.ts.map +1 -0
  475. package/dist/core/semantic/runtime-unions.js +330 -0
  476. package/dist/core/semantic/runtime-unions.js.map +1 -0
  477. package/dist/core/semantic/runtime-unions.test.d.ts +2 -0
  478. package/dist/core/semantic/runtime-unions.test.d.ts.map +1 -0
  479. package/dist/core/semantic/runtime-unions.test.js +922 -0
  480. package/dist/core/semantic/runtime-unions.test.js.map +1 -0
  481. package/dist/core/semantic/semantic-union-members.d.ts +46 -0
  482. package/dist/core/semantic/semantic-union-members.d.ts.map +1 -0
  483. package/dist/core/semantic/semantic-union-members.js +144 -0
  484. package/dist/core/semantic/semantic-union-members.js.map +1 -0
  485. package/dist/core/semantic/storage-erased-adaptation.d.ts +14 -0
  486. package/dist/core/semantic/storage-erased-adaptation.d.ts.map +1 -0
  487. package/dist/core/semantic/storage-erased-adaptation.js +191 -0
  488. package/dist/core/semantic/storage-erased-adaptation.js.map +1 -0
  489. package/dist/core/semantic/storage-erased-adaptation.test.d.ts +2 -0
  490. package/dist/core/semantic/storage-erased-adaptation.test.d.ts.map +1 -0
  491. package/dist/core/semantic/storage-erased-adaptation.test.js +271 -0
  492. package/dist/core/semantic/storage-erased-adaptation.test.js.map +1 -0
  493. package/dist/core/semantic/storage-types.d.ts +8 -0
  494. package/dist/core/semantic/storage-types.d.ts.map +1 -0
  495. package/dist/core/semantic/storage-types.js +344 -0
  496. package/dist/core/semantic/storage-types.js.map +1 -0
  497. package/dist/core/semantic/storage-types.test.d.ts +2 -0
  498. package/dist/core/semantic/storage-types.test.d.ts.map +1 -0
  499. package/dist/core/semantic/storage-types.test.js +438 -0
  500. package/dist/core/semantic/storage-types.test.js.map +1 -0
  501. package/dist/core/semantic/structural-resolution.d.ts +11 -0
  502. package/dist/core/semantic/structural-resolution.d.ts.map +1 -0
  503. package/dist/core/semantic/structural-resolution.js +11 -0
  504. package/dist/core/semantic/structural-resolution.js.map +1 -0
  505. package/dist/core/semantic/structural-shape-matching.d.ts +22 -0
  506. package/dist/core/semantic/structural-shape-matching.d.ts.map +1 -0
  507. package/dist/core/semantic/structural-shape-matching.js +255 -0
  508. package/dist/core/semantic/structural-shape-matching.js.map +1 -0
  509. package/dist/core/semantic/structural-view-types.d.ts +10 -0
  510. package/dist/core/semantic/structural-view-types.d.ts.map +1 -0
  511. package/dist/core/semantic/structural-view-types.js +46 -0
  512. package/dist/core/semantic/structural-view-types.js.map +1 -0
  513. package/dist/core/semantic/symbol-types.d.ts +80 -0
  514. package/dist/core/semantic/symbol-types.d.ts.map +1 -0
  515. package/dist/core/semantic/symbol-types.js +102 -0
  516. package/dist/core/semantic/symbol-types.js.map +1 -0
  517. package/dist/core/semantic/ternary-guards.d.ts +43 -0
  518. package/dist/core/semantic/ternary-guards.d.ts.map +1 -0
  519. package/dist/core/semantic/ternary-guards.js +232 -0
  520. package/dist/core/semantic/ternary-guards.js.map +1 -0
  521. package/dist/core/semantic/transparent-expressions.d.ts +6 -0
  522. package/dist/core/semantic/transparent-expressions.d.ts.map +1 -0
  523. package/dist/core/semantic/transparent-expressions.js +18 -0
  524. package/dist/core/semantic/transparent-expressions.js.map +1 -0
  525. package/dist/core/semantic/truthiness-evaluation.d.ts +58 -0
  526. package/dist/core/semantic/truthiness-evaluation.d.ts.map +1 -0
  527. package/dist/core/semantic/truthiness-evaluation.js +295 -0
  528. package/dist/core/semantic/truthiness-evaluation.js.map +1 -0
  529. package/dist/core/semantic/type-alias-index.d.ts.map +1 -1
  530. package/dist/core/semantic/type-alias-index.js +1 -11
  531. package/dist/core/semantic/type-alias-index.js.map +1 -1
  532. package/dist/core/semantic/type-compatibility.d.ts +1 -1
  533. package/dist/core/semantic/type-compatibility.d.ts.map +1 -1
  534. package/dist/core/semantic/type-compatibility.js +75 -15
  535. package/dist/core/semantic/type-compatibility.js.map +1 -1
  536. package/dist/core/semantic/type-equivalence.d.ts +4 -0
  537. package/dist/core/semantic/type-equivalence.d.ts.map +1 -0
  538. package/dist/core/semantic/type-equivalence.js +255 -0
  539. package/dist/core/semantic/type-equivalence.js.map +1 -0
  540. package/dist/core/semantic/type-equivalence.test.d.ts +2 -0
  541. package/dist/core/semantic/type-equivalence.test.d.ts.map +1 -0
  542. package/dist/core/semantic/type-equivalence.test.js +380 -0
  543. package/dist/core/semantic/type-equivalence.test.js.map +1 -0
  544. package/dist/core/semantic/type-param-substitution.d.ts +19 -0
  545. package/dist/core/semantic/type-param-substitution.d.ts.map +1 -0
  546. package/dist/core/semantic/type-param-substitution.js +219 -0
  547. package/dist/core/semantic/type-param-substitution.js.map +1 -0
  548. package/dist/core/semantic/type-resolution-cases/array-like-element.test.d.ts +2 -0
  549. package/dist/core/semantic/type-resolution-cases/array-like-element.test.d.ts.map +1 -0
  550. package/dist/core/semantic/type-resolution-cases/array-like-element.test.js +82 -0
  551. package/dist/core/semantic/type-resolution-cases/array-like-element.test.js.map +1 -0
  552. package/dist/core/semantic/type-resolution-cases/contains-type-parameter.test.d.ts +2 -0
  553. package/dist/core/semantic/type-resolution-cases/contains-type-parameter.test.d.ts.map +1 -0
  554. package/dist/core/semantic/type-resolution-cases/contains-type-parameter.test.js +101 -0
  555. package/dist/core/semantic/type-resolution-cases/contains-type-parameter.test.js.map +1 -0
  556. package/dist/core/semantic/type-resolution-cases/helpers.d.ts +8 -0
  557. package/dist/core/semantic/type-resolution-cases/helpers.d.ts.map +1 -0
  558. package/dist/core/semantic/type-resolution-cases/helpers.js +5 -0
  559. package/dist/core/semantic/type-resolution-cases/helpers.js.map +1 -0
  560. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts +2 -0
  561. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts.map +1 -0
  562. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js +98 -0
  563. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js.map +1 -0
  564. package/dist/core/semantic/type-resolution-cases/nullish-and-value-type.test.d.ts +2 -0
  565. package/dist/core/semantic/type-resolution-cases/nullish-and-value-type.test.d.ts.map +1 -0
  566. package/dist/core/semantic/type-resolution-cases/nullish-and-value-type.test.js +378 -0
  567. package/dist/core/semantic/type-resolution-cases/nullish-and-value-type.test.js.map +1 -0
  568. package/dist/core/semantic/type-resolution-cases/object-literal-member-selection.test.d.ts +2 -0
  569. package/dist/core/semantic/type-resolution-cases/object-literal-member-selection.test.d.ts.map +1 -0
  570. package/dist/core/semantic/type-resolution-cases/object-literal-member-selection.test.js +137 -0
  571. package/dist/core/semantic/type-resolution-cases/object-literal-member-selection.test.js.map +1 -0
  572. package/dist/core/semantic/type-resolution-cases/property-type.test.d.ts +2 -0
  573. package/dist/core/semantic/type-resolution-cases/property-type.test.d.ts.map +1 -0
  574. package/dist/core/semantic/type-resolution-cases/property-type.test.js +298 -0
  575. package/dist/core/semantic/type-resolution-cases/property-type.test.js.map +1 -0
  576. package/dist/core/semantic/type-resolution-cases/structural-resolution.test.d.ts +2 -0
  577. package/dist/core/semantic/type-resolution-cases/structural-resolution.test.d.ts.map +1 -0
  578. package/dist/core/semantic/type-resolution-cases/structural-resolution.test.js +511 -0
  579. package/dist/core/semantic/type-resolution-cases/structural-resolution.test.js.map +1 -0
  580. package/dist/core/semantic/type-resolution-cases/structural-target.test.d.ts +2 -0
  581. package/dist/core/semantic/type-resolution-cases/structural-target.test.d.ts.map +1 -0
  582. package/dist/core/semantic/type-resolution-cases/structural-target.test.js +80 -0
  583. package/dist/core/semantic/type-resolution-cases/structural-target.test.js.map +1 -0
  584. package/dist/core/semantic/type-resolution-cases/substitute-type-args.test.d.ts +2 -0
  585. package/dist/core/semantic/type-resolution-cases/substitute-type-args.test.d.ts.map +1 -0
  586. package/dist/core/semantic/type-resolution-cases/substitute-type-args.test.js +80 -0
  587. package/dist/core/semantic/type-resolution-cases/substitute-type-args.test.js.map +1 -0
  588. package/dist/core/semantic/type-resolution-cases/union-member-index.test.d.ts +2 -0
  589. package/dist/core/semantic/type-resolution-cases/union-member-index.test.d.ts.map +1 -0
  590. package/dist/core/semantic/type-resolution-cases/union-member-index.test.js +142 -0
  591. package/dist/core/semantic/type-resolution-cases/union-member-index.test.js.map +1 -0
  592. package/dist/core/semantic/type-resolution.d.ts +19 -132
  593. package/dist/core/semantic/type-resolution.d.ts.map +1 -1
  594. package/dist/core/semantic/type-resolution.js +19 -786
  595. package/dist/core/semantic/type-resolution.js.map +1 -1
  596. package/dist/core/semantic/type-resolution.test.d.ts +10 -4
  597. package/dist/core/semantic/type-resolution.test.d.ts.map +1 -1
  598. package/dist/core/semantic/type-resolution.test.js +10 -552
  599. package/dist/core/semantic/type-resolution.test.js.map +1 -1
  600. package/dist/core/semantic/type-substitution.d.ts +10 -0
  601. package/dist/core/semantic/type-substitution.d.ts.map +1 -0
  602. package/dist/core/semantic/type-substitution.js +167 -0
  603. package/dist/core/semantic/type-substitution.js.map +1 -0
  604. package/dist/core/semantic/union-member-matching.d.ts +10 -0
  605. package/dist/core/semantic/union-member-matching.d.ts.map +1 -0
  606. package/dist/core/semantic/union-member-matching.js +10 -0
  607. package/dist/core/semantic/union-member-matching.js.map +1 -0
  608. package/dist/core/semantic/union-predicate-matching.d.ts +40 -0
  609. package/dist/core/semantic/union-predicate-matching.d.ts.map +1 -0
  610. package/dist/core/semantic/union-predicate-matching.js +313 -0
  611. package/dist/core/semantic/union-predicate-matching.js.map +1 -0
  612. package/dist/core/semantic/union-semantics.d.ts +39 -0
  613. package/dist/core/semantic/union-semantics.d.ts.map +1 -0
  614. package/dist/core/semantic/union-semantics.js +48 -0
  615. package/dist/core/semantic/union-semantics.js.map +1 -0
  616. package/dist/core/semantic/union-semantics.test.d.ts +2 -0
  617. package/dist/core/semantic/union-semantics.test.d.ts.map +1 -0
  618. package/dist/core/semantic/union-semantics.test.js +109 -0
  619. package/dist/core/semantic/union-semantics.test.js.map +1 -0
  620. package/dist/core/semantic/union-typeof-matching.d.ts +13 -0
  621. package/dist/core/semantic/union-typeof-matching.d.ts.map +1 -0
  622. package/dist/core/semantic/union-typeof-matching.js +124 -0
  623. package/dist/core/semantic/union-typeof-matching.js.map +1 -0
  624. package/dist/core/semantic/unsafe.d.ts.map +1 -1
  625. package/dist/core/semantic/unsafe.js +23 -15
  626. package/dist/core/semantic/unsafe.js.map +1 -1
  627. package/dist/core/semantic/value-slot-types.d.ts +3 -0
  628. package/dist/core/semantic/value-slot-types.d.ts.map +1 -0
  629. package/dist/core/semantic/value-slot-types.js +8 -0
  630. package/dist/core/semantic/value-slot-types.js.map +1 -0
  631. package/dist/core/semantic/variable-type-resolution.d.ts +68 -0
  632. package/dist/core/semantic/variable-type-resolution.d.ts.map +1 -0
  633. package/dist/core/semantic/variable-type-resolution.js +250 -0
  634. package/dist/core/semantic/variable-type-resolution.js.map +1 -0
  635. package/dist/duplicate-type-suppression.d.ts +18 -0
  636. package/dist/duplicate-type-suppression.d.ts.map +1 -0
  637. package/dist/duplicate-type-suppression.js +249 -0
  638. package/dist/duplicate-type-suppression.js.map +1 -0
  639. package/dist/duplicate-type-suppression.test.d.ts +2 -0
  640. package/dist/duplicate-type-suppression.test.d.ts.map +1 -0
  641. package/dist/duplicate-type-suppression.test.js +44 -0
  642. package/dist/duplicate-type-suppression.test.js.map +1 -0
  643. package/dist/emitter-types/context.d.ts +3 -2
  644. package/dist/emitter-types/context.d.ts.map +1 -1
  645. package/dist/emitter-types/context.js +8 -2
  646. package/dist/emitter-types/context.js.map +1 -1
  647. package/dist/emitter-types/core.d.ts +141 -17
  648. package/dist/emitter-types/core.d.ts.map +1 -1
  649. package/dist/emitter.d.ts +4 -0
  650. package/dist/emitter.d.ts.map +1 -1
  651. package/dist/emitter.js +31 -225
  652. package/dist/emitter.js.map +1 -1
  653. package/dist/expression-emitter.d.ts.map +1 -1
  654. package/dist/expression-emitter.js +55 -1430
  655. package/dist/expression-emitter.js.map +1 -1
  656. package/dist/expressions/access-binding.d.ts +19 -0
  657. package/dist/expressions/access-binding.d.ts.map +1 -0
  658. package/dist/expressions/access-binding.js +286 -0
  659. package/dist/expressions/access-binding.js.map +1 -0
  660. package/dist/expressions/access-computed.d.ts +22 -0
  661. package/dist/expressions/access-computed.d.ts.map +1 -0
  662. package/dist/expressions/access-computed.js +339 -0
  663. package/dist/expressions/access-computed.js.map +1 -0
  664. package/dist/expressions/access-length.d.ts +20 -0
  665. package/dist/expressions/access-length.d.ts.map +1 -0
  666. package/dist/expressions/access-length.js +419 -0
  667. package/dist/expressions/access-length.js.map +1 -0
  668. package/dist/expressions/access-length.test.d.ts +2 -0
  669. package/dist/expressions/access-length.test.d.ts.map +1 -0
  670. package/dist/expressions/access-length.test.js +39 -0
  671. package/dist/expressions/access-length.test.js.map +1 -0
  672. package/dist/expressions/access-property.d.ts +23 -0
  673. package/dist/expressions/access-property.d.ts.map +1 -0
  674. package/dist/expressions/access-property.js +267 -0
  675. package/dist/expressions/access-property.js.map +1 -0
  676. package/dist/expressions/access-resolution-receivers.d.ts +27 -0
  677. package/dist/expressions/access-resolution-receivers.d.ts.map +1 -0
  678. package/dist/expressions/access-resolution-receivers.js +358 -0
  679. package/dist/expressions/access-resolution-receivers.js.map +1 -0
  680. package/dist/expressions/access-resolution-types.d.ts +29 -0
  681. package/dist/expressions/access-resolution-types.d.ts.map +1 -0
  682. package/dist/expressions/access-resolution-types.js +192 -0
  683. package/dist/expressions/access-resolution-types.js.map +1 -0
  684. package/dist/expressions/access-resolution.d.ts +10 -0
  685. package/dist/expressions/access-resolution.d.ts.map +1 -0
  686. package/dist/expressions/access-resolution.js +10 -0
  687. package/dist/expressions/access-resolution.js.map +1 -0
  688. package/dist/expressions/access.d.ts +8 -3
  689. package/dist/expressions/access.d.ts.map +1 -1
  690. package/dist/expressions/access.js +170 -621
  691. package/dist/expressions/access.js.map +1 -1
  692. package/dist/expressions/architecture-invariants.test.d.ts +2 -0
  693. package/dist/expressions/architecture-invariants.test.d.ts.map +1 -0
  694. package/dist/expressions/architecture-invariants.test.js +73 -0
  695. package/dist/expressions/architecture-invariants.test.js.map +1 -0
  696. package/dist/expressions/array-interop.d.ts +3 -0
  697. package/dist/expressions/array-interop.d.ts.map +1 -0
  698. package/dist/expressions/array-interop.js +14 -0
  699. package/dist/expressions/array-interop.js.map +1 -0
  700. package/dist/expressions/array-literal.d.ts +13 -0
  701. package/dist/expressions/array-literal.d.ts.map +1 -0
  702. package/dist/expressions/array-literal.js +373 -0
  703. package/dist/expressions/array-literal.js.map +1 -0
  704. package/dist/expressions/await-normalization.d.ts +6 -0
  705. package/dist/expressions/await-normalization.d.ts.map +1 -0
  706. package/dist/expressions/await-normalization.js +358 -0
  707. package/dist/expressions/await-normalization.js.map +1 -0
  708. package/dist/expressions/calls/call-analysis.d.ts +8 -16
  709. package/dist/expressions/calls/call-analysis.d.ts.map +1 -1
  710. package/dist/expressions/calls/call-analysis.js +123 -93
  711. package/dist/expressions/calls/call-analysis.js.map +1 -1
  712. package/dist/expressions/calls/call-analysis.test.js +2 -2
  713. package/dist/expressions/calls/call-analysis.test.js.map +1 -1
  714. package/dist/expressions/calls/call-arguments-emit.d.ts +16 -0
  715. package/dist/expressions/calls/call-arguments-emit.d.ts.map +1 -0
  716. package/dist/expressions/calls/call-arguments-emit.js +1818 -0
  717. package/dist/expressions/calls/call-arguments-emit.js.map +1 -0
  718. package/dist/expressions/calls/call-arguments-helpers.d.ts +22 -0
  719. package/dist/expressions/calls/call-arguments-helpers.d.ts.map +1 -0
  720. package/dist/expressions/calls/call-arguments-helpers.js +333 -0
  721. package/dist/expressions/calls/call-arguments-helpers.js.map +1 -0
  722. package/dist/expressions/calls/call-arguments.d.ts +10 -0
  723. package/dist/expressions/calls/call-arguments.d.ts.map +1 -0
  724. package/dist/expressions/calls/call-arguments.js +10 -0
  725. package/dist/expressions/calls/call-arguments.js.map +1 -0
  726. package/dist/expressions/calls/call-array-interop.d.ts +10 -0
  727. package/dist/expressions/calls/call-array-interop.d.ts.map +1 -0
  728. package/dist/expressions/calls/call-array-interop.js +10 -0
  729. package/dist/expressions/calls/call-array-interop.js.map +1 -0
  730. package/dist/expressions/calls/call-array-mutation.d.ts +20 -0
  731. package/dist/expressions/calls/call-array-mutation.d.ts.map +1 -0
  732. package/dist/expressions/calls/call-array-mutation.js +260 -0
  733. package/dist/expressions/calls/call-array-mutation.js.map +1 -0
  734. package/dist/expressions/calls/call-array-wrapper.d.ts +14 -0
  735. package/dist/expressions/calls/call-array-wrapper.d.ts.map +1 -0
  736. package/dist/expressions/calls/call-array-wrapper.js +118 -0
  737. package/dist/expressions/calls/call-array-wrapper.js.map +1 -0
  738. package/dist/expressions/calls/call-binding-resolution.d.ts +8 -0
  739. package/dist/expressions/calls/call-binding-resolution.d.ts.map +1 -0
  740. package/dist/expressions/calls/call-binding-resolution.js +12 -0
  741. package/dist/expressions/calls/call-binding-resolution.js.map +1 -0
  742. package/dist/expressions/calls/call-dynamic-import.d.ts +11 -0
  743. package/dist/expressions/calls/call-dynamic-import.d.ts.map +1 -0
  744. package/dist/expressions/calls/call-dynamic-import.js +148 -0
  745. package/dist/expressions/calls/call-dynamic-import.js.map +1 -0
  746. package/dist/expressions/calls/call-emitter.d.ts +9 -3
  747. package/dist/expressions/calls/call-emitter.d.ts.map +1 -1
  748. package/dist/expressions/calls/call-emitter.js +227 -1976
  749. package/dist/expressions/calls/call-emitter.js.map +1 -1
  750. package/dist/expressions/calls/call-emitter.test.d.ts +2 -0
  751. package/dist/expressions/calls/call-emitter.test.d.ts.map +1 -0
  752. package/dist/expressions/calls/call-emitter.test.js +407 -0
  753. package/dist/expressions/calls/call-emitter.test.js.map +1 -0
  754. package/dist/expressions/calls/call-extension-methods.d.ts +17 -0
  755. package/dist/expressions/calls/call-extension-methods.d.ts.map +1 -0
  756. package/dist/expressions/calls/call-extension-methods.js +191 -0
  757. package/dist/expressions/calls/call-extension-methods.js.map +1 -0
  758. package/dist/expressions/calls/call-json.d.ts +15 -0
  759. package/dist/expressions/calls/call-json.d.ts.map +1 -0
  760. package/dist/expressions/calls/call-json.js +212 -0
  761. package/dist/expressions/calls/call-json.js.map +1 -0
  762. package/dist/expressions/calls/call-promise-chains.d.ts +7 -0
  763. package/dist/expressions/calls/call-promise-chains.d.ts.map +1 -0
  764. package/dist/expressions/calls/call-promise-chains.js +411 -0
  765. package/dist/expressions/calls/call-promise-chains.js.map +1 -0
  766. package/dist/expressions/calls/call-promise-ir-types.d.ts +11 -0
  767. package/dist/expressions/calls/call-promise-ir-types.d.ts.map +1 -0
  768. package/dist/expressions/calls/call-promise-ir-types.js +219 -0
  769. package/dist/expressions/calls/call-promise-ir-types.js.map +1 -0
  770. package/dist/expressions/calls/call-promise-normalization.d.ts +11 -0
  771. package/dist/expressions/calls/call-promise-normalization.d.ts.map +1 -0
  772. package/dist/expressions/calls/call-promise-normalization.js +179 -0
  773. package/dist/expressions/calls/call-promise-normalization.js.map +1 -0
  774. package/dist/expressions/calls/call-promise-static.d.ts +7 -0
  775. package/dist/expressions/calls/call-promise-static.d.ts.map +1 -0
  776. package/dist/expressions/calls/call-promise-static.js +188 -0
  777. package/dist/expressions/calls/call-promise-static.js.map +1 -0
  778. package/dist/expressions/calls/call-promise-task-types.d.ts +9 -0
  779. package/dist/expressions/calls/call-promise-task-types.d.ts.map +1 -0
  780. package/dist/expressions/calls/call-promise-task-types.js +88 -0
  781. package/dist/expressions/calls/call-promise-task-types.js.map +1 -0
  782. package/dist/expressions/calls/call-promise.d.ts +11 -0
  783. package/dist/expressions/calls/call-promise.d.ts.map +1 -0
  784. package/dist/expressions/calls/call-promise.js +11 -0
  785. package/dist/expressions/calls/call-promise.js.map +1 -0
  786. package/dist/expressions/calls/call-runtime-union-guards.d.ts +7 -0
  787. package/dist/expressions/calls/call-runtime-union-guards.d.ts.map +1 -0
  788. package/dist/expressions/calls/call-runtime-union-guards.js +131 -0
  789. package/dist/expressions/calls/call-runtime-union-guards.js.map +1 -0
  790. package/dist/expressions/calls/call-symbol.d.ts +7 -0
  791. package/dist/expressions/calls/call-symbol.d.ts.map +1 -0
  792. package/dist/expressions/calls/call-symbol.js +26 -0
  793. package/dist/expressions/calls/call-symbol.js.map +1 -0
  794. package/dist/expressions/calls/new-emitter-collections.d.ts +31 -0
  795. package/dist/expressions/calls/new-emitter-collections.d.ts.map +1 -0
  796. package/dist/expressions/calls/new-emitter-collections.js +310 -0
  797. package/dist/expressions/calls/new-emitter-collections.js.map +1 -0
  798. package/dist/expressions/calls/new-emitter-promise.d.ts +10 -0
  799. package/dist/expressions/calls/new-emitter-promise.d.ts.map +1 -0
  800. package/dist/expressions/calls/new-emitter-promise.js +437 -0
  801. package/dist/expressions/calls/new-emitter-promise.js.map +1 -0
  802. package/dist/expressions/calls/new-emitter.d.ts.map +1 -1
  803. package/dist/expressions/calls/new-emitter.js +34 -596
  804. package/dist/expressions/calls/new-emitter.js.map +1 -1
  805. package/dist/expressions/calls/runtime-expected-type-preference.d.ts +4 -0
  806. package/dist/expressions/calls/runtime-expected-type-preference.d.ts.map +1 -0
  807. package/dist/expressions/calls/runtime-expected-type-preference.js +61 -0
  808. package/dist/expressions/calls/runtime-expected-type-preference.js.map +1 -0
  809. package/dist/expressions/collections.d.ts +4 -18
  810. package/dist/expressions/collections.d.ts.map +1 -1
  811. package/dist/expressions/collections.js +3 -986
  812. package/dist/expressions/collections.js.map +1 -1
  813. package/dist/expressions/dictionary-literal.d.ts +20 -0
  814. package/dist/expressions/dictionary-literal.d.ts.map +1 -0
  815. package/dist/expressions/dictionary-literal.js +214 -0
  816. package/dist/expressions/dictionary-literal.js.map +1 -0
  817. package/dist/expressions/dictionary-safe-access.d.ts +4 -0
  818. package/dist/expressions/dictionary-safe-access.d.ts.map +1 -0
  819. package/dist/expressions/dictionary-safe-access.js +86 -0
  820. package/dist/expressions/dictionary-safe-access.js.map +1 -0
  821. package/dist/expressions/direct-storage-types.d.ts +10 -0
  822. package/dist/expressions/direct-storage-types.d.ts.map +1 -0
  823. package/dist/expressions/direct-storage-types.js +441 -0
  824. package/dist/expressions/direct-storage-types.js.map +1 -0
  825. package/dist/expressions/exact-comparison.d.ts +17 -0
  826. package/dist/expressions/exact-comparison.d.ts.map +1 -0
  827. package/dist/expressions/exact-comparison.js +240 -0
  828. package/dist/expressions/exact-comparison.js.map +1 -0
  829. package/dist/expressions/exact-global-bindings.d.ts +6 -0
  830. package/dist/expressions/exact-global-bindings.d.ts.map +1 -0
  831. package/dist/expressions/exact-global-bindings.js +15 -0
  832. package/dist/expressions/exact-global-bindings.js.map +1 -0
  833. package/dist/expressions/expected-type-adaptation.d.ts +55 -0
  834. package/dist/expressions/expected-type-adaptation.d.ts.map +1 -0
  835. package/dist/expressions/expected-type-adaptation.js +918 -0
  836. package/dist/expressions/expected-type-adaptation.js.map +1 -0
  837. package/dist/expressions/expected-type-adaptation.test.d.ts +2 -0
  838. package/dist/expressions/expected-type-adaptation.test.d.ts.map +1 -0
  839. package/dist/expressions/expected-type-adaptation.test.js +1363 -0
  840. package/dist/expressions/expected-type-adaptation.test.js.map +1 -0
  841. package/dist/expressions/functions.d.ts +6 -15
  842. package/dist/expressions/functions.d.ts.map +1 -1
  843. package/dist/expressions/functions.js +6 -219
  844. package/dist/expressions/functions.js.map +1 -1
  845. package/dist/expressions/identifier-storage.d.ts +43 -0
  846. package/dist/expressions/identifier-storage.d.ts.map +1 -0
  847. package/dist/expressions/identifier-storage.js +478 -0
  848. package/dist/expressions/identifier-storage.js.map +1 -0
  849. package/dist/expressions/identifiers.d.ts.map +1 -1
  850. package/dist/expressions/identifiers.js +145 -51
  851. package/dist/expressions/identifiers.js.map +1 -1
  852. package/dist/expressions/index-cases/alias-carrier-widening.test.d.ts +2 -0
  853. package/dist/expressions/index-cases/alias-carrier-widening.test.d.ts.map +1 -0
  854. package/dist/expressions/index-cases/alias-carrier-widening.test.js +347 -0
  855. package/dist/expressions/index-cases/alias-carrier-widening.test.js.map +1 -0
  856. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.d.ts +2 -0
  857. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.d.ts.map +1 -0
  858. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js +356 -0
  859. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js.map +1 -0
  860. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.d.ts +2 -0
  861. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.d.ts.map +1 -0
  862. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js +233 -0
  863. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js.map +1 -0
  864. package/dist/expressions/index-cases/basic-literals-and-calls.test.d.ts +2 -0
  865. package/dist/expressions/index-cases/basic-literals-and-calls.test.d.ts.map +1 -0
  866. package/dist/expressions/index-cases/basic-literals-and-calls.test.js +550 -0
  867. package/dist/expressions/index-cases/basic-literals-and-calls.test.js.map +1 -0
  868. package/dist/expressions/index-cases/defaults-and-char-context.test.d.ts +2 -0
  869. package/dist/expressions/index-cases/defaults-and-char-context.test.d.ts.map +1 -0
  870. package/dist/expressions/index-cases/defaults-and-char-context.test.js +951 -0
  871. package/dist/expressions/index-cases/defaults-and-char-context.test.js.map +1 -0
  872. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.d.ts +2 -0
  873. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.d.ts.map +1 -0
  874. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js +533 -0
  875. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js.map +1 -0
  876. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.d.ts +2 -0
  877. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.d.ts.map +1 -0
  878. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js +336 -0
  879. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js.map +1 -0
  880. package/dist/expressions/index-cases/fluent-and-ef-operators.test.d.ts +2 -0
  881. package/dist/expressions/index-cases/fluent-and-ef-operators.test.d.ts.map +1 -0
  882. package/dist/expressions/index-cases/fluent-and-ef-operators.test.js +352 -0
  883. package/dist/expressions/index-cases/fluent-and-ef-operators.test.js.map +1 -0
  884. package/dist/expressions/index-cases/helpers.d.ts +13 -0
  885. package/dist/expressions/index-cases/helpers.d.ts.map +1 -0
  886. package/dist/expressions/index-cases/helpers.js +27 -0
  887. package/dist/expressions/index-cases/helpers.js.map +1 -0
  888. package/dist/expressions/index-cases/member-access-and-array-wrappers-a.test.d.ts +2 -0
  889. package/dist/expressions/index-cases/member-access-and-array-wrappers-a.test.d.ts.map +1 -0
  890. package/dist/expressions/index-cases/member-access-and-array-wrappers-a.test.js +429 -0
  891. package/dist/expressions/index-cases/member-access-and-array-wrappers-a.test.js.map +1 -0
  892. package/dist/expressions/index-cases/nullable-and-comparisons.test.d.ts +2 -0
  893. package/dist/expressions/index-cases/nullable-and-comparisons.test.d.ts.map +1 -0
  894. package/dist/expressions/index-cases/nullable-and-comparisons.test.js +423 -0
  895. package/dist/expressions/index-cases/nullable-and-comparisons.test.js.map +1 -0
  896. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.d.ts +2 -0
  897. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.d.ts.map +1 -0
  898. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js +482 -0
  899. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js.map +1 -0
  900. package/dist/expressions/index-cases/runtime-union-reification-a.test.d.ts +2 -0
  901. package/dist/expressions/index-cases/runtime-union-reification-a.test.d.ts.map +1 -0
  902. package/dist/expressions/index-cases/runtime-union-reification-a.test.js +454 -0
  903. package/dist/expressions/index-cases/runtime-union-reification-a.test.js.map +1 -0
  904. package/dist/expressions/index-cases/runtime-union-reification-b.test.d.ts +2 -0
  905. package/dist/expressions/index-cases/runtime-union-reification-b.test.d.ts.map +1 -0
  906. package/dist/expressions/index-cases/runtime-union-reification-b.test.js +852 -0
  907. package/dist/expressions/index-cases/runtime-union-reification-b.test.js.map +1 -0
  908. package/dist/expressions/index-cases/spreads-and-member-bindings.test.d.ts +2 -0
  909. package/dist/expressions/index-cases/spreads-and-member-bindings.test.d.ts.map +1 -0
  910. package/dist/expressions/index-cases/spreads-and-member-bindings.test.js +616 -0
  911. package/dist/expressions/index-cases/spreads-and-member-bindings.test.js.map +1 -0
  912. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.d.ts +2 -0
  913. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.d.ts.map +1 -0
  914. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js +304 -0
  915. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js.map +1 -0
  916. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.d.ts +2 -0
  917. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.d.ts.map +1 -0
  918. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js +369 -0
  919. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js.map +1 -0
  920. package/dist/expressions/index-cases/tuple-rest-and-unions.test.d.ts +2 -0
  921. package/dist/expressions/index-cases/tuple-rest-and-unions.test.d.ts.map +1 -0
  922. package/dist/expressions/index-cases/tuple-rest-and-unions.test.js +392 -0
  923. package/dist/expressions/index-cases/tuple-rest-and-unions.test.js.map +1 -0
  924. package/dist/expressions/index.test.d.ts +17 -5
  925. package/dist/expressions/index.test.d.ts.map +1 -1
  926. package/dist/expressions/index.test.js +17 -2707
  927. package/dist/expressions/index.test.js.map +1 -1
  928. package/dist/expressions/invoked-lambda.d.ts +12 -0
  929. package/dist/expressions/invoked-lambda.d.ts.map +1 -0
  930. package/dist/expressions/invoked-lambda.js +69 -0
  931. package/dist/expressions/invoked-lambda.js.map +1 -0
  932. package/dist/expressions/lambda-body.d.ts +23 -0
  933. package/dist/expressions/lambda-body.d.ts.map +1 -0
  934. package/dist/expressions/lambda-body.js +421 -0
  935. package/dist/expressions/lambda-body.js.map +1 -0
  936. package/dist/expressions/lambda-parameters.d.ts +32 -0
  937. package/dist/expressions/lambda-parameters.d.ts.map +1 -0
  938. package/dist/expressions/lambda-parameters.js +279 -0
  939. package/dist/expressions/lambda-parameters.js.map +1 -0
  940. package/dist/expressions/literals.d.ts.map +1 -1
  941. package/dist/expressions/literals.js +25 -42
  942. package/dist/expressions/literals.js.map +1 -1
  943. package/dist/expressions/literals.test.js +48 -0
  944. package/dist/expressions/literals.test.js.map +1 -1
  945. package/dist/expressions/object-helpers.d.ts +22 -0
  946. package/dist/expressions/object-helpers.d.ts.map +1 -0
  947. package/dist/expressions/object-helpers.js +98 -0
  948. package/dist/expressions/object-helpers.js.map +1 -0
  949. package/dist/expressions/object-literal-spreads.d.ts +20 -0
  950. package/dist/expressions/object-literal-spreads.d.ts.map +1 -0
  951. package/dist/expressions/object-literal-spreads.js +188 -0
  952. package/dist/expressions/object-literal-spreads.js.map +1 -0
  953. package/dist/expressions/object-literal.d.ts +18 -0
  954. package/dist/expressions/object-literal.d.ts.map +1 -0
  955. package/dist/expressions/object-literal.js +178 -0
  956. package/dist/expressions/object-literal.js.map +1 -0
  957. package/dist/expressions/operators/assignment-emitter.d.ts.map +1 -1
  958. package/dist/expressions/operators/assignment-emitter.js +80 -33
  959. package/dist/expressions/operators/assignment-emitter.js.map +1 -1
  960. package/dist/expressions/operators/binary-dispatch.d.ts +37 -0
  961. package/dist/expressions/operators/binary-dispatch.d.ts.map +1 -0
  962. package/dist/expressions/operators/binary-dispatch.js +449 -0
  963. package/dist/expressions/operators/binary-dispatch.js.map +1 -0
  964. package/dist/expressions/operators/binary-emitter.d.ts +6 -29
  965. package/dist/expressions/operators/binary-emitter.d.ts.map +1 -1
  966. package/dist/expressions/operators/binary-emitter.js +6 -435
  967. package/dist/expressions/operators/binary-emitter.js.map +1 -1
  968. package/dist/expressions/operators/binary-helpers.d.ts +17 -0
  969. package/dist/expressions/operators/binary-helpers.d.ts.map +1 -0
  970. package/dist/expressions/operators/binary-helpers.js +119 -0
  971. package/dist/expressions/operators/binary-helpers.js.map +1 -0
  972. package/dist/expressions/operators/binary-runtime-union-comparison.d.ts +7 -0
  973. package/dist/expressions/operators/binary-runtime-union-comparison.d.ts.map +1 -0
  974. package/dist/expressions/operators/binary-runtime-union-comparison.js +150 -0
  975. package/dist/expressions/operators/binary-runtime-union-comparison.js.map +1 -0
  976. package/dist/expressions/operators/binary-special-ops.d.ts +29 -0
  977. package/dist/expressions/operators/binary-special-ops.d.ts.map +1 -0
  978. package/dist/expressions/operators/binary-special-ops.js +468 -0
  979. package/dist/expressions/operators/binary-special-ops.js.map +1 -0
  980. package/dist/expressions/operators/conditional-emitter.d.ts.map +1 -1
  981. package/dist/expressions/operators/conditional-emitter.js +221 -216
  982. package/dist/expressions/operators/conditional-emitter.js.map +1 -1
  983. package/dist/expressions/operators/helpers.d.ts +10 -0
  984. package/dist/expressions/operators/helpers.d.ts.map +1 -1
  985. package/dist/expressions/operators/helpers.js +30 -0
  986. package/dist/expressions/operators/helpers.js.map +1 -1
  987. package/dist/expressions/operators/logical-emitter.d.ts +2 -2
  988. package/dist/expressions/operators/logical-emitter.d.ts.map +1 -1
  989. package/dist/expressions/operators/logical-emitter.js +293 -12
  990. package/dist/expressions/operators/logical-emitter.js.map +1 -1
  991. package/dist/expressions/operators/unary-emitter.d.ts.map +1 -1
  992. package/dist/expressions/operators/unary-emitter.js +14 -40
  993. package/dist/expressions/operators/unary-emitter.js.map +1 -1
  994. package/dist/expressions/operators/write-targets.d.ts +5 -0
  995. package/dist/expressions/operators/write-targets.d.ts.map +1 -0
  996. package/dist/expressions/operators/write-targets.js +65 -0
  997. package/dist/expressions/operators/write-targets.js.map +1 -0
  998. package/dist/expressions/other.d.ts.map +1 -1
  999. package/dist/expressions/other.js +20 -58
  1000. package/dist/expressions/other.js.map +1 -1
  1001. package/dist/expressions/post-emission-adaptation.d.ts +19 -0
  1002. package/dist/expressions/post-emission-adaptation.d.ts.map +1 -0
  1003. package/dist/expressions/post-emission-adaptation.js +939 -0
  1004. package/dist/expressions/post-emission-adaptation.js.map +1 -0
  1005. package/dist/expressions/runtime-union-adaptation-projection.d.ts +12 -0
  1006. package/dist/expressions/runtime-union-adaptation-projection.d.ts.map +1 -0
  1007. package/dist/expressions/runtime-union-adaptation-projection.js +182 -0
  1008. package/dist/expressions/runtime-union-adaptation-projection.js.map +1 -0
  1009. package/dist/expressions/runtime-union-adaptation-upcast.d.ts +11 -0
  1010. package/dist/expressions/runtime-union-adaptation-upcast.d.ts.map +1 -0
  1011. package/dist/expressions/runtime-union-adaptation-upcast.js +722 -0
  1012. package/dist/expressions/runtime-union-adaptation-upcast.js.map +1 -0
  1013. package/dist/expressions/runtime-union-adaptation.d.ts +10 -0
  1014. package/dist/expressions/runtime-union-adaptation.d.ts.map +1 -0
  1015. package/dist/expressions/runtime-union-adaptation.js +10 -0
  1016. package/dist/expressions/runtime-union-adaptation.js.map +1 -0
  1017. package/dist/expressions/structural-adaptation-types.d.ts +12 -0
  1018. package/dist/expressions/structural-adaptation-types.d.ts.map +1 -0
  1019. package/dist/expressions/structural-adaptation-types.js +3 -0
  1020. package/dist/expressions/structural-adaptation-types.js.map +1 -0
  1021. package/dist/expressions/structural-adaptation.d.ts +16 -0
  1022. package/dist/expressions/structural-adaptation.d.ts.map +1 -0
  1023. package/dist/expressions/structural-adaptation.js +14 -0
  1024. package/dist/expressions/structural-adaptation.js.map +1 -0
  1025. package/dist/expressions/structural-anonymous-targets.d.ts +4 -0
  1026. package/dist/expressions/structural-anonymous-targets.d.ts.map +1 -0
  1027. package/dist/expressions/structural-anonymous-targets.js +156 -0
  1028. package/dist/expressions/structural-anonymous-targets.js.map +1 -0
  1029. package/dist/expressions/structural-collection-adaptation.d.ts +7 -0
  1030. package/dist/expressions/structural-collection-adaptation.d.ts.map +1 -0
  1031. package/dist/expressions/structural-collection-adaptation.js +682 -0
  1032. package/dist/expressions/structural-collection-adaptation.js.map +1 -0
  1033. package/dist/expressions/structural-object-adaptation.d.ts +6 -0
  1034. package/dist/expressions/structural-object-adaptation.d.ts.map +1 -0
  1035. package/dist/expressions/structural-object-adaptation.js +213 -0
  1036. package/dist/expressions/structural-object-adaptation.js.map +1 -0
  1037. package/dist/expressions/structural-property-model.d.ts +6 -0
  1038. package/dist/expressions/structural-property-model.d.ts.map +1 -0
  1039. package/dist/expressions/structural-property-model.js +304 -0
  1040. package/dist/expressions/structural-property-model.js.map +1 -0
  1041. package/dist/expressions/structural-type-shapes.d.ts +19 -0
  1042. package/dist/expressions/structural-type-shapes.d.ts.map +1 -0
  1043. package/dist/expressions/structural-type-shapes.js +318 -0
  1044. package/dist/expressions/structural-type-shapes.js.map +1 -0
  1045. package/dist/expressions/structural-type-shapes.test.d.ts +2 -0
  1046. package/dist/expressions/structural-type-shapes.test.d.ts.map +1 -0
  1047. package/dist/expressions/structural-type-shapes.test.js +60 -0
  1048. package/dist/expressions/structural-type-shapes.test.js.map +1 -0
  1049. package/dist/expressions/type-assertion-emitters.d.ts +50 -0
  1050. package/dist/expressions/type-assertion-emitters.d.ts.map +1 -0
  1051. package/dist/expressions/type-assertion-emitters.js +675 -0
  1052. package/dist/expressions/type-assertion-emitters.js.map +1 -0
  1053. package/dist/fixture-regression-mirrors.test.d.ts +2 -0
  1054. package/dist/fixture-regression-mirrors.test.d.ts.map +1 -0
  1055. package/dist/fixture-regression-mirrors.test.js +580 -0
  1056. package/dist/fixture-regression-mirrors.test.js.map +1 -0
  1057. package/dist/generated-files.d.ts +19 -0
  1058. package/dist/generated-files.d.ts.map +1 -0
  1059. package/dist/generated-files.js +519 -0
  1060. package/dist/generated-files.js.map +1 -0
  1061. package/dist/generated-files.test.d.ts +2 -0
  1062. package/dist/generated-files.test.d.ts.map +1 -0
  1063. package/dist/generated-files.test.js +103 -0
  1064. package/dist/generated-files.test.js.map +1 -0
  1065. package/dist/generator-cases/bidirectional-core.test.d.ts +6 -0
  1066. package/dist/generator-cases/bidirectional-core.test.d.ts.map +1 -0
  1067. package/dist/generator-cases/bidirectional-core.test.js +272 -0
  1068. package/dist/generator-cases/bidirectional-core.test.js.map +1 -0
  1069. package/dist/generator-cases/bidirectional-features.test.d.ts +6 -0
  1070. package/dist/generator-cases/bidirectional-features.test.d.ts.map +1 -0
  1071. package/dist/generator-cases/bidirectional-features.test.js +360 -0
  1072. package/dist/generator-cases/bidirectional-features.test.js.map +1 -0
  1073. package/dist/generator-cases/simple-generators.test.d.ts +6 -0
  1074. package/dist/generator-cases/simple-generators.test.d.ts.map +1 -0
  1075. package/dist/generator-cases/simple-generators.test.js +227 -0
  1076. package/dist/generator-cases/simple-generators.test.js.map +1 -0
  1077. package/dist/generator-exchange.d.ts +3 -2
  1078. package/dist/generator-exchange.d.ts.map +1 -1
  1079. package/dist/generator-exchange.js +49 -17
  1080. package/dist/generator-exchange.js.map +1 -1
  1081. package/dist/generator-wrapper-builders.d.ts +10 -0
  1082. package/dist/generator-wrapper-builders.d.ts.map +1 -0
  1083. package/dist/generator-wrapper-builders.js +288 -0
  1084. package/dist/generator-wrapper-builders.js.map +1 -0
  1085. package/dist/generator-wrapper.d.ts +16 -5
  1086. package/dist/generator-wrapper.d.ts.map +1 -1
  1087. package/dist/generator-wrapper.js +55 -325
  1088. package/dist/generator-wrapper.js.map +1 -1
  1089. package/dist/generator.test.d.ts +3 -5
  1090. package/dist/generator.test.d.ts.map +1 -1
  1091. package/dist/generator.test.js +3 -766
  1092. package/dist/generator.test.js.map +1 -1
  1093. package/dist/golden-tests/config-parser.d.ts.map +1 -1
  1094. package/dist/golden-tests/config-parser.js +7 -0
  1095. package/dist/golden-tests/config-parser.js.map +1 -1
  1096. package/dist/golden-tests/discovery.js +1 -0
  1097. package/dist/golden-tests/discovery.js.map +1 -1
  1098. package/dist/golden-tests/runner.d.ts.map +1 -1
  1099. package/dist/golden-tests/runner.js +12 -40
  1100. package/dist/golden-tests/runner.js.map +1 -1
  1101. package/dist/golden-tests/types.d.ts +2 -0
  1102. package/dist/golden-tests/types.d.ts.map +1 -1
  1103. package/dist/hierarchical-bindings.test.js +6 -9
  1104. package/dist/hierarchical-bindings.test.js.map +1 -1
  1105. package/dist/integration-cases/arrow-and-generics-a.test.d.ts +2 -0
  1106. package/dist/integration-cases/arrow-and-generics-a.test.d.ts.map +1 -0
  1107. package/dist/integration-cases/arrow-and-generics-a.test.js +695 -0
  1108. package/dist/integration-cases/arrow-and-generics-a.test.js.map +1 -0
  1109. package/dist/integration-cases/arrow-and-generics-b.test.d.ts +2 -0
  1110. package/dist/integration-cases/arrow-and-generics-b.test.d.ts.map +1 -0
  1111. package/dist/integration-cases/arrow-and-generics-b.test.js +218 -0
  1112. package/dist/integration-cases/arrow-and-generics-b.test.js.map +1 -0
  1113. package/dist/integration-cases/await-and-intrinsics.test.d.ts +2 -0
  1114. package/dist/integration-cases/await-and-intrinsics.test.d.ts.map +1 -0
  1115. package/dist/integration-cases/await-and-intrinsics.test.js +237 -0
  1116. package/dist/integration-cases/await-and-intrinsics.test.js.map +1 -0
  1117. package/dist/integration-cases/clr-iterable-overloads.test.d.ts +2 -0
  1118. package/dist/integration-cases/clr-iterable-overloads.test.d.ts.map +1 -0
  1119. package/dist/integration-cases/clr-iterable-overloads.test.js +446 -0
  1120. package/dist/integration-cases/clr-iterable-overloads.test.js.map +1 -0
  1121. package/dist/integration-cases/full-module-and-promises.test.d.ts +2 -0
  1122. package/dist/integration-cases/full-module-and-promises.test.d.ts.map +1 -0
  1123. package/dist/integration-cases/full-module-and-promises.test.js +472 -0
  1124. package/dist/integration-cases/full-module-and-promises.test.js.map +1 -0
  1125. package/dist/integration-cases/helpers.d.ts +7 -0
  1126. package/dist/integration-cases/helpers.d.ts.map +1 -0
  1127. package/dist/integration-cases/helpers.js +348 -0
  1128. package/dist/integration-cases/helpers.js.map +1 -0
  1129. package/dist/integration-cases/object-literals-and-channels.test.d.ts +2 -0
  1130. package/dist/integration-cases/object-literals-and-channels.test.d.ts.map +1 -0
  1131. package/dist/integration-cases/object-literals-and-channels.test.js +72 -0
  1132. package/dist/integration-cases/object-literals-and-channels.test.js.map +1 -0
  1133. package/dist/integration-cases/regression-coverage-a.test.d.ts +2 -0
  1134. package/dist/integration-cases/regression-coverage-a.test.d.ts.map +1 -0
  1135. package/dist/integration-cases/regression-coverage-a.test.js +533 -0
  1136. package/dist/integration-cases/regression-coverage-a.test.js.map +1 -0
  1137. package/dist/integration-cases/regression-coverage-b.test.d.ts +2 -0
  1138. package/dist/integration-cases/regression-coverage-b.test.d.ts.map +1 -0
  1139. package/dist/integration-cases/regression-coverage-b.test.js +806 -0
  1140. package/dist/integration-cases/regression-coverage-b.test.js.map +1 -0
  1141. package/dist/integration-cases/regression-coverage-c.test.d.ts +2 -0
  1142. package/dist/integration-cases/regression-coverage-c.test.d.ts.map +1 -0
  1143. package/dist/integration-cases/regression-coverage-c.test.js +4139 -0
  1144. package/dist/integration-cases/regression-coverage-c.test.js.map +1 -0
  1145. package/dist/integration.test.d.ts +9 -5
  1146. package/dist/integration.test.d.ts.map +1 -1
  1147. package/dist/integration.test.js +9 -1223
  1148. package/dist/integration.test.js.map +1 -1
  1149. package/dist/invariants/numeric-proof-contract-cases/emitter-and-annotations.test.d.ts +5 -0
  1150. package/dist/invariants/numeric-proof-contract-cases/emitter-and-annotations.test.d.ts.map +1 -0
  1151. package/dist/invariants/numeric-proof-contract-cases/emitter-and-annotations.test.js +93 -0
  1152. package/dist/invariants/numeric-proof-contract-cases/emitter-and-annotations.test.js.map +1 -0
  1153. package/dist/invariants/numeric-proof-contract-cases/helpers.d.ts +14 -0
  1154. package/dist/invariants/numeric-proof-contract-cases/helpers.d.ts.map +1 -0
  1155. package/dist/invariants/numeric-proof-contract-cases/helpers.js +158 -0
  1156. package/dist/invariants/numeric-proof-contract-cases/helpers.js.map +1 -0
  1157. package/dist/invariants/numeric-proof-contract-cases/proof-and-diagnostics.test.d.ts +5 -0
  1158. package/dist/invariants/numeric-proof-contract-cases/proof-and-diagnostics.test.d.ts.map +1 -0
  1159. package/dist/invariants/numeric-proof-contract-cases/proof-and-diagnostics.test.js +242 -0
  1160. package/dist/invariants/numeric-proof-contract-cases/proof-and-diagnostics.test.js.map +1 -0
  1161. package/dist/invariants/numeric-proof-contract.test.d.ts +2 -18
  1162. package/dist/invariants/numeric-proof-contract.test.d.ts.map +1 -1
  1163. package/dist/invariants/numeric-proof-contract.test.js +2 -510
  1164. package/dist/invariants/numeric-proof-contract.test.js.map +1 -1
  1165. package/dist/json-aot-generic.test.js +323 -5
  1166. package/dist/json-aot-generic.test.js.map +1 -1
  1167. package/dist/naming-policy.d.ts.map +1 -1
  1168. package/dist/naming-policy.js +19 -0
  1169. package/dist/naming-policy.js.map +1 -1
  1170. package/dist/patterns/local-lowering.d.ts +27 -0
  1171. package/dist/patterns/local-lowering.d.ts.map +1 -0
  1172. package/dist/patterns/local-lowering.js +296 -0
  1173. package/dist/patterns/local-lowering.js.map +1 -0
  1174. package/dist/patterns/static-assignment-lowering.d.ts +11 -0
  1175. package/dist/patterns/static-assignment-lowering.d.ts.map +1 -0
  1176. package/dist/patterns/static-assignment-lowering.js +11 -0
  1177. package/dist/patterns/static-assignment-lowering.js.map +1 -0
  1178. package/dist/patterns/static-lowering-assignments.d.ts +16 -0
  1179. package/dist/patterns/static-lowering-assignments.d.ts.map +1 -0
  1180. package/dist/patterns/static-lowering-assignments.js +269 -0
  1181. package/dist/patterns/static-lowering-assignments.js.map +1 -0
  1182. package/dist/patterns/static-lowering-members.d.ts +15 -0
  1183. package/dist/patterns/static-lowering-members.d.ts.map +1 -0
  1184. package/dist/patterns/static-lowering-members.js +231 -0
  1185. package/dist/patterns/static-lowering-members.js.map +1 -0
  1186. package/dist/patterns-cases/array-and-object.test.d.ts +2 -0
  1187. package/dist/patterns-cases/array-and-object.test.d.ts.map +1 -0
  1188. package/dist/patterns-cases/array-and-object.test.js +370 -0
  1189. package/dist/patterns-cases/array-and-object.test.js.map +1 -0
  1190. package/dist/patterns-cases/assignments-and-complex.test.d.ts +2 -0
  1191. package/dist/patterns-cases/assignments-and-complex.test.d.ts.map +1 -0
  1192. package/dist/patterns-cases/assignments-and-complex.test.js +361 -0
  1193. package/dist/patterns-cases/assignments-and-complex.test.js.map +1 -0
  1194. package/dist/patterns-cases/edge-cases.test.d.ts +2 -0
  1195. package/dist/patterns-cases/edge-cases.test.d.ts.map +1 -0
  1196. package/dist/patterns-cases/edge-cases.test.js +133 -0
  1197. package/dist/patterns-cases/edge-cases.test.js.map +1 -0
  1198. package/dist/patterns-cases/helpers.d.ts +6 -0
  1199. package/dist/patterns-cases/helpers.d.ts.map +1 -0
  1200. package/dist/patterns-cases/helpers.js +33 -0
  1201. package/dist/patterns-cases/helpers.js.map +1 -0
  1202. package/dist/patterns-cases/loops-and-parameters.test.d.ts +2 -0
  1203. package/dist/patterns-cases/loops-and-parameters.test.d.ts.map +1 -0
  1204. package/dist/patterns-cases/loops-and-parameters.test.js +275 -0
  1205. package/dist/patterns-cases/loops-and-parameters.test.js.map +1 -0
  1206. package/dist/patterns-cases/methods-and-semantic-infra.test.d.ts +2 -0
  1207. package/dist/patterns-cases/methods-and-semantic-infra.test.d.ts.map +1 -0
  1208. package/dist/patterns-cases/methods-and-semantic-infra.test.js +438 -0
  1209. package/dist/patterns-cases/methods-and-semantic-infra.test.js.map +1 -0
  1210. package/dist/patterns.d.ts +5 -20
  1211. package/dist/patterns.d.ts.map +1 -1
  1212. package/dist/patterns.js +3 -830
  1213. package/dist/patterns.js.map +1 -1
  1214. package/dist/patterns.test.d.ts +5 -14
  1215. package/dist/patterns.test.d.ts.map +1 -1
  1216. package/dist/patterns.test.js +5 -1341
  1217. package/dist/patterns.test.js.map +1 -1
  1218. package/dist/runtime-union-cases/helpers.d.ts +7 -0
  1219. package/dist/runtime-union-cases/helpers.d.ts.map +1 -0
  1220. package/dist/runtime-union-cases/helpers.js +17 -0
  1221. package/dist/runtime-union-cases/helpers.js.map +1 -0
  1222. package/dist/specialization/generic-functions-cases/basics-and-structural.test.d.ts +6 -0
  1223. package/dist/specialization/generic-functions-cases/basics-and-structural.test.d.ts.map +1 -0
  1224. package/dist/specialization/generic-functions-cases/basics-and-structural.test.js +357 -0
  1225. package/dist/specialization/generic-functions-cases/basics-and-structural.test.js.map +1 -0
  1226. package/dist/specialization/generic-functions-cases/class-and-interface-constraints.test.d.ts +6 -0
  1227. package/dist/specialization/generic-functions-cases/class-and-interface-constraints.test.d.ts.map +1 -0
  1228. package/dist/specialization/generic-functions-cases/class-and-interface-constraints.test.js +304 -0
  1229. package/dist/specialization/generic-functions-cases/class-and-interface-constraints.test.js.map +1 -0
  1230. package/dist/specialization/generic-functions.test.d.ts +2 -5
  1231. package/dist/specialization/generic-functions.test.d.ts.map +1 -1
  1232. package/dist/specialization/generic-functions.test.js +2 -650
  1233. package/dist/specialization/generic-functions.test.js.map +1 -1
  1234. package/dist/specialization/helpers.d.ts.map +1 -1
  1235. package/dist/specialization/helpers.js +2 -16
  1236. package/dist/specialization/helpers.js.map +1 -1
  1237. package/dist/specialization/interfaces.test.js +58 -0
  1238. package/dist/specialization/interfaces.test.js.map +1 -1
  1239. package/dist/specialization/naming.d.ts.map +1 -1
  1240. package/dist/specialization/naming.js +9 -2
  1241. package/dist/specialization/naming.js.map +1 -1
  1242. package/dist/statements/block-emitters/block-and-return.d.ts +10 -0
  1243. package/dist/statements/block-emitters/block-and-return.d.ts.map +1 -0
  1244. package/dist/statements/block-emitters/block-and-return.js +132 -0
  1245. package/dist/statements/block-emitters/block-and-return.js.map +1 -0
  1246. package/dist/statements/block-emitters/expression-statements.d.ts +7 -0
  1247. package/dist/statements/block-emitters/expression-statements.d.ts.map +1 -0
  1248. package/dist/statements/block-emitters/expression-statements.js +72 -0
  1249. package/dist/statements/block-emitters/expression-statements.js.map +1 -0
  1250. package/dist/statements/block-emitters/yield-statements.d.ts +13 -0
  1251. package/dist/statements/block-emitters/yield-statements.d.ts.map +1 -0
  1252. package/dist/statements/block-emitters/yield-statements.js +217 -0
  1253. package/dist/statements/block-emitters/yield-statements.js.map +1 -0
  1254. package/dist/statements/blocks.d.ts +3 -86
  1255. package/dist/statements/blocks.d.ts.map +1 -1
  1256. package/dist/statements/blocks.js +3 -443
  1257. package/dist/statements/blocks.js.map +1 -1
  1258. package/dist/statements/classes/members/constructors.d.ts.map +1 -1
  1259. package/dist/statements/classes/members/constructors.js +105 -13
  1260. package/dist/statements/classes/members/constructors.js.map +1 -1
  1261. package/dist/statements/classes/members/methods.d.ts +1 -1
  1262. package/dist/statements/classes/members/methods.d.ts.map +1 -1
  1263. package/dist/statements/classes/members/methods.js +330 -83
  1264. package/dist/statements/classes/members/methods.js.map +1 -1
  1265. package/dist/statements/classes/members/orchestrator.d.ts +3 -3
  1266. package/dist/statements/classes/members/orchestrator.d.ts.map +1 -1
  1267. package/dist/statements/classes/members/orchestrator.js +10 -4
  1268. package/dist/statements/classes/members/orchestrator.js.map +1 -1
  1269. package/dist/statements/classes/members/properties.d.ts.map +1 -1
  1270. package/dist/statements/classes/members/properties.js +29 -5
  1271. package/dist/statements/classes/members/properties.js.map +1 -1
  1272. package/dist/statements/classes/members/shadowing.test.js +3 -2
  1273. package/dist/statements/classes/members/shadowing.test.js.map +1 -1
  1274. package/dist/statements/classes/parameters.d.ts +9 -1
  1275. package/dist/statements/classes/parameters.d.ts.map +1 -1
  1276. package/dist/statements/classes/parameters.js +88 -7
  1277. package/dist/statements/classes/parameters.js.map +1 -1
  1278. package/dist/statements/classes/properties.d.ts.map +1 -1
  1279. package/dist/statements/classes/properties.js +7 -17
  1280. package/dist/statements/classes/properties.js.map +1 -1
  1281. package/dist/statements/control/conditionals/branch-context.d.ts +58 -0
  1282. package/dist/statements/control/conditionals/branch-context.d.ts.map +1 -0
  1283. package/dist/statements/control/conditionals/branch-context.js +530 -0
  1284. package/dist/statements/control/conditionals/branch-context.js.map +1 -0
  1285. package/dist/statements/control/conditionals/branch-context.test.d.ts +2 -0
  1286. package/dist/statements/control/conditionals/branch-context.test.d.ts.map +1 -0
  1287. package/dist/statements/control/conditionals/branch-context.test.js +34 -0
  1288. package/dist/statements/control/conditionals/branch-context.test.js.map +1 -0
  1289. package/dist/statements/control/conditionals/guard-analysis.d.ts +8 -207
  1290. package/dist/statements/control/conditionals/guard-analysis.d.ts.map +1 -1
  1291. package/dist/statements/control/conditionals/guard-analysis.js +8 -750
  1292. package/dist/statements/control/conditionals/guard-analysis.js.map +1 -1
  1293. package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts +20 -0
  1294. package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts.map +1 -0
  1295. package/dist/statements/control/conditionals/guard-detectors-discriminant.js +214 -0
  1296. package/dist/statements/control/conditionals/guard-detectors-discriminant.js.map +1 -0
  1297. package/dist/statements/control/conditionals/guard-detectors-structural.d.ts +32 -0
  1298. package/dist/statements/control/conditionals/guard-detectors-structural.d.ts.map +1 -0
  1299. package/dist/statements/control/conditionals/guard-detectors-structural.js +302 -0
  1300. package/dist/statements/control/conditionals/guard-detectors-structural.js.map +1 -0
  1301. package/dist/statements/control/conditionals/guard-detectors.d.ts +11 -0
  1302. package/dist/statements/control/conditionals/guard-detectors.d.ts.map +1 -0
  1303. package/dist/statements/control/conditionals/guard-detectors.js +11 -0
  1304. package/dist/statements/control/conditionals/guard-detectors.js.map +1 -0
  1305. package/dist/statements/control/conditionals/guard-extraction.d.ts +30 -0
  1306. package/dist/statements/control/conditionals/guard-extraction.d.ts.map +1 -0
  1307. package/dist/statements/control/conditionals/guard-extraction.js +304 -0
  1308. package/dist/statements/control/conditionals/guard-extraction.js.map +1 -0
  1309. package/dist/statements/control/conditionals/guard-types.d.ts +214 -0
  1310. package/dist/statements/control/conditionals/guard-types.d.ts.map +1 -0
  1311. package/dist/statements/control/conditionals/guard-types.js +242 -0
  1312. package/dist/statements/control/conditionals/guard-types.js.map +1 -0
  1313. package/dist/statements/control/conditionals/if-emit-instanceof-guards.d.ts +28 -0
  1314. package/dist/statements/control/conditionals/if-emit-instanceof-guards.d.ts.map +1 -0
  1315. package/dist/statements/control/conditionals/if-emit-instanceof-guards.js +261 -0
  1316. package/dist/statements/control/conditionals/if-emit-instanceof-guards.js.map +1 -0
  1317. package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts +24 -0
  1318. package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts.map +1 -0
  1319. package/dist/statements/control/conditionals/if-emit-predicate-guards.js +165 -0
  1320. package/dist/statements/control/conditionals/if-emit-predicate-guards.js.map +1 -0
  1321. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts +24 -0
  1322. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts.map +1 -0
  1323. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js +391 -0
  1324. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js.map +1 -0
  1325. package/dist/statements/control/conditionals/if-emit-type-guards.d.ts +10 -0
  1326. package/dist/statements/control/conditionals/if-emit-type-guards.d.ts.map +1 -0
  1327. package/dist/statements/control/conditionals/if-emit-type-guards.js +10 -0
  1328. package/dist/statements/control/conditionals/if-emit-type-guards.js.map +1 -0
  1329. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.d.ts +23 -0
  1330. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.d.ts.map +1 -0
  1331. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js +264 -0
  1332. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js.map +1 -0
  1333. package/dist/statements/control/conditionals/if-emit-union-guards.d.ts +10 -0
  1334. package/dist/statements/control/conditionals/if-emit-union-guards.d.ts.map +1 -0
  1335. package/dist/statements/control/conditionals/if-emit-union-guards.js +10 -0
  1336. package/dist/statements/control/conditionals/if-emit-union-guards.js.map +1 -0
  1337. package/dist/statements/control/conditionals/if-emitter.d.ts +6 -3
  1338. package/dist/statements/control/conditionals/if-emitter.d.ts.map +1 -1
  1339. package/dist/statements/control/conditionals/if-emitter.js +99 -911
  1340. package/dist/statements/control/conditionals/if-emitter.js.map +1 -1
  1341. package/dist/statements/control/exceptions.d.ts.map +1 -1
  1342. package/dist/statements/control/exceptions.js +21 -6
  1343. package/dist/statements/control/exceptions.js.map +1 -1
  1344. package/dist/statements/control/loop-helpers.d.ts +13 -0
  1345. package/dist/statements/control/loop-helpers.d.ts.map +1 -0
  1346. package/dist/statements/control/loop-helpers.js +75 -0
  1347. package/dist/statements/control/loop-helpers.js.map +1 -0
  1348. package/dist/statements/control/loops.d.ts.map +1 -1
  1349. package/dist/statements/control/loops.js +88 -174
  1350. package/dist/statements/control/loops.js.map +1 -1
  1351. package/dist/statements/declarations/class-emitter-helpers.d.ts +17 -0
  1352. package/dist/statements/declarations/class-emitter-helpers.d.ts.map +1 -0
  1353. package/dist/statements/declarations/class-emitter-helpers.js +126 -0
  1354. package/dist/statements/declarations/class-emitter-helpers.js.map +1 -0
  1355. package/dist/statements/declarations/classes.d.ts.map +1 -1
  1356. package/dist/statements/declarations/classes.js +104 -31
  1357. package/dist/statements/declarations/classes.js.map +1 -1
  1358. package/dist/statements/declarations/function-local-emitter.d.ts +7 -0
  1359. package/dist/statements/declarations/function-local-emitter.d.ts.map +1 -0
  1360. package/dist/statements/declarations/function-local-emitter.js +363 -0
  1361. package/dist/statements/declarations/function-local-emitter.js.map +1 -0
  1362. package/dist/statements/declarations/function-module-emitter.d.ts +7 -0
  1363. package/dist/statements/declarations/function-module-emitter.d.ts.map +1 -0
  1364. package/dist/statements/declarations/function-module-emitter.js +372 -0
  1365. package/dist/statements/declarations/function-module-emitter.js.map +1 -0
  1366. package/dist/statements/declarations/function-shared.d.ts +43 -0
  1367. package/dist/statements/declarations/function-shared.d.ts.map +1 -0
  1368. package/dist/statements/declarations/function-shared.js +246 -0
  1369. package/dist/statements/declarations/function-shared.js.map +1 -0
  1370. package/dist/statements/declarations/functions.d.ts +2 -27
  1371. package/dist/statements/declarations/functions.d.ts.map +1 -1
  1372. package/dist/statements/declarations/functions.js +2 -739
  1373. package/dist/statements/declarations/functions.js.map +1 -1
  1374. package/dist/statements/declarations/interfaces-mutable-storage.test.js +10 -2
  1375. package/dist/statements/declarations/interfaces-mutable-storage.test.js.map +1 -1
  1376. package/dist/statements/declarations/interfaces.d.ts.map +1 -1
  1377. package/dist/statements/declarations/interfaces.js +29 -21
  1378. package/dist/statements/declarations/interfaces.js.map +1 -1
  1379. package/dist/statements/declarations/type-aliases.d.ts.map +1 -1
  1380. package/dist/statements/declarations/type-aliases.js +6 -12
  1381. package/dist/statements/declarations/type-aliases.js.map +1 -1
  1382. package/dist/statements/declarations/variable-local-type.d.ts +36 -0
  1383. package/dist/statements/declarations/variable-local-type.d.ts.map +1 -0
  1384. package/dist/statements/declarations/variable-local-type.js +122 -0
  1385. package/dist/statements/declarations/variable-local-type.js.map +1 -0
  1386. package/dist/statements/declarations/variable-static-arrow.d.ts +47 -0
  1387. package/dist/statements/declarations/variable-static-arrow.d.ts.map +1 -0
  1388. package/dist/statements/declarations/variable-static-arrow.js +363 -0
  1389. package/dist/statements/declarations/variable-static-arrow.js.map +1 -0
  1390. package/dist/statements/declarations/variable-type-helpers.d.ts +86 -0
  1391. package/dist/statements/declarations/variable-type-helpers.d.ts.map +1 -0
  1392. package/dist/statements/declarations/variable-type-helpers.js +242 -0
  1393. package/dist/statements/declarations/variable-type-helpers.js.map +1 -0
  1394. package/dist/statements/declarations/variable-type-resolution.d.ts +11 -0
  1395. package/dist/statements/declarations/variable-type-resolution.d.ts.map +1 -0
  1396. package/dist/statements/declarations/variable-type-resolution.js +11 -0
  1397. package/dist/statements/declarations/variable-type-resolution.js.map +1 -0
  1398. package/dist/statements/declarations/variables.d.ts +5 -1
  1399. package/dist/statements/declarations/variables.d.ts.map +1 -1
  1400. package/dist/statements/declarations/variables.js +116 -594
  1401. package/dist/statements/declarations/variables.js.map +1 -1
  1402. package/dist/statements/index.test.d.ts +10 -5
  1403. package/dist/statements/index.test.d.ts.map +1 -1
  1404. package/dist/statements/index.test.js +10 -1883
  1405. package/dist/statements/index.test.js.map +1 -1
  1406. package/dist/statements/parameter-defaults.d.ts +17 -0
  1407. package/dist/statements/parameter-defaults.d.ts.map +1 -0
  1408. package/dist/statements/parameter-defaults.js +122 -0
  1409. package/dist/statements/parameter-defaults.js.map +1 -0
  1410. package/dist/statements/statement-cases/async-returns.test.d.ts +2 -0
  1411. package/dist/statements/statement-cases/async-returns.test.d.ts.map +1 -0
  1412. package/dist/statements/statement-cases/async-returns.test.js +311 -0
  1413. package/dist/statements/statement-cases/async-returns.test.js.map +1 -0
  1414. package/dist/statements/statement-cases/flow-and-void.test.d.ts +2 -0
  1415. package/dist/statements/statement-cases/flow-and-void.test.d.ts.map +1 -0
  1416. package/dist/statements/statement-cases/flow-and-void.test.js +405 -0
  1417. package/dist/statements/statement-cases/flow-and-void.test.js.map +1 -0
  1418. package/dist/statements/statement-cases/helpers.d.ts +6 -0
  1419. package/dist/statements/statement-cases/helpers.d.ts.map +1 -0
  1420. package/dist/statements/statement-cases/helpers.js +4 -0
  1421. package/dist/statements/statement-cases/helpers.js.map +1 -0
  1422. package/dist/statements/statement-cases/if-and-instanceof-guards.test.d.ts +2 -0
  1423. package/dist/statements/statement-cases/if-and-instanceof-guards.test.d.ts.map +1 -0
  1424. package/dist/statements/statement-cases/if-and-instanceof-guards.test.js +826 -0
  1425. package/dist/statements/statement-cases/if-and-instanceof-guards.test.js.map +1 -0
  1426. package/dist/statements/statement-cases/loops.test.d.ts +2 -0
  1427. package/dist/statements/statement-cases/loops.test.d.ts.map +1 -0
  1428. package/dist/statements/statement-cases/loops.test.js +433 -0
  1429. package/dist/statements/statement-cases/loops.test.js.map +1 -0
  1430. package/dist/statements/statement-cases/scopes-and-storage.test.d.ts +2 -0
  1431. package/dist/statements/statement-cases/scopes-and-storage.test.d.ts.map +1 -0
  1432. package/dist/statements/statement-cases/scopes-and-storage.test.js +216 -0
  1433. package/dist/statements/statement-cases/scopes-and-storage.test.js.map +1 -0
  1434. package/dist/statements/statement-cases/union-guards-basic.test.d.ts +2 -0
  1435. package/dist/statements/statement-cases/union-guards-basic.test.d.ts.map +1 -0
  1436. package/dist/statements/statement-cases/union-guards-basic.test.js +235 -0
  1437. package/dist/statements/statement-cases/union-guards-basic.test.js.map +1 -0
  1438. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.d.ts +2 -0
  1439. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.d.ts.map +1 -0
  1440. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js +265 -0
  1441. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js.map +1 -0
  1442. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.d.ts +2 -0
  1443. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.d.ts.map +1 -0
  1444. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js +630 -0
  1445. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js.map +1 -0
  1446. package/dist/statements/statement-cases/union-guards-remapped-a.test.d.ts +2 -0
  1447. package/dist/statements/statement-cases/union-guards-remapped-a.test.d.ts.map +1 -0
  1448. package/dist/statements/statement-cases/union-guards-remapped-a.test.js +382 -0
  1449. package/dist/statements/statement-cases/union-guards-remapped-a.test.js.map +1 -0
  1450. package/dist/statements/statement-cases/union-guards-remapped-b.test.d.ts +2 -0
  1451. package/dist/statements/statement-cases/union-guards-remapped-b.test.d.ts.map +1 -0
  1452. package/dist/statements/statement-cases/union-guards-remapped-b.test.js +397 -0
  1453. package/dist/statements/statement-cases/union-guards-remapped-b.test.js.map +1 -0
  1454. package/dist/type-assertion.test.js +258 -10
  1455. package/dist/type-assertion.test.js.map +1 -1
  1456. package/dist/types/arrays.d.ts.map +1 -1
  1457. package/dist/types/arrays.js +10 -1
  1458. package/dist/types/arrays.js.map +1 -1
  1459. package/dist/types/dictionaries.d.ts.map +1 -1
  1460. package/dist/types/dictionaries.js +5 -5
  1461. package/dist/types/dictionaries.js.map +1 -1
  1462. package/dist/types/emitter.d.ts.map +1 -1
  1463. package/dist/types/emitter.js +129 -24
  1464. package/dist/types/emitter.js.map +1 -1
  1465. package/dist/types/functions.d.ts.map +1 -1
  1466. package/dist/types/functions.js +5 -25
  1467. package/dist/types/functions.js.map +1 -1
  1468. package/dist/types/index.test.js +205 -1
  1469. package/dist/types/index.test.js.map +1 -1
  1470. package/dist/types/objects.d.ts +2 -2
  1471. package/dist/types/objects.d.ts.map +1 -1
  1472. package/dist/types/objects.js +2 -2
  1473. package/dist/types/objects.js.map +1 -1
  1474. package/dist/types/parameters.d.ts.map +1 -1
  1475. package/dist/types/parameters.js +88 -18
  1476. package/dist/types/parameters.js.map +1 -1
  1477. package/dist/types/primitives.d.ts.map +1 -1
  1478. package/dist/types/primitives.js.map +1 -1
  1479. package/dist/types/reference-lookup.d.ts +16 -0
  1480. package/dist/types/reference-lookup.d.ts.map +1 -0
  1481. package/dist/types/reference-lookup.js +133 -0
  1482. package/dist/types/reference-lookup.js.map +1 -0
  1483. package/dist/types/reference-structural-signatures.d.ts +10 -0
  1484. package/dist/types/reference-structural-signatures.d.ts.map +1 -0
  1485. package/dist/types/reference-structural-signatures.js +310 -0
  1486. package/dist/types/reference-structural-signatures.js.map +1 -0
  1487. package/dist/types/references-cases/array-and-cross-module.test.d.ts +2 -0
  1488. package/dist/types/references-cases/array-and-cross-module.test.d.ts.map +1 -0
  1489. package/dist/types/references-cases/array-and-cross-module.test.js +150 -0
  1490. package/dist/types/references-cases/array-and-cross-module.test.js.map +1 -0
  1491. package/dist/types/references-cases/bindings-and-local.test.d.ts +2 -0
  1492. package/dist/types/references-cases/bindings-and-local.test.d.ts.map +1 -0
  1493. package/dist/types/references-cases/bindings-and-local.test.js +368 -0
  1494. package/dist/types/references-cases/bindings-and-local.test.js.map +1 -0
  1495. package/dist/types/references-cases/helpers.d.ts +14 -0
  1496. package/dist/types/references-cases/helpers.d.ts.map +1 -0
  1497. package/dist/types/references-cases/helpers.js +39 -0
  1498. package/dist/types/references-cases/helpers.js.map +1 -0
  1499. package/dist/types/references-cases/polymorphic-and-recursive.test.d.ts +2 -0
  1500. package/dist/types/references-cases/polymorphic-and-recursive.test.d.ts.map +1 -0
  1501. package/dist/types/references-cases/polymorphic-and-recursive.test.js +387 -0
  1502. package/dist/types/references-cases/polymorphic-and-recursive.test.js.map +1 -0
  1503. package/dist/types/references-cases/primitive-and-builtins.test.d.ts +2 -0
  1504. package/dist/types/references-cases/primitive-and-builtins.test.d.ts.map +1 -0
  1505. package/dist/types/references-cases/primitive-and-builtins.test.js +116 -0
  1506. package/dist/types/references-cases/primitive-and-builtins.test.js.map +1 -0
  1507. package/dist/types/references-cases/resolved-and-imported.test.d.ts +2 -0
  1508. package/dist/types/references-cases/resolved-and-imported.test.d.ts.map +1 -0
  1509. package/dist/types/references-cases/resolved-and-imported.test.js +669 -0
  1510. package/dist/types/references-cases/resolved-and-imported.test.js.map +1 -0
  1511. package/dist/types/references.d.ts.map +1 -1
  1512. package/dist/types/references.js +279 -250
  1513. package/dist/types/references.js.map +1 -1
  1514. package/dist/types/references.test.d.ts +5 -10
  1515. package/dist/types/references.test.d.ts.map +1 -1
  1516. package/dist/types/references.test.js +5 -718
  1517. package/dist/types/references.test.js.map +1 -1
  1518. package/dist/types/tuples.d.ts.map +1 -1
  1519. package/dist/types/tuples.js +7 -17
  1520. package/dist/types/tuples.js.map +1 -1
  1521. package/dist/types/unions-cases/basic-and-ordering.test.d.ts +6 -0
  1522. package/dist/types/unions-cases/basic-and-ordering.test.d.ts.map +1 -0
  1523. package/dist/types/unions-cases/basic-and-ordering.test.js +322 -0
  1524. package/dist/types/unions-cases/basic-and-ordering.test.js.map +1 -0
  1525. package/dist/types/unions-cases/large-and-fallback.test.d.ts +6 -0
  1526. package/dist/types/unions-cases/large-and-fallback.test.d.ts.map +1 -0
  1527. package/dist/types/unions-cases/large-and-fallback.test.js +246 -0
  1528. package/dist/types/unions-cases/large-and-fallback.test.js.map +1 -0
  1529. package/dist/types/unions-cases/multi-surface.test.d.ts +6 -0
  1530. package/dist/types/unions-cases/multi-surface.test.d.ts.map +1 -0
  1531. package/dist/types/unions-cases/multi-surface.test.js +268 -0
  1532. package/dist/types/unions-cases/multi-surface.test.js.map +1 -0
  1533. package/dist/types/unions.d.ts +1 -1
  1534. package/dist/types/unions.d.ts.map +1 -1
  1535. package/dist/types/unions.js +60 -68
  1536. package/dist/types/unions.js.map +1 -1
  1537. package/dist/types/unions.test.d.ts +3 -5
  1538. package/dist/types/unions.test.d.ts.map +1 -1
  1539. package/dist/types/unions.test.js +3 -413
  1540. package/dist/types/unions.test.js.map +1 -1
  1541. package/package.json +4 -4
  1542. package/dist/expressions/parentheses.d.ts +0 -4
  1543. package/dist/expressions/parentheses.d.ts.map +0 -1
  1544. package/dist/expressions/parentheses.js +0 -91
  1545. package/dist/expressions/parentheses.js.map +0 -1
@@ -1,1342 +1,6 @@
1
- /**
2
- * Comprehensive Tests for Destructuring Pattern Lowering
3
- *
4
- * Tests all forms of destructuring:
5
- * - Variable declaration destructuring (array and object)
6
- * - For-of loop destructuring
7
- * - Parameter destructuring
8
- * - Assignment destructuring
9
- * - Nested patterns
10
- * - Rest elements
11
- * - Default values
12
- * - Edge cases
13
- */
14
- import { describe, it } from "mocha";
15
- import { expect } from "chai";
16
- import { emitModule } from "./emitter.js";
17
- // Helper to create a minimal module with a function
18
- const createModule = (statements, isStatic = false) => ({
19
- kind: "module",
20
- filePath: "/src/test.ts",
21
- namespace: "TestApp",
22
- className: "test",
23
- isStaticContainer: isStatic,
24
- imports: [],
25
- body: isStatic
26
- ? statements
27
- : [
28
- {
29
- kind: "functionDeclaration",
30
- name: "testFunc",
31
- parameters: [],
32
- returnType: { kind: "voidType" },
33
- body: {
34
- kind: "blockStatement",
35
- statements,
36
- },
37
- isExported: true,
38
- isAsync: false,
39
- isGenerator: false,
40
- },
41
- ],
42
- exports: [],
43
- });
44
- // Helper to create array type
45
- const arrayType = (elementType) => ({
46
- kind: "arrayType",
47
- elementType,
48
- });
49
- // Helper to create string type
50
- const stringType = { kind: "primitiveType", name: "string" };
51
- // Helper to create number type
52
- const numberType = { kind: "primitiveType", name: "number" };
53
- describe("Destructuring Pattern Lowering", () => {
54
- describe("Variable Declaration - Array Patterns", () => {
55
- it("should lower simple array destructuring", () => {
56
- const module = createModule([
57
- {
58
- kind: "variableDeclaration",
59
- declarationKind: "const",
60
- declarations: [
61
- {
62
- kind: "variableDeclarator",
63
- name: {
64
- kind: "arrayPattern",
65
- elements: [
66
- {
67
- pattern: { kind: "identifierPattern", name: "a" },
68
- isRest: false,
69
- },
70
- {
71
- pattern: { kind: "identifierPattern", name: "b" },
72
- isRest: false,
73
- },
74
- ],
75
- },
76
- type: arrayType(numberType),
77
- initializer: { kind: "identifier", name: "arr" },
78
- },
79
- ],
80
- isExported: false,
81
- },
82
- ]);
83
- const result = emitModule(module);
84
- // Should create temp variable
85
- expect(result).to.include("var __arr0 = arr;");
86
- // Should emit indexed access for each element with element type
87
- expect(result).to.include("double a = __arr0[0];");
88
- expect(result).to.include("double b = __arr0[1];");
89
- });
90
- it("should lower array destructuring with rest element", () => {
91
- const module = createModule([
92
- {
93
- kind: "variableDeclaration",
94
- declarationKind: "const",
95
- declarations: [
96
- {
97
- kind: "variableDeclarator",
98
- name: {
99
- kind: "arrayPattern",
100
- elements: [
101
- {
102
- pattern: { kind: "identifierPattern", name: "first" },
103
- isRest: false,
104
- },
105
- {
106
- pattern: { kind: "identifierPattern", name: "rest" },
107
- isRest: true,
108
- },
109
- ],
110
- },
111
- type: arrayType(stringType),
112
- initializer: { kind: "identifier", name: "items" },
113
- },
114
- ],
115
- isExported: false,
116
- },
117
- ]);
118
- const result = emitModule(module);
119
- // Should use ArrayHelpers.Slice for rest (typed with element type)
120
- expect(result).to.include("string first = __arr0[0];");
121
- expect(result).to.include("Tsonic.Runtime.ArrayHelpers.Slice(__arr0, 1)");
122
- });
123
- it("should handle holes in array patterns", () => {
124
- const module = createModule([
125
- {
126
- kind: "variableDeclaration",
127
- declarationKind: "const",
128
- declarations: [
129
- {
130
- kind: "variableDeclarator",
131
- name: {
132
- kind: "arrayPattern",
133
- elements: [
134
- {
135
- pattern: { kind: "identifierPattern", name: "a" },
136
- isRest: false,
137
- },
138
- undefined, // hole
139
- {
140
- pattern: { kind: "identifierPattern", name: "c" },
141
- isRest: false,
142
- },
143
- ],
144
- },
145
- type: arrayType(numberType),
146
- initializer: { kind: "identifier", name: "arr" },
147
- },
148
- ],
149
- isExported: false,
150
- },
151
- ]);
152
- const result = emitModule(module);
153
- // Should skip index 1 (the hole) - with types
154
- expect(result).to.include("double a = __arr0[0];");
155
- expect(result).to.include("double c = __arr0[2];");
156
- // Should NOT have index 1
157
- expect(result).to.not.include("__arr0[1]");
158
- });
159
- it("should handle nested array patterns", () => {
160
- const module = createModule([
161
- {
162
- kind: "variableDeclaration",
163
- declarationKind: "const",
164
- declarations: [
165
- {
166
- kind: "variableDeclarator",
167
- name: {
168
- kind: "arrayPattern",
169
- elements: [
170
- {
171
- pattern: {
172
- kind: "arrayPattern",
173
- elements: [
174
- {
175
- pattern: { kind: "identifierPattern", name: "a" },
176
- isRest: false,
177
- },
178
- {
179
- pattern: { kind: "identifierPattern", name: "b" },
180
- isRest: false,
181
- },
182
- ],
183
- },
184
- isRest: false,
185
- },
186
- {
187
- pattern: { kind: "identifierPattern", name: "c" },
188
- isRest: false,
189
- },
190
- ],
191
- },
192
- type: arrayType(arrayType(numberType)),
193
- initializer: { kind: "identifier", name: "nested" },
194
- },
195
- ],
196
- isExported: false,
197
- },
198
- ]);
199
- const result = emitModule(module);
200
- // Should create nested temp variables
201
- expect(result).to.include("var __arr0 = nested;");
202
- expect(result).to.include("var __arr1 = __arr0[0];");
203
- // Inner elements get element type (double)
204
- expect(result).to.include("double a = __arr1[0];");
205
- expect(result).to.include("double b = __arr1[1];");
206
- // Outer second element gets array element type (double[])
207
- expect(result).to.include("double[] c = __arr0[1];");
208
- });
209
- it("should lower tuple destructuring via Item access instead of array indexing", () => {
210
- const tupleType = {
211
- kind: "tupleType",
212
- elementTypes: [stringType, numberType],
213
- };
214
- const module = createModule([
215
- {
216
- kind: "variableDeclaration",
217
- declarationKind: "const",
218
- declarations: [
219
- {
220
- kind: "variableDeclarator",
221
- name: {
222
- kind: "arrayPattern",
223
- elements: [
224
- {
225
- pattern: { kind: "identifierPattern", name: "key" },
226
- isRest: false,
227
- },
228
- {
229
- pattern: { kind: "identifierPattern", name: "value" },
230
- isRest: false,
231
- },
232
- ],
233
- },
234
- type: tupleType,
235
- initializer: { kind: "identifier", name: "entry" },
236
- },
237
- ],
238
- isExported: false,
239
- },
240
- ]);
241
- const result = emitModule(module);
242
- expect(result).to.include("var __tuple0 = entry;");
243
- expect(result).to.include("string key = __tuple0.Item1;");
244
- expect(result).to.include("double value = __tuple0.Item2;");
245
- expect(result).to.not.include("__tuple0[0]");
246
- expect(result).to.not.include("__tuple0[1]");
247
- });
248
- });
249
- describe("Variable Declaration - Object Patterns", () => {
250
- // Helper to create a reference type with structural members (required by emitter)
251
- // eslint-disable-next-line @typescript-eslint/no-explicit-any
252
- const refTypeWithMembers = (name, members) => ({
253
- kind: "referenceType",
254
- name,
255
- resolvedClrType: name, // Required for emitter to resolve the type
256
- structuralMembers: members,
257
- });
258
- it("should lower simple object destructuring", () => {
259
- const personMembers = [
260
- {
261
- kind: "propertySignature",
262
- name: "name",
263
- type: stringType,
264
- isOptional: false,
265
- isReadonly: false,
266
- },
267
- {
268
- kind: "propertySignature",
269
- name: "age",
270
- type: numberType,
271
- isOptional: false,
272
- isReadonly: false,
273
- },
274
- ];
275
- const personType = refTypeWithMembers("Person", personMembers);
276
- const module = createModule([
277
- {
278
- kind: "variableDeclaration",
279
- declarationKind: "const",
280
- declarations: [
281
- {
282
- kind: "variableDeclarator",
283
- name: {
284
- kind: "objectPattern",
285
- properties: [
286
- {
287
- kind: "property",
288
- key: "name",
289
- value: { kind: "identifierPattern", name: "name" },
290
- shorthand: true,
291
- },
292
- {
293
- kind: "property",
294
- key: "age",
295
- value: { kind: "identifierPattern", name: "age" },
296
- shorthand: true,
297
- },
298
- ],
299
- },
300
- type: personType,
301
- initializer: { kind: "identifier", name: "person" },
302
- },
303
- ],
304
- isExported: false,
305
- },
306
- ]);
307
- const result = emitModule(module);
308
- // Should create temp variable
309
- expect(result).to.include("var __obj0 = person;");
310
- // Should emit property access with types from structuralMembers
311
- expect(result).to.include("string name = __obj0.name;");
312
- expect(result).to.include("double age = __obj0.age;");
313
- });
314
- it("should handle object property renaming", () => {
315
- const personMembers = [
316
- {
317
- kind: "propertySignature",
318
- name: "firstName",
319
- type: stringType,
320
- isOptional: false,
321
- isReadonly: false,
322
- },
323
- ];
324
- const personType = refTypeWithMembers("Person", personMembers);
325
- const module = createModule([
326
- {
327
- kind: "variableDeclaration",
328
- declarationKind: "const",
329
- declarations: [
330
- {
331
- kind: "variableDeclarator",
332
- name: {
333
- kind: "objectPattern",
334
- properties: [
335
- {
336
- kind: "property",
337
- key: "firstName",
338
- value: { kind: "identifierPattern", name: "name" },
339
- shorthand: false,
340
- },
341
- ],
342
- },
343
- type: personType,
344
- initializer: { kind: "identifier", name: "person" },
345
- },
346
- ],
347
- isExported: false,
348
- },
349
- ]);
350
- const result = emitModule(module);
351
- // Should use original key but target name, with type
352
- expect(result).to.include("string name = __obj0.firstName;");
353
- });
354
- it("should handle nested object patterns", () => {
355
- const innerMembers = [
356
- {
357
- kind: "propertySignature",
358
- name: "inner",
359
- type: stringType,
360
- isOptional: false,
361
- isReadonly: false,
362
- },
363
- ];
364
- const innerType = refTypeWithMembers("Inner", innerMembers);
365
- const outerMembers = [
366
- {
367
- kind: "propertySignature",
368
- name: "outer",
369
- type: innerType,
370
- isOptional: false,
371
- isReadonly: false,
372
- },
373
- ];
374
- const outerType = refTypeWithMembers("Outer", outerMembers);
375
- const module = createModule([
376
- {
377
- kind: "variableDeclaration",
378
- declarationKind: "const",
379
- declarations: [
380
- {
381
- kind: "variableDeclarator",
382
- name: {
383
- kind: "objectPattern",
384
- properties: [
385
- {
386
- kind: "property",
387
- key: "outer",
388
- value: {
389
- kind: "objectPattern",
390
- properties: [
391
- {
392
- kind: "property",
393
- key: "inner",
394
- value: { kind: "identifierPattern", name: "value" },
395
- shorthand: false,
396
- },
397
- ],
398
- },
399
- shorthand: false,
400
- },
401
- ],
402
- },
403
- type: outerType,
404
- initializer: { kind: "identifier", name: "obj" },
405
- },
406
- ],
407
- isExported: false,
408
- },
409
- ]);
410
- const result = emitModule(module);
411
- // Should create nested temp variables
412
- expect(result).to.include("var __obj0 = obj;");
413
- expect(result).to.include("var __obj1 = __obj0.outer;");
414
- expect(result).to.include("string value = __obj1.inner;");
415
- });
416
- });
417
- describe("For-of Loop Destructuring", () => {
418
- it("should lower array destructuring in for-of loop", () => {
419
- const module = createModule([
420
- {
421
- kind: "forOfStatement",
422
- variable: {
423
- kind: "arrayPattern",
424
- elements: [
425
- {
426
- pattern: { kind: "identifierPattern", name: "key" },
427
- isRest: false,
428
- },
429
- {
430
- pattern: { kind: "identifierPattern", name: "value" },
431
- isRest: false,
432
- },
433
- ],
434
- },
435
- expression: {
436
- kind: "identifier",
437
- name: "entries",
438
- inferredType: arrayType(arrayType(stringType)),
439
- },
440
- body: {
441
- kind: "blockStatement",
442
- statements: [
443
- {
444
- kind: "expressionStatement",
445
- expression: {
446
- kind: "call",
447
- callee: {
448
- kind: "memberAccess",
449
- object: { kind: "identifier", name: "console" },
450
- property: "log",
451
- isComputed: false,
452
- isOptional: false,
453
- },
454
- arguments: [
455
- { kind: "identifier", name: "key" },
456
- { kind: "identifier", name: "value" },
457
- ],
458
- isOptional: false,
459
- },
460
- },
461
- ],
462
- },
463
- isAwait: false,
464
- },
465
- ]);
466
- const result = emitModule(module);
467
- // Should use temp variable in foreach
468
- expect(result).to.include("foreach (var __item in entries)");
469
- // Should destructure inside the loop (with types from element type)
470
- expect(result).to.include("var __arr0 = __item;");
471
- expect(result).to.include("string key = __arr0[0];");
472
- expect(result).to.include("string value = __arr0[1];");
473
- });
474
- it("should use simple variable for identifier pattern", () => {
475
- const module = createModule([
476
- {
477
- kind: "forOfStatement",
478
- variable: { kind: "identifierPattern", name: "item" },
479
- expression: { kind: "identifier", name: "items" },
480
- body: {
481
- kind: "blockStatement",
482
- statements: [],
483
- },
484
- isAwait: false,
485
- },
486
- ]);
487
- const result = emitModule(module);
488
- // Should use simple foreach without lowering
489
- expect(result).to.include("foreach (var item in items)");
490
- // Should NOT create temp variable
491
- expect(result).to.not.include("__item");
492
- });
493
- it("should use tuple element typing when destructuring Map iteration", () => {
494
- const module = createModule([
495
- {
496
- kind: "forOfStatement",
497
- variable: {
498
- kind: "arrayPattern",
499
- elements: [
500
- {
501
- pattern: { kind: "identifierPattern", name: "key" },
502
- isRest: false,
503
- },
504
- {
505
- pattern: { kind: "identifierPattern", name: "value" },
506
- isRest: false,
507
- },
508
- ],
509
- },
510
- expression: {
511
- kind: "identifier",
512
- name: "entries",
513
- inferredType: {
514
- kind: "referenceType",
515
- name: "Map",
516
- typeArguments: [stringType, numberType],
517
- },
518
- },
519
- body: {
520
- kind: "blockStatement",
521
- statements: [],
522
- },
523
- isAwait: false,
524
- },
525
- ]);
526
- const result = emitModule(module);
527
- expect(result).to.include("foreach (var __item in entries)");
528
- expect(result).to.include("Item1");
529
- expect(result).to.include("Item2");
530
- expect(result).to.not.include("[0]");
531
- expect(result).to.not.include("[1]");
532
- });
533
- });
534
- describe("Parameter Destructuring", () => {
535
- it("should lower array destructuring in function parameters", () => {
536
- const module = {
537
- kind: "module",
538
- filePath: "/src/test.ts",
539
- namespace: "TestApp",
540
- className: "test",
541
- isStaticContainer: true,
542
- imports: [],
543
- body: [
544
- {
545
- kind: "functionDeclaration",
546
- name: "swap",
547
- parameters: [
548
- {
549
- kind: "parameter",
550
- pattern: {
551
- kind: "arrayPattern",
552
- elements: [
553
- {
554
- pattern: { kind: "identifierPattern", name: "a" },
555
- isRest: false,
556
- },
557
- {
558
- pattern: { kind: "identifierPattern", name: "b" },
559
- isRest: false,
560
- },
561
- ],
562
- },
563
- type: arrayType(numberType),
564
- isOptional: false,
565
- isRest: false,
566
- passing: "value",
567
- },
568
- ],
569
- returnType: arrayType(numberType),
570
- body: {
571
- kind: "blockStatement",
572
- statements: [
573
- {
574
- kind: "returnStatement",
575
- expression: {
576
- kind: "array",
577
- elements: [
578
- { kind: "identifier", name: "b" },
579
- { kind: "identifier", name: "a" },
580
- ],
581
- },
582
- },
583
- ],
584
- },
585
- isExported: true,
586
- isAsync: false,
587
- isGenerator: false,
588
- },
589
- ],
590
- exports: [],
591
- };
592
- const result = emitModule(module);
593
- // Should use synthetic parameter name
594
- expect(result).to.include("__param0");
595
- // Should destructure at start of body (with element type)
596
- expect(result).to.include("double a = __arr0[0];");
597
- expect(result).to.include("double b = __arr0[1];");
598
- });
599
- it("should handle object destructuring in function parameters", () => {
600
- // Use referenceType with structuralMembers (not raw objectType)
601
- const personType = {
602
- kind: "referenceType",
603
- name: "Person",
604
- resolvedClrType: "Person",
605
- structuralMembers: [
606
- {
607
- kind: "propertySignature",
608
- name: "name",
609
- type: stringType,
610
- isOptional: false,
611
- isReadonly: false,
612
- },
613
- {
614
- kind: "propertySignature",
615
- name: "age",
616
- type: numberType,
617
- isOptional: false,
618
- isReadonly: false,
619
- },
620
- ],
621
- };
622
- const module = {
623
- kind: "module",
624
- filePath: "/src/test.ts",
625
- namespace: "TestApp",
626
- className: "test",
627
- isStaticContainer: true,
628
- imports: [],
629
- body: [
630
- {
631
- kind: "functionDeclaration",
632
- name: "greet",
633
- parameters: [
634
- {
635
- kind: "parameter",
636
- pattern: {
637
- kind: "objectPattern",
638
- properties: [
639
- {
640
- kind: "property",
641
- key: "name",
642
- value: { kind: "identifierPattern", name: "name" },
643
- shorthand: true,
644
- },
645
- ],
646
- },
647
- type: personType,
648
- isOptional: false,
649
- isRest: false,
650
- passing: "value",
651
- },
652
- ],
653
- returnType: stringType,
654
- body: {
655
- kind: "blockStatement",
656
- statements: [
657
- {
658
- kind: "returnStatement",
659
- expression: { kind: "identifier", name: "name" },
660
- },
661
- ],
662
- },
663
- isExported: true,
664
- isAsync: false,
665
- isGenerator: false,
666
- },
667
- ],
668
- exports: [],
669
- };
670
- const result = emitModule(module);
671
- // Should use synthetic parameter name
672
- expect(result).to.include("__param0");
673
- // Should destructure with type
674
- expect(result).to.include("string name = __obj0.name;");
675
- });
676
- });
677
- describe("Assignment Destructuring", () => {
678
- it("should lower array destructuring assignment", () => {
679
- const module = createModule([
680
- {
681
- kind: "variableDeclaration",
682
- declarationKind: "let",
683
- declarations: [
684
- {
685
- kind: "variableDeclarator",
686
- name: { kind: "identifierPattern", name: "a" },
687
- type: numberType,
688
- },
689
- {
690
- kind: "variableDeclarator",
691
- name: { kind: "identifierPattern", name: "b" },
692
- type: numberType,
693
- },
694
- ],
695
- isExported: false,
696
- },
697
- {
698
- kind: "expressionStatement",
699
- expression: {
700
- kind: "assignment",
701
- operator: "=",
702
- left: {
703
- kind: "arrayPattern",
704
- elements: [
705
- {
706
- pattern: { kind: "identifierPattern", name: "a" },
707
- isRest: false,
708
- },
709
- {
710
- pattern: { kind: "identifierPattern", name: "b" },
711
- isRest: false,
712
- },
713
- ],
714
- },
715
- right: {
716
- kind: "identifier",
717
- name: "arr",
718
- inferredType: arrayType(numberType),
719
- },
720
- },
721
- },
722
- ]);
723
- const result = emitModule(module);
724
- // Should emit an IIFE that preserves assignment expression semantics.
725
- expect(result).to.include("global::System.Func");
726
- expect(result).to.match(/=\s*arr;/);
727
- expect(result).to.match(/a\s*=\s*__t\d+\[0\]/);
728
- expect(result).to.match(/b\s*=\s*__t\d+\[1\]/);
729
- });
730
- it("should handle identifier pattern assignment (simple case)", () => {
731
- const module = createModule([
732
- {
733
- kind: "variableDeclaration",
734
- declarationKind: "let",
735
- declarations: [
736
- {
737
- kind: "variableDeclarator",
738
- name: { kind: "identifierPattern", name: "x" },
739
- type: numberType,
740
- },
741
- ],
742
- isExported: false,
743
- },
744
- {
745
- kind: "expressionStatement",
746
- expression: {
747
- kind: "assignment",
748
- operator: "=",
749
- left: { kind: "identifierPattern", name: "x" },
750
- right: { kind: "literal", value: 42 },
751
- },
752
- },
753
- ]);
754
- const result = emitModule(module);
755
- // Should emit simple assignment
756
- expect(result).to.include("x = 42");
757
- // Should NOT create temp variable for simple case
758
- expect(result).to.not.include("__t");
759
- });
760
- });
761
- describe("Mixed and Complex Patterns", () => {
762
- it("should handle mixed array and object destructuring", () => {
763
- // Element type is referenceType with structuralMembers
764
- const itemType = {
765
- kind: "referenceType",
766
- name: "Item",
767
- resolvedClrType: "Item",
768
- structuralMembers: [
769
- {
770
- kind: "propertySignature",
771
- name: "id",
772
- type: numberType,
773
- isOptional: false,
774
- isReadonly: false,
775
- },
776
- ],
777
- };
778
- const mixedType = {
779
- kind: "arrayType",
780
- elementType: itemType,
781
- };
782
- const module = createModule([
783
- {
784
- kind: "variableDeclaration",
785
- declarationKind: "const",
786
- declarations: [
787
- {
788
- kind: "variableDeclarator",
789
- name: {
790
- kind: "arrayPattern",
791
- elements: [
792
- {
793
- pattern: {
794
- kind: "objectPattern",
795
- properties: [
796
- {
797
- kind: "property",
798
- key: "id",
799
- value: { kind: "identifierPattern", name: "firstId" },
800
- shorthand: false,
801
- },
802
- ],
803
- },
804
- isRest: false,
805
- },
806
- ],
807
- },
808
- type: mixedType,
809
- initializer: { kind: "identifier", name: "items" },
810
- },
811
- ],
812
- isExported: false,
813
- },
814
- ]);
815
- const result = emitModule(module);
816
- // Should handle array then object destructuring
817
- // Note: temp counter is shared, so arr gets 0, obj gets 1
818
- expect(result).to.include("var __arr0 = items;");
819
- expect(result).to.include("var __obj1 = __arr0[0];");
820
- expect(result).to.include("double firstId = __obj1.id;");
821
- });
822
- it("should handle deeply nested patterns", () => {
823
- const deepType = {
824
- kind: "arrayType",
825
- elementType: {
826
- kind: "arrayType",
827
- elementType: {
828
- kind: "arrayType",
829
- elementType: numberType,
830
- },
831
- },
832
- };
833
- const module = createModule([
834
- {
835
- kind: "variableDeclaration",
836
- declarationKind: "const",
837
- declarations: [
838
- {
839
- kind: "variableDeclarator",
840
- name: {
841
- kind: "arrayPattern",
842
- elements: [
843
- {
844
- pattern: {
845
- kind: "arrayPattern",
846
- elements: [
847
- {
848
- pattern: {
849
- kind: "arrayPattern",
850
- elements: [
851
- {
852
- pattern: {
853
- kind: "identifierPattern",
854
- name: "deepValue",
855
- },
856
- isRest: false,
857
- },
858
- ],
859
- },
860
- isRest: false,
861
- },
862
- ],
863
- },
864
- isRest: false,
865
- },
866
- ],
867
- },
868
- type: deepType,
869
- initializer: { kind: "identifier", name: "deep" },
870
- },
871
- ],
872
- isExported: false,
873
- },
874
- ]);
875
- const result = emitModule(module);
876
- // Should create multiple nesting levels
877
- expect(result).to.include("var __arr0 = deep;");
878
- expect(result).to.include("var __arr1 = __arr0[0];");
879
- expect(result).to.include("var __arr2 = __arr1[0];");
880
- // Deepest level gets the element type
881
- expect(result).to.include("double deepValue = __arr2[0];");
882
- });
883
- it("should handle array inside object pattern", () => {
884
- // Object with array property
885
- const containerType = {
886
- kind: "referenceType",
887
- name: "Container",
888
- resolvedClrType: "Container",
889
- structuralMembers: [
890
- {
891
- kind: "propertySignature",
892
- name: "items",
893
- type: arrayType(numberType),
894
- isOptional: false,
895
- isReadonly: false,
896
- },
897
- ],
898
- };
899
- const module = createModule([
900
- {
901
- kind: "variableDeclaration",
902
- declarationKind: "const",
903
- declarations: [
904
- {
905
- kind: "variableDeclarator",
906
- name: {
907
- kind: "objectPattern",
908
- properties: [
909
- {
910
- kind: "property",
911
- key: "items",
912
- value: {
913
- kind: "arrayPattern",
914
- elements: [
915
- {
916
- pattern: { kind: "identifierPattern", name: "first" },
917
- isRest: false,
918
- },
919
- {
920
- pattern: {
921
- kind: "identifierPattern",
922
- name: "second",
923
- },
924
- isRest: false,
925
- },
926
- ],
927
- },
928
- shorthand: false,
929
- },
930
- ],
931
- },
932
- type: containerType,
933
- initializer: { kind: "identifier", name: "container" },
934
- },
935
- ],
936
- isExported: false,
937
- },
938
- ]);
939
- const result = emitModule(module);
940
- // Should create object temp, then array temp for property
941
- // Note: temp counter is shared, so obj gets 0, arr gets 1
942
- expect(result).to.include("var __obj0 = container;");
943
- expect(result).to.include("var __arr1 = __obj0.items;");
944
- expect(result).to.include("double first = __arr1[0];");
945
- expect(result).to.include("double second = __arr1[1];");
946
- });
947
- it("should handle deep mixed nesting (obj -> arr -> obj)", () => {
948
- const innerObjType = {
949
- kind: "referenceType",
950
- name: "Inner",
951
- resolvedClrType: "Inner",
952
- structuralMembers: [
953
- {
954
- kind: "propertySignature",
955
- name: "value",
956
- type: stringType,
957
- isOptional: false,
958
- isReadonly: false,
959
- },
960
- ],
961
- };
962
- const outerObjType = {
963
- kind: "referenceType",
964
- name: "Outer",
965
- resolvedClrType: "Outer",
966
- structuralMembers: [
967
- {
968
- kind: "propertySignature",
969
- name: "items",
970
- type: arrayType(innerObjType),
971
- isOptional: false,
972
- isReadonly: false,
973
- },
974
- ],
975
- };
976
- const module = createModule([
977
- {
978
- kind: "variableDeclaration",
979
- declarationKind: "const",
980
- declarations: [
981
- {
982
- kind: "variableDeclarator",
983
- name: {
984
- kind: "objectPattern",
985
- properties: [
986
- {
987
- kind: "property",
988
- key: "items",
989
- value: {
990
- kind: "arrayPattern",
991
- elements: [
992
- {
993
- pattern: {
994
- kind: "objectPattern",
995
- properties: [
996
- {
997
- kind: "property",
998
- key: "value",
999
- value: {
1000
- kind: "identifierPattern",
1001
- name: "firstValue",
1002
- },
1003
- shorthand: false,
1004
- },
1005
- ],
1006
- },
1007
- isRest: false,
1008
- },
1009
- ],
1010
- },
1011
- shorthand: false,
1012
- },
1013
- ],
1014
- },
1015
- type: outerObjType,
1016
- initializer: { kind: "identifier", name: "data" },
1017
- },
1018
- ],
1019
- isExported: false,
1020
- },
1021
- ]);
1022
- const result = emitModule(module);
1023
- // obj -> arr -> obj nesting
1024
- // Note: temp counter is shared, so obj0, arr1, obj2
1025
- expect(result).to.include("var __obj0 = data;");
1026
- expect(result).to.include("var __arr1 = __obj0.items;");
1027
- expect(result).to.include("var __obj2 = __arr1[0];");
1028
- expect(result).to.include("string firstValue = __obj2.value;");
1029
- });
1030
- });
1031
- describe("Edge Cases", () => {
1032
- it("should handle empty array pattern", () => {
1033
- const module = createModule([
1034
- {
1035
- kind: "variableDeclaration",
1036
- declarationKind: "const",
1037
- declarations: [
1038
- {
1039
- kind: "variableDeclarator",
1040
- name: {
1041
- kind: "arrayPattern",
1042
- elements: [],
1043
- },
1044
- type: arrayType(numberType),
1045
- initializer: { kind: "identifier", name: "arr" },
1046
- },
1047
- ],
1048
- isExported: false,
1049
- },
1050
- ]);
1051
- const result = emitModule(module);
1052
- // Should still create temp variable (for side effect evaluation)
1053
- expect(result).to.include("var __arr0 = arr;");
1054
- // But no actual destructuring
1055
- expect(result).to.not.include("__arr0[");
1056
- });
1057
- it("should handle empty object pattern", () => {
1058
- // Use referenceType (not raw objectType)
1059
- const emptyType = {
1060
- kind: "referenceType",
1061
- name: "Empty",
1062
- resolvedClrType: "Empty",
1063
- structuralMembers: [],
1064
- };
1065
- const module = createModule([
1066
- {
1067
- kind: "variableDeclaration",
1068
- declarationKind: "const",
1069
- declarations: [
1070
- {
1071
- kind: "variableDeclarator",
1072
- name: {
1073
- kind: "objectPattern",
1074
- properties: [],
1075
- },
1076
- type: emptyType,
1077
- initializer: { kind: "identifier", name: "obj" },
1078
- },
1079
- ],
1080
- isExported: false,
1081
- },
1082
- ]);
1083
- const result = emitModule(module);
1084
- // Should create temp variable
1085
- expect(result).to.include("var __obj0 = obj;");
1086
- });
1087
- it("should escape C# keywords in destructured names", () => {
1088
- const module = createModule([
1089
- {
1090
- kind: "variableDeclaration",
1091
- declarationKind: "const",
1092
- declarations: [
1093
- {
1094
- kind: "variableDeclarator",
1095
- name: {
1096
- kind: "arrayPattern",
1097
- elements: [
1098
- {
1099
- pattern: { kind: "identifierPattern", name: "class" },
1100
- isRest: false,
1101
- },
1102
- {
1103
- pattern: { kind: "identifierPattern", name: "namespace" },
1104
- isRest: false,
1105
- },
1106
- ],
1107
- },
1108
- type: arrayType(stringType),
1109
- initializer: { kind: "identifier", name: "keywords" },
1110
- },
1111
- ],
1112
- isExported: false,
1113
- },
1114
- ]);
1115
- const result = emitModule(module);
1116
- // Should escape C# keywords with @ prefix (with types)
1117
- expect(result).to.include("string @class = __arr0[0];");
1118
- expect(result).to.include("string @namespace = __arr0[1];");
1119
- });
1120
- it("should handle rest at different positions (rest must be last)", () => {
1121
- // Rest in middle - should stop processing after rest
1122
- const module = createModule([
1123
- {
1124
- kind: "variableDeclaration",
1125
- declarationKind: "const",
1126
- declarations: [
1127
- {
1128
- kind: "variableDeclarator",
1129
- name: {
1130
- kind: "arrayPattern",
1131
- elements: [
1132
- {
1133
- pattern: { kind: "identifierPattern", name: "first" },
1134
- isRest: false,
1135
- },
1136
- {
1137
- pattern: { kind: "identifierPattern", name: "middle" },
1138
- isRest: true,
1139
- },
1140
- // Note: TypeScript would reject this, but testing emitter behavior
1141
- ],
1142
- },
1143
- type: arrayType(stringType),
1144
- initializer: { kind: "identifier", name: "items" },
1145
- },
1146
- ],
1147
- isExported: false,
1148
- },
1149
- ]);
1150
- const result = emitModule(module);
1151
- // First element gets element type
1152
- expect(result).to.include("string first = __arr0[0];");
1153
- // Rest gets array type
1154
- expect(result).to.include("string[] middle = Tsonic.Runtime.ArrayHelpers.Slice(__arr0, 1);");
1155
- });
1156
- });
1157
- describe("Method Parameter Destructuring", () => {
1158
- it("should lower destructuring in class method parameters", () => {
1159
- const module = {
1160
- kind: "module",
1161
- filePath: "/src/test.ts",
1162
- namespace: "TestApp",
1163
- className: "Calculator",
1164
- isStaticContainer: false,
1165
- imports: [],
1166
- body: [
1167
- {
1168
- kind: "classDeclaration",
1169
- name: "Calculator",
1170
- members: [
1171
- {
1172
- kind: "methodDeclaration",
1173
- name: "add",
1174
- parameters: [
1175
- {
1176
- kind: "parameter",
1177
- pattern: {
1178
- kind: "arrayPattern",
1179
- elements: [
1180
- {
1181
- pattern: { kind: "identifierPattern", name: "x" },
1182
- isRest: false,
1183
- },
1184
- {
1185
- pattern: { kind: "identifierPattern", name: "y" },
1186
- isRest: false,
1187
- },
1188
- ],
1189
- },
1190
- type: arrayType(numberType),
1191
- isOptional: false,
1192
- isRest: false,
1193
- passing: "value",
1194
- },
1195
- ],
1196
- returnType: numberType,
1197
- body: {
1198
- kind: "blockStatement",
1199
- statements: [
1200
- {
1201
- kind: "returnStatement",
1202
- expression: {
1203
- kind: "binary",
1204
- operator: "+",
1205
- left: { kind: "identifier", name: "x" },
1206
- right: { kind: "identifier", name: "y" },
1207
- },
1208
- },
1209
- ],
1210
- },
1211
- accessibility: "public",
1212
- isStatic: false,
1213
- isAsync: false,
1214
- isGenerator: false,
1215
- },
1216
- ],
1217
- isExported: true,
1218
- typeParameters: [],
1219
- implements: [],
1220
- isStruct: false,
1221
- },
1222
- ],
1223
- exports: [],
1224
- };
1225
- const result = emitModule(module);
1226
- // Should use synthetic parameter name in method signature
1227
- expect(result).to.include("__param0");
1228
- // Should destructure at start of method body (with element type)
1229
- expect(result).to.include("double x = __arr0[0];");
1230
- expect(result).to.include("double y = __arr0[1];");
1231
- });
1232
- });
1233
- describe("Constructor Parameter Destructuring", () => {
1234
- it("should lower destructuring in constructor parameters", () => {
1235
- const module = {
1236
- kind: "module",
1237
- filePath: "/src/test.ts",
1238
- namespace: "TestApp",
1239
- className: "Point",
1240
- isStaticContainer: false,
1241
- imports: [],
1242
- body: [
1243
- {
1244
- kind: "classDeclaration",
1245
- name: "Point",
1246
- members: [
1247
- {
1248
- kind: "propertyDeclaration",
1249
- name: "x",
1250
- type: numberType,
1251
- accessibility: "public",
1252
- isStatic: false,
1253
- isReadonly: false,
1254
- },
1255
- {
1256
- kind: "propertyDeclaration",
1257
- name: "y",
1258
- type: numberType,
1259
- accessibility: "public",
1260
- isStatic: false,
1261
- isReadonly: false,
1262
- },
1263
- {
1264
- kind: "constructorDeclaration",
1265
- parameters: [
1266
- {
1267
- kind: "parameter",
1268
- pattern: {
1269
- kind: "arrayPattern",
1270
- elements: [
1271
- {
1272
- pattern: { kind: "identifierPattern", name: "x" },
1273
- isRest: false,
1274
- },
1275
- {
1276
- pattern: { kind: "identifierPattern", name: "y" },
1277
- isRest: false,
1278
- },
1279
- ],
1280
- },
1281
- type: arrayType(numberType),
1282
- isOptional: false,
1283
- isRest: false,
1284
- passing: "value",
1285
- },
1286
- ],
1287
- body: {
1288
- kind: "blockStatement",
1289
- statements: [
1290
- {
1291
- kind: "expressionStatement",
1292
- expression: {
1293
- kind: "assignment",
1294
- operator: "=",
1295
- left: {
1296
- kind: "memberAccess",
1297
- object: { kind: "this" },
1298
- property: "x",
1299
- isComputed: false,
1300
- isOptional: false,
1301
- },
1302
- right: { kind: "identifier", name: "x" },
1303
- },
1304
- },
1305
- {
1306
- kind: "expressionStatement",
1307
- expression: {
1308
- kind: "assignment",
1309
- operator: "=",
1310
- left: {
1311
- kind: "memberAccess",
1312
- object: { kind: "this" },
1313
- property: "y",
1314
- isComputed: false,
1315
- isOptional: false,
1316
- },
1317
- right: { kind: "identifier", name: "y" },
1318
- },
1319
- },
1320
- ],
1321
- },
1322
- accessibility: "public",
1323
- },
1324
- ],
1325
- isExported: true,
1326
- typeParameters: [],
1327
- implements: [],
1328
- isStruct: false,
1329
- },
1330
- ],
1331
- exports: [],
1332
- };
1333
- const result = emitModule(module);
1334
- // Should use synthetic parameter name in constructor
1335
- expect(result).to.include("__param0");
1336
- // Should destructure at start of constructor body (with element type)
1337
- expect(result).to.include("double x = __arr0[0];");
1338
- expect(result).to.include("double y = __arr0[1];");
1339
- });
1340
- });
1341
- });
1
+ import "./patterns-cases/array-and-object.test.js";
2
+ import "./patterns-cases/loops-and-parameters.test.js";
3
+ import "./patterns-cases/assignments-and-complex.test.js";
4
+ import "./patterns-cases/edge-cases.test.js";
5
+ import "./patterns-cases/methods-and-semantic-infra.test.js";
1342
6
  //# sourceMappingURL=patterns.test.js.map