@tsonic/emitter 0.0.76 → 0.0.78

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (709) hide show
  1. package/dist/.tsbuildinfo +1 -1
  2. package/dist/array.test.js +8 -4
  3. package/dist/array.test.js.map +1 -1
  4. package/dist/core/format/backend-ast/invariants.test.js +5 -0
  5. package/dist/core/format/backend-ast/invariants.test.js.map +1 -1
  6. package/dist/core/format/backend-ast/printer-colon-detection.d.ts.map +1 -1
  7. package/dist/core/format/backend-ast/printer-colon-detection.js +2 -0
  8. package/dist/core/format/backend-ast/printer-colon-detection.js.map +1 -1
  9. package/dist/core/format/backend-ast/printer-expressions.d.ts.map +1 -1
  10. package/dist/core/format/backend-ast/printer-expressions.js +4 -0
  11. package/dist/core/format/backend-ast/printer-expressions.js.map +1 -1
  12. package/dist/core/format/backend-ast/printer-precedence.d.ts.map +1 -1
  13. package/dist/core/format/backend-ast/printer-precedence.js +1 -0
  14. package/dist/core/format/backend-ast/printer-precedence.js.map +1 -1
  15. package/dist/core/format/backend-ast/types/expression-ast.d.ts +5 -1
  16. package/dist/core/format/backend-ast/types/expression-ast.d.ts.map +1 -1
  17. package/dist/core/format/backend-ast/utils.d.ts +3 -0
  18. package/dist/core/format/backend-ast/utils.d.ts.map +1 -1
  19. package/dist/core/format/backend-ast/utils.js +39 -0
  20. package/dist/core/format/backend-ast/utils.js.map +1 -1
  21. package/dist/core/format/backend-ast/utils.test.js +13 -1
  22. package/dist/core/format/backend-ast/utils.test.js.map +1 -1
  23. package/dist/core/format/local-names.d.ts.map +1 -1
  24. package/dist/core/format/local-names.js +3 -2
  25. package/dist/core/format/local-names.js.map +1 -1
  26. package/dist/core/format/local-names.test.js +7 -6
  27. package/dist/core/format/local-names.test.js.map +1 -1
  28. package/dist/core/format/module-emitter/orchestrator.d.ts.map +1 -1
  29. package/dist/core/format/module-emitter/orchestrator.js +3 -1
  30. package/dist/core/format/module-emitter/orchestrator.js.map +1 -1
  31. package/dist/core/format/module-emitter/static-container.d.ts.map +1 -1
  32. package/dist/core/format/module-emitter/static-container.js +2 -4
  33. package/dist/core/format/module-emitter/static-container.js.map +1 -1
  34. package/dist/core/module-emitter-cases/class-and-recursion.test.js +4 -1
  35. package/dist/core/module-emitter-cases/class-and-recursion.test.js.map +1 -1
  36. package/dist/core/module-emitter-cases/static-containers.test.js +113 -2
  37. package/dist/core/module-emitter-cases/static-containers.test.js.map +1 -1
  38. package/dist/core/semantic/adapt-result.d.ts +20 -0
  39. package/dist/core/semantic/adapt-result.d.ts.map +1 -0
  40. package/dist/core/semantic/adapt-result.js +30 -0
  41. package/dist/core/semantic/adapt-result.js.map +1 -0
  42. package/dist/core/semantic/array-expected-types.d.ts.map +1 -1
  43. package/dist/core/semantic/array-expected-types.js +1 -1
  44. package/dist/core/semantic/array-expected-types.js.map +1 -1
  45. package/dist/core/semantic/assignment-flow.d.ts.map +1 -1
  46. package/dist/core/semantic/assignment-flow.js +28 -4
  47. package/dist/core/semantic/assignment-flow.js.map +1 -1
  48. package/dist/core/semantic/async-wrapper-types.d.ts +1 -0
  49. package/dist/core/semantic/async-wrapper-types.d.ts.map +1 -1
  50. package/dist/core/semantic/async-wrapper-types.js +19 -1
  51. package/dist/core/semantic/async-wrapper-types.js.map +1 -1
  52. package/dist/core/semantic/boolean-condition-main.d.ts.map +1 -1
  53. package/dist/core/semantic/boolean-condition-main.js +6 -2
  54. package/dist/core/semantic/boolean-condition-main.js.map +1 -1
  55. package/dist/core/semantic/boolean-context.test.js +2 -1
  56. package/dist/core/semantic/boolean-context.test.js.map +1 -1
  57. package/dist/core/semantic/broad-array-storage.d.ts.map +1 -1
  58. package/dist/core/semantic/broad-array-storage.js +2 -5
  59. package/dist/core/semantic/broad-array-storage.js.map +1 -1
  60. package/dist/core/semantic/broad-object-types.d.ts +1 -0
  61. package/dist/core/semantic/broad-object-types.d.ts.map +1 -1
  62. package/dist/core/semantic/broad-object-types.js +39 -0
  63. package/dist/core/semantic/broad-object-types.js.map +1 -1
  64. package/dist/core/semantic/clr-type-identity.d.ts +1 -2
  65. package/dist/core/semantic/clr-type-identity.d.ts.map +1 -1
  66. package/dist/core/semantic/clr-type-identity.js +3 -65
  67. package/dist/core/semantic/clr-type-identity.js.map +1 -1
  68. package/dist/core/semantic/comparable-types.d.ts.map +1 -1
  69. package/dist/core/semantic/comparable-types.js +61 -27
  70. package/dist/core/semantic/comparable-types.js.map +1 -1
  71. package/dist/core/semantic/comparable-types.test.js.map +1 -1
  72. package/dist/core/semantic/deterministic-type-keys.d.ts.map +1 -1
  73. package/dist/core/semantic/deterministic-type-keys.js +90 -37
  74. package/dist/core/semantic/deterministic-type-keys.js.map +1 -1
  75. package/dist/core/semantic/deterministic-type-keys.test.d.ts +2 -0
  76. package/dist/core/semantic/deterministic-type-keys.test.d.ts.map +1 -0
  77. package/dist/core/semantic/deterministic-type-keys.test.js +38 -0
  78. package/dist/core/semantic/deterministic-type-keys.test.js.map +1 -0
  79. package/dist/core/semantic/direct-storage-ir-types.d.ts +1 -1
  80. package/dist/core/semantic/direct-storage-ir-types.d.ts.map +1 -1
  81. package/dist/core/semantic/direct-storage-ir-types.js +12 -3
  82. package/dist/core/semantic/direct-storage-ir-types.js.map +1 -1
  83. package/dist/core/semantic/direct-value-surfaces.d.ts.map +1 -1
  84. package/dist/core/semantic/direct-value-surfaces.js +166 -6
  85. package/dist/core/semantic/direct-value-surfaces.js.map +1 -1
  86. package/dist/core/semantic/direct-value-surfaces.test.js +69 -6
  87. package/dist/core/semantic/direct-value-surfaces.test.js.map +1 -1
  88. package/dist/core/semantic/expected-type-matching.d.ts.map +1 -1
  89. package/dist/core/semantic/expected-type-matching.js +4 -5
  90. package/dist/core/semantic/expected-type-matching.js.map +1 -1
  91. package/dist/core/semantic/implicit-interfaces.d.ts.map +1 -1
  92. package/dist/core/semantic/implicit-interfaces.js.map +1 -1
  93. package/dist/core/semantic/imports-cases/basic-and-local.test.js +8 -8
  94. package/dist/core/semantic/imports-cases/basic-and-local.test.js.map +1 -1
  95. package/dist/core/semantic/imports.js +3 -2
  96. package/dist/core/semantic/imports.js.map +1 -1
  97. package/dist/core/semantic/index.d.ts +1 -1
  98. package/dist/core/semantic/index.d.ts.map +1 -1
  99. package/dist/core/semantic/index.js +1 -1
  100. package/dist/core/semantic/index.js.map +1 -1
  101. package/dist/core/semantic/instanceof-predicate-refinements.d.ts.map +1 -1
  102. package/dist/core/semantic/instanceof-predicate-refinements.js +2 -10
  103. package/dist/core/semantic/instanceof-predicate-refinements.js.map +1 -1
  104. package/dist/core/semantic/materialized-narrowing.d.ts +1 -0
  105. package/dist/core/semantic/materialized-narrowing.d.ts.map +1 -1
  106. package/dist/core/semantic/materialized-narrowing.js +170 -34
  107. package/dist/core/semantic/materialized-narrowing.js.map +1 -1
  108. package/dist/core/semantic/materialized-narrowing.test.js +24 -6
  109. package/dist/core/semantic/materialized-narrowing.test.js.map +1 -1
  110. package/dist/core/semantic/module-map.d.ts.map +1 -1
  111. package/dist/core/semantic/module-map.js +4 -6
  112. package/dist/core/semantic/module-map.js.map +1 -1
  113. package/dist/core/semantic/module-type-collisions.d.ts +7 -0
  114. package/dist/core/semantic/module-type-collisions.d.ts.map +1 -0
  115. package/dist/core/semantic/module-type-collisions.js +24 -0
  116. package/dist/core/semantic/module-type-collisions.js.map +1 -0
  117. package/dist/core/semantic/mutable-storage-helpers.d.ts +1 -1
  118. package/dist/core/semantic/mutable-storage-helpers.d.ts.map +1 -1
  119. package/dist/core/semantic/mutable-storage-helpers.js +5 -12
  120. package/dist/core/semantic/mutable-storage-helpers.js.map +1 -1
  121. package/dist/core/semantic/naming-collisions.d.ts.map +1 -1
  122. package/dist/core/semantic/naming-collisions.js +13 -3
  123. package/dist/core/semantic/naming-collisions.js.map +1 -1
  124. package/dist/core/semantic/narrowed-expression-types.d.ts +3 -1
  125. package/dist/core/semantic/narrowed-expression-types.d.ts.map +1 -1
  126. package/dist/core/semantic/narrowed-expression-types.js +139 -17
  127. package/dist/core/semantic/narrowed-expression-types.js.map +1 -1
  128. package/dist/core/semantic/narrowed-union-resolution.d.ts.map +1 -1
  129. package/dist/core/semantic/narrowed-union-resolution.js +14 -3
  130. package/dist/core/semantic/narrowed-union-resolution.js.map +1 -1
  131. package/dist/core/semantic/narrowing-builder-core.d.ts +3 -2
  132. package/dist/core/semantic/narrowing-builder-core.d.ts.map +1 -1
  133. package/dist/core/semantic/narrowing-builder-core.js +85 -126
  134. package/dist/core/semantic/narrowing-builder-core.js.map +1 -1
  135. package/dist/core/semantic/narrowing-builder-core.test.js +3 -2
  136. package/dist/core/semantic/narrowing-builder-core.test.js.map +1 -1
  137. package/dist/core/semantic/narrowing-builder-unions.d.ts.map +1 -1
  138. package/dist/core/semantic/narrowing-builder-unions.js +43 -7
  139. package/dist/core/semantic/narrowing-builder-unions.js.map +1 -1
  140. package/dist/core/semantic/narrowing-builders.d.ts +1 -1
  141. package/dist/core/semantic/narrowing-builders.d.ts.map +1 -1
  142. package/dist/core/semantic/narrowing-builders.js +1 -1
  143. package/dist/core/semantic/narrowing-builders.js.map +1 -1
  144. package/dist/core/semantic/narrowing-refinements.d.ts +1 -1
  145. package/dist/core/semantic/narrowing-refinements.d.ts.map +1 -1
  146. package/dist/core/semantic/narrowing-refinements.js +1 -1
  147. package/dist/core/semantic/narrowing-refinements.js.map +1 -1
  148. package/dist/core/semantic/nullable-typeof-refinements.d.ts +1 -5
  149. package/dist/core/semantic/nullable-typeof-refinements.d.ts.map +1 -1
  150. package/dist/core/semantic/nullable-typeof-refinements.js +136 -88
  151. package/dist/core/semantic/nullable-typeof-refinements.js.map +1 -1
  152. package/dist/core/semantic/nullish-value-helpers.d.ts +1 -1
  153. package/dist/core/semantic/nullish-value-helpers.d.ts.map +1 -1
  154. package/dist/core/semantic/nullish-value-helpers.js +18 -9
  155. package/dist/core/semantic/nullish-value-helpers.js.map +1 -1
  156. package/dist/core/semantic/runtime-materialization-targets.js +1 -1
  157. package/dist/core/semantic/runtime-materialization-targets.js.map +1 -1
  158. package/dist/core/semantic/runtime-reification.d.ts +1 -0
  159. package/dist/core/semantic/runtime-reification.d.ts.map +1 -1
  160. package/dist/core/semantic/runtime-reification.js +141 -35
  161. package/dist/core/semantic/runtime-reification.js.map +1 -1
  162. package/dist/core/semantic/runtime-union-family-preservation.js +1 -1
  163. package/dist/core/semantic/runtime-union-family-preservation.js.map +1 -1
  164. package/dist/core/semantic/runtime-union-frame.d.ts +6 -0
  165. package/dist/core/semantic/runtime-union-frame.d.ts.map +1 -0
  166. package/dist/core/semantic/runtime-union-frame.js +130 -0
  167. package/dist/core/semantic/runtime-union-frame.js.map +1 -0
  168. package/dist/core/semantic/runtime-union-matching.d.ts.map +1 -1
  169. package/dist/core/semantic/runtime-union-matching.js +13 -0
  170. package/dist/core/semantic/runtime-union-matching.js.map +1 -1
  171. package/dist/core/semantic/runtime-union-member-mapping.test.js +1 -1
  172. package/dist/core/semantic/runtime-union-member-mapping.test.js.map +1 -1
  173. package/dist/core/semantic/runtime-union-ordering.d.ts.map +1 -1
  174. package/dist/core/semantic/runtime-union-ordering.js +10 -22
  175. package/dist/core/semantic/runtime-union-ordering.js.map +1 -1
  176. package/dist/core/semantic/runtime-union-projection.d.ts.map +1 -1
  177. package/dist/core/semantic/runtime-union-projection.js +23 -7
  178. package/dist/core/semantic/runtime-union-projection.js.map +1 -1
  179. package/dist/core/semantic/runtime-union-projection.test.js +19 -1
  180. package/dist/core/semantic/runtime-union-projection.test.js.map +1 -1
  181. package/dist/core/semantic/runtime-union-registry.js +13 -13
  182. package/dist/core/semantic/runtime-union-registry.js.map +1 -1
  183. package/dist/core/semantic/runtime-unions.d.ts +3 -4
  184. package/dist/core/semantic/runtime-unions.d.ts.map +1 -1
  185. package/dist/core/semantic/runtime-unions.js +46 -145
  186. package/dist/core/semantic/runtime-unions.js.map +1 -1
  187. package/dist/core/semantic/runtime-unions.test.js +12 -7
  188. package/dist/core/semantic/runtime-unions.test.js.map +1 -1
  189. package/dist/core/semantic/semantic-union-members.d.ts.map +1 -1
  190. package/dist/core/semantic/semantic-union-members.js +1 -1
  191. package/dist/core/semantic/semantic-union-members.js.map +1 -1
  192. package/dist/core/semantic/storage-erased-adaptation.d.ts.map +1 -1
  193. package/dist/core/semantic/storage-erased-adaptation.js +8 -11
  194. package/dist/core/semantic/storage-erased-adaptation.js.map +1 -1
  195. package/dist/core/semantic/storage-erased-adaptation.test.js +4 -1
  196. package/dist/core/semantic/storage-erased-adaptation.test.js.map +1 -1
  197. package/dist/core/semantic/storage-types.d.ts +3 -0
  198. package/dist/core/semantic/storage-types.d.ts.map +1 -1
  199. package/dist/core/semantic/storage-types.js +17 -4
  200. package/dist/core/semantic/storage-types.js.map +1 -1
  201. package/dist/core/semantic/structural-shape-matching.d.ts +5 -1
  202. package/dist/core/semantic/structural-shape-matching.d.ts.map +1 -1
  203. package/dist/core/semantic/structural-shape-matching.js +29 -4
  204. package/dist/core/semantic/structural-shape-matching.js.map +1 -1
  205. package/dist/core/semantic/surface-member-semantics.d.ts +14 -0
  206. package/dist/core/semantic/surface-member-semantics.d.ts.map +1 -0
  207. package/dist/core/semantic/surface-member-semantics.js +41 -0
  208. package/dist/core/semantic/surface-member-semantics.js.map +1 -0
  209. package/dist/core/semantic/symbol-types.d.ts +2 -9
  210. package/dist/core/semantic/symbol-types.d.ts.map +1 -1
  211. package/dist/core/semantic/symbol-types.js +7 -11
  212. package/dist/core/semantic/symbol-types.js.map +1 -1
  213. package/dist/core/semantic/ternary-guards.d.ts +1 -1
  214. package/dist/core/semantic/ternary-guards.d.ts.map +1 -1
  215. package/dist/core/semantic/ternary-guards.js +2 -1
  216. package/dist/core/semantic/ternary-guards.js.map +1 -1
  217. package/dist/core/semantic/truthiness-evaluation.d.ts.map +1 -1
  218. package/dist/core/semantic/truthiness-evaluation.js +3 -3
  219. package/dist/core/semantic/truthiness-evaluation.js.map +1 -1
  220. package/dist/core/semantic/type-compatibility.d.ts +4 -2
  221. package/dist/core/semantic/type-compatibility.d.ts.map +1 -1
  222. package/dist/core/semantic/type-compatibility.js +62 -2
  223. package/dist/core/semantic/type-compatibility.js.map +1 -1
  224. package/dist/core/semantic/type-domains.d.ts +17 -0
  225. package/dist/core/semantic/type-domains.d.ts.map +1 -0
  226. package/dist/core/semantic/type-domains.js +7 -0
  227. package/dist/core/semantic/type-domains.js.map +1 -0
  228. package/dist/core/semantic/type-equivalence.d.ts.map +1 -1
  229. package/dist/core/semantic/type-equivalence.js +12 -7
  230. package/dist/core/semantic/type-equivalence.js.map +1 -1
  231. package/dist/core/semantic/type-equivalence.test.js +34 -0
  232. package/dist/core/semantic/type-equivalence.test.js.map +1 -1
  233. package/dist/core/semantic/type-resolution-cases/array-like-element.test.js +13 -4
  234. package/dist/core/semantic/type-resolution-cases/array-like-element.test.js.map +1 -1
  235. package/dist/core/semantic/type-resolution-cases/helpers.d.ts +2 -2
  236. package/dist/core/semantic/type-resolution-cases/helpers.d.ts.map +1 -1
  237. package/dist/core/semantic/type-resolution-cases/helpers.js +2 -2
  238. package/dist/core/semantic/type-resolution-cases/helpers.js.map +1 -1
  239. package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts +2 -0
  240. package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts.map +1 -0
  241. package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.js +36 -0
  242. package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.js.map +1 -0
  243. package/dist/core/semantic/type-resolution.test.d.ts +1 -1
  244. package/dist/core/semantic/type-resolution.test.d.ts.map +1 -1
  245. package/dist/core/semantic/type-resolution.test.js +1 -1
  246. package/dist/core/semantic/type-resolution.test.js.map +1 -1
  247. package/dist/core/semantic/type-substitution.d.ts.map +1 -1
  248. package/dist/core/semantic/type-substitution.js +2 -1
  249. package/dist/core/semantic/type-substitution.js.map +1 -1
  250. package/dist/core/semantic/typeof-comparison.d.ts +14 -0
  251. package/dist/core/semantic/typeof-comparison.d.ts.map +1 -0
  252. package/dist/core/semantic/typeof-comparison.js +47 -0
  253. package/dist/core/semantic/typeof-comparison.js.map +1 -0
  254. package/dist/core/semantic/union-predicate-matching.d.ts.map +1 -1
  255. package/dist/core/semantic/union-predicate-matching.js +1 -1
  256. package/dist/core/semantic/union-predicate-matching.js.map +1 -1
  257. package/dist/core/semantic/union-semantics.js +1 -1
  258. package/dist/core/semantic/union-semantics.js.map +1 -1
  259. package/dist/core/semantic/union-typeof-matching.d.ts.map +1 -1
  260. package/dist/core/semantic/union-typeof-matching.js +72 -22
  261. package/dist/core/semantic/union-typeof-matching.js.map +1 -1
  262. package/dist/core/semantic/variable-type-resolution.d.ts +1 -0
  263. package/dist/core/semantic/variable-type-resolution.d.ts.map +1 -1
  264. package/dist/core/semantic/variable-type-resolution.js +62 -6
  265. package/dist/core/semantic/variable-type-resolution.js.map +1 -1
  266. package/dist/duplicate-type-suppression.d.ts.map +1 -1
  267. package/dist/duplicate-type-suppression.js.map +1 -1
  268. package/dist/emitter-types/context.d.ts +1 -0
  269. package/dist/emitter-types/context.d.ts.map +1 -1
  270. package/dist/emitter-types/context.js +13 -1
  271. package/dist/emitter-types/context.js.map +1 -1
  272. package/dist/emitter-types/core.d.ts +10 -9
  273. package/dist/emitter-types/core.d.ts.map +1 -1
  274. package/dist/emitter-types/fqn.d.ts +0 -1
  275. package/dist/emitter-types/fqn.d.ts.map +1 -1
  276. package/dist/emitter-types/fqn.js +0 -1
  277. package/dist/emitter-types/fqn.js.map +1 -1
  278. package/dist/emitter-types/index.d.ts +1 -1
  279. package/dist/emitter-types/index.d.ts.map +1 -1
  280. package/dist/emitter-types/index.js +1 -1
  281. package/dist/emitter-types/index.js.map +1 -1
  282. package/dist/emitter.d.ts +3 -3
  283. package/dist/emitter.d.ts.map +1 -1
  284. package/dist/emitter.js +1 -7
  285. package/dist/emitter.js.map +1 -1
  286. package/dist/expression-emitter.d.ts.map +1 -1
  287. package/dist/expression-emitter.js +7 -2
  288. package/dist/expression-emitter.js.map +1 -1
  289. package/dist/expressions/access-binding.d.ts.map +1 -1
  290. package/dist/expressions/access-binding.js +38 -66
  291. package/dist/expressions/access-binding.js.map +1 -1
  292. package/dist/expressions/access-computed.d.ts.map +1 -1
  293. package/dist/expressions/access-computed.js +10 -15
  294. package/dist/expressions/access-computed.js.map +1 -1
  295. package/dist/expressions/access-function-length.d.ts +13 -0
  296. package/dist/expressions/access-function-length.d.ts.map +1 -0
  297. package/dist/expressions/access-function-length.js +115 -0
  298. package/dist/expressions/access-function-length.js.map +1 -0
  299. package/dist/expressions/access-length.d.ts +5 -11
  300. package/dist/expressions/access-length.d.ts.map +1 -1
  301. package/dist/expressions/access-length.js +18 -242
  302. package/dist/expressions/access-length.js.map +1 -1
  303. package/dist/expressions/access-length.test.js +17 -0
  304. package/dist/expressions/access-length.test.js.map +1 -1
  305. package/dist/expressions/access-property.d.ts +1 -2
  306. package/dist/expressions/access-property.d.ts.map +1 -1
  307. package/dist/expressions/access-property.js +20 -94
  308. package/dist/expressions/access-property.js.map +1 -1
  309. package/dist/expressions/access-resolution-receivers.d.ts.map +1 -1
  310. package/dist/expressions/access-resolution-receivers.js +24 -17
  311. package/dist/expressions/access-resolution-receivers.js.map +1 -1
  312. package/dist/expressions/access-resolution-types.d.ts.map +1 -1
  313. package/dist/expressions/access-resolution-types.js +7 -0
  314. package/dist/expressions/access-resolution-types.js.map +1 -1
  315. package/dist/expressions/access.d.ts +2 -2
  316. package/dist/expressions/access.d.ts.map +1 -1
  317. package/dist/expressions/access.js +11 -22
  318. package/dist/expressions/access.js.map +1 -1
  319. package/dist/expressions/architecture-invariants.test.js +112 -0
  320. package/dist/expressions/architecture-invariants.test.js.map +1 -1
  321. package/dist/expressions/await-normalization.d.ts.map +1 -1
  322. package/dist/expressions/await-normalization.js +53 -13
  323. package/dist/expressions/await-normalization.js.map +1 -1
  324. package/dist/expressions/awaitable-adaptation.d.ts +15 -0
  325. package/dist/expressions/awaitable-adaptation.d.ts.map +1 -0
  326. package/dist/expressions/awaitable-adaptation.js +174 -0
  327. package/dist/expressions/awaitable-adaptation.js.map +1 -0
  328. package/dist/expressions/calls/call-analysis.d.ts +0 -1
  329. package/dist/expressions/calls/call-analysis.d.ts.map +1 -1
  330. package/dist/expressions/calls/call-analysis.js +0 -7
  331. package/dist/expressions/calls/call-analysis.js.map +1 -1
  332. package/dist/expressions/calls/call-arguments-emit.d.ts.map +1 -1
  333. package/dist/expressions/calls/call-arguments-emit.js +236 -35
  334. package/dist/expressions/calls/call-arguments-emit.js.map +1 -1
  335. package/dist/expressions/calls/call-arguments-helpers.d.ts.map +1 -1
  336. package/dist/expressions/calls/call-arguments-helpers.js +2 -2
  337. package/dist/expressions/calls/call-arguments-helpers.js.map +1 -1
  338. package/dist/expressions/calls/call-array-interop.d.ts +1 -1
  339. package/dist/expressions/calls/call-array-interop.d.ts.map +1 -1
  340. package/dist/expressions/calls/call-array-interop.js +1 -1
  341. package/dist/expressions/calls/call-array-interop.js.map +1 -1
  342. package/dist/expressions/calls/call-array-mutation.d.ts +0 -1
  343. package/dist/expressions/calls/call-array-mutation.d.ts.map +1 -1
  344. package/dist/expressions/calls/call-array-mutation.js +9 -36
  345. package/dist/expressions/calls/call-array-mutation.js.map +1 -1
  346. package/dist/expressions/calls/call-array-wrapper.d.ts.map +1 -1
  347. package/dist/expressions/calls/call-array-wrapper.js +9 -12
  348. package/dist/expressions/calls/call-array-wrapper.js.map +1 -1
  349. package/dist/expressions/calls/call-emitter.d.ts +1 -1
  350. package/dist/expressions/calls/call-emitter.d.ts.map +1 -1
  351. package/dist/expressions/calls/call-emitter.js +85 -7
  352. package/dist/expressions/calls/call-emitter.js.map +1 -1
  353. package/dist/expressions/calls/call-json.d.ts +1 -1
  354. package/dist/expressions/calls/call-json.d.ts.map +1 -1
  355. package/dist/expressions/calls/call-json.js +50 -84
  356. package/dist/expressions/calls/call-json.js.map +1 -1
  357. package/dist/expressions/calls/call-promise-ir-types.d.ts.map +1 -1
  358. package/dist/expressions/calls/call-promise-ir-types.js.map +1 -1
  359. package/dist/expressions/calls/call-runtime-union-guards.d.ts.map +1 -1
  360. package/dist/expressions/calls/call-runtime-union-guards.js +10 -1
  361. package/dist/expressions/calls/call-runtime-union-guards.js.map +1 -1
  362. package/dist/expressions/calls/new-emitter-collections.d.ts +7 -4
  363. package/dist/expressions/calls/new-emitter-collections.d.ts.map +1 -1
  364. package/dist/expressions/calls/new-emitter-collections.js +64 -25
  365. package/dist/expressions/calls/new-emitter-collections.js.map +1 -1
  366. package/dist/expressions/calls/new-emitter.d.ts.map +1 -1
  367. package/dist/expressions/calls/new-emitter.js +4 -5
  368. package/dist/expressions/calls/new-emitter.js.map +1 -1
  369. package/dist/expressions/direct-storage-types.d.ts.map +1 -1
  370. package/dist/expressions/direct-storage-types.js +76 -15
  371. package/dist/expressions/direct-storage-types.js.map +1 -1
  372. package/dist/expressions/exact-comparison.d.ts.map +1 -1
  373. package/dist/expressions/exact-comparison.js +3 -1
  374. package/dist/expressions/exact-comparison.js.map +1 -1
  375. package/dist/expressions/expected-type-adaptation.d.ts +1 -1
  376. package/dist/expressions/expected-type-adaptation.d.ts.map +1 -1
  377. package/dist/expressions/expected-type-adaptation.js +164 -30
  378. package/dist/expressions/expected-type-adaptation.js.map +1 -1
  379. package/dist/expressions/expected-type-adaptation.test.js +81 -26
  380. package/dist/expressions/expected-type-adaptation.test.js.map +1 -1
  381. package/dist/expressions/identifier-storage/broad-storage-target.d.ts +4 -0
  382. package/dist/expressions/identifier-storage/broad-storage-target.d.ts.map +1 -0
  383. package/dist/expressions/identifier-storage/broad-storage-target.js +26 -0
  384. package/dist/expressions/identifier-storage/broad-storage-target.js.map +1 -0
  385. package/dist/expressions/identifier-storage/implicit-storage.d.ts +14 -0
  386. package/dist/expressions/identifier-storage/implicit-storage.d.ts.map +1 -0
  387. package/dist/expressions/identifier-storage/implicit-storage.js +44 -0
  388. package/dist/expressions/identifier-storage/implicit-storage.js.map +1 -0
  389. package/dist/expressions/identifier-storage/materialized-narrowed.d.ts +7 -0
  390. package/dist/expressions/identifier-storage/materialized-narrowed.d.ts.map +1 -0
  391. package/dist/expressions/identifier-storage/materialized-narrowed.js +92 -0
  392. package/dist/expressions/identifier-storage/materialized-narrowed.js.map +1 -0
  393. package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts +14 -0
  394. package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts.map +1 -0
  395. package/dist/expressions/identifier-storage/narrowed-storage-compatible.js +168 -0
  396. package/dist/expressions/identifier-storage/narrowed-storage-compatible.js.map +1 -0
  397. package/dist/expressions/identifier-storage/reified-storage.d.ts +7 -0
  398. package/dist/expressions/identifier-storage/reified-storage.d.ts.map +1 -0
  399. package/dist/expressions/identifier-storage/reified-storage.js +25 -0
  400. package/dist/expressions/identifier-storage/reified-storage.js.map +1 -0
  401. package/dist/expressions/identifier-storage/runtime-subset.d.ts +14 -0
  402. package/dist/expressions/identifier-storage/runtime-subset.d.ts.map +1 -0
  403. package/dist/expressions/identifier-storage/runtime-subset.js +100 -0
  404. package/dist/expressions/identifier-storage/runtime-subset.js.map +1 -0
  405. package/dist/expressions/identifier-storage/storage-compatible.d.ts +10 -0
  406. package/dist/expressions/identifier-storage/storage-compatible.d.ts.map +1 -0
  407. package/dist/expressions/identifier-storage/storage-compatible.js +76 -0
  408. package/dist/expressions/identifier-storage/storage-compatible.js.map +1 -0
  409. package/dist/expressions/identifier-storage/storage-surface-match.d.ts +4 -0
  410. package/dist/expressions/identifier-storage/storage-surface-match.d.ts.map +1 -0
  411. package/dist/expressions/identifier-storage/storage-surface-match.js +95 -0
  412. package/dist/expressions/identifier-storage/storage-surface-match.js.map +1 -0
  413. package/dist/expressions/identifier-storage/storage-surface-shared.d.ts +12 -0
  414. package/dist/expressions/identifier-storage/storage-surface-shared.d.ts.map +1 -0
  415. package/dist/expressions/identifier-storage/storage-surface-shared.js +77 -0
  416. package/dist/expressions/identifier-storage/storage-surface-shared.js.map +1 -0
  417. package/dist/expressions/identifier-storage/storage-surface.d.ts +9 -0
  418. package/dist/expressions/identifier-storage/storage-surface.d.ts.map +1 -0
  419. package/dist/expressions/identifier-storage/storage-surface.js +9 -0
  420. package/dist/expressions/identifier-storage/storage-surface.js.map +1 -0
  421. package/dist/expressions/identifier-storage.d.ts +1 -42
  422. package/dist/expressions/identifier-storage.d.ts.map +1 -1
  423. package/dist/expressions/identifier-storage.js +1 -477
  424. package/dist/expressions/identifier-storage.js.map +1 -1
  425. package/dist/expressions/identifiers.d.ts.map +1 -1
  426. package/dist/expressions/identifiers.js +7 -16
  427. package/dist/expressions/identifiers.js.map +1 -1
  428. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js +9 -3
  429. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js.map +1 -1
  430. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js +4 -1
  431. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js.map +1 -1
  432. package/dist/expressions/index-cases/basic-literals-and-calls.test.js +3 -3
  433. package/dist/expressions/index-cases/basic-literals-and-calls.test.js.map +1 -1
  434. package/dist/expressions/index-cases/defaults-and-char-context.test.js +8 -2
  435. package/dist/expressions/index-cases/defaults-and-char-context.test.js.map +1 -1
  436. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js +17 -20
  437. package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js.map +1 -1
  438. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js +7 -8
  439. package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js.map +1 -1
  440. package/dist/expressions/index-cases/helpers.d.ts +6 -4
  441. package/dist/expressions/index-cases/helpers.d.ts.map +1 -1
  442. package/dist/expressions/index-cases/helpers.js +31 -2
  443. package/dist/expressions/index-cases/helpers.js.map +1 -1
  444. package/dist/expressions/index-cases/nullable-and-comparisons.test.js +9 -9
  445. package/dist/expressions/index-cases/nullable-and-comparisons.test.js.map +1 -1
  446. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js +3 -3
  447. package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js.map +1 -1
  448. package/dist/expressions/index-cases/runtime-union-reification-b.test.js +19 -13
  449. package/dist/expressions/index-cases/runtime-union-reification-b.test.js.map +1 -1
  450. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js +22 -13
  451. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js.map +1 -1
  452. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js +5 -5
  453. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js.map +1 -1
  454. package/dist/expressions/lambda-body.js +3 -3
  455. package/dist/expressions/lambda-body.js.map +1 -1
  456. package/dist/expressions/lambda-parameters.d.ts.map +1 -1
  457. package/dist/expressions/lambda-parameters.js +97 -12
  458. package/dist/expressions/lambda-parameters.js.map +1 -1
  459. package/dist/expressions/object-literal.d.ts.map +1 -1
  460. package/dist/expressions/object-literal.js +48 -18
  461. package/dist/expressions/object-literal.js.map +1 -1
  462. package/dist/expressions/operators/binary-dispatch.d.ts +1 -1
  463. package/dist/expressions/operators/binary-dispatch.d.ts.map +1 -1
  464. package/dist/expressions/operators/binary-dispatch.js +52 -12
  465. package/dist/expressions/operators/binary-dispatch.js.map +1 -1
  466. package/dist/expressions/operators/binary-helpers.d.ts.map +1 -1
  467. package/dist/expressions/operators/binary-helpers.js +11 -1
  468. package/dist/expressions/operators/binary-helpers.js.map +1 -1
  469. package/dist/expressions/operators/binary-special-ops.d.ts +1 -11
  470. package/dist/expressions/operators/binary-special-ops.d.ts.map +1 -1
  471. package/dist/expressions/operators/binary-special-ops.js +214 -218
  472. package/dist/expressions/operators/binary-special-ops.js.map +1 -1
  473. package/dist/expressions/operators/conditional-emitter.d.ts.map +1 -1
  474. package/dist/expressions/operators/conditional-emitter.js +89 -19
  475. package/dist/expressions/operators/conditional-emitter.js.map +1 -1
  476. package/dist/expressions/operators/logical-emitter.js +1 -1
  477. package/dist/expressions/operators/logical-emitter.js.map +1 -1
  478. package/dist/expressions/operators/unary-emitter.d.ts.map +1 -1
  479. package/dist/expressions/operators/unary-emitter.js +7 -50
  480. package/dist/expressions/operators/unary-emitter.js.map +1 -1
  481. package/dist/expressions/other.d.ts +2 -6
  482. package/dist/expressions/other.d.ts.map +1 -1
  483. package/dist/expressions/other.js +6 -13
  484. package/dist/expressions/other.js.map +1 -1
  485. package/dist/expressions/post-emission-adaptation.d.ts +1 -1
  486. package/dist/expressions/post-emission-adaptation.d.ts.map +1 -1
  487. package/dist/expressions/post-emission-adaptation.js +55 -150
  488. package/dist/expressions/post-emission-adaptation.js.map +1 -1
  489. package/dist/expressions/precedence.test.js +5 -46
  490. package/dist/expressions/precedence.test.js.map +1 -1
  491. package/dist/expressions/runtime-union-adaptation-projection.d.ts.map +1 -1
  492. package/dist/expressions/runtime-union-adaptation-projection.js +25 -4
  493. package/dist/expressions/runtime-union-adaptation-projection.js.map +1 -1
  494. package/dist/expressions/runtime-union-adaptation-upcast.d.ts +1 -1
  495. package/dist/expressions/runtime-union-adaptation-upcast.d.ts.map +1 -1
  496. package/dist/expressions/runtime-union-adaptation-upcast.js +281 -31
  497. package/dist/expressions/runtime-union-adaptation-upcast.js.map +1 -1
  498. package/dist/expressions/structural-anonymous-targets.d.ts.map +1 -1
  499. package/dist/expressions/structural-anonymous-targets.js +5 -0
  500. package/dist/expressions/structural-anonymous-targets.js.map +1 -1
  501. package/dist/expressions/structural-collection-adaptation.d.ts.map +1 -1
  502. package/dist/expressions/structural-collection-adaptation.js +4 -2
  503. package/dist/expressions/structural-collection-adaptation.js.map +1 -1
  504. package/dist/expressions/structural-object-adaptation.d.ts.map +1 -1
  505. package/dist/expressions/structural-object-adaptation.js +58 -3
  506. package/dist/expressions/structural-object-adaptation.js.map +1 -1
  507. package/dist/expressions/structural-property-model.d.ts.map +1 -1
  508. package/dist/expressions/structural-property-model.js +7 -3
  509. package/dist/expressions/structural-property-model.js.map +1 -1
  510. package/dist/expressions/structural-type-shapes.d.ts.map +1 -1
  511. package/dist/expressions/structural-type-shapes.js +1 -1
  512. package/dist/expressions/structural-type-shapes.js.map +1 -1
  513. package/dist/expressions/structural-type-shapes.test.js +2 -1
  514. package/dist/expressions/structural-type-shapes.test.js.map +1 -1
  515. package/dist/expressions/type-assertion-emitters.d.ts.map +1 -1
  516. package/dist/expressions/type-assertion-emitters.js +231 -15
  517. package/dist/expressions/type-assertion-emitters.js.map +1 -1
  518. package/dist/fixture-regression-mirrors.test.js +43 -112
  519. package/dist/fixture-regression-mirrors.test.js.map +1 -1
  520. package/dist/generated-files.d.ts +0 -1
  521. package/dist/generated-files.d.ts.map +1 -1
  522. package/dist/generated-files.js +0 -229
  523. package/dist/generated-files.js.map +1 -1
  524. package/dist/generated-files.test.js +53 -1
  525. package/dist/generated-files.test.js.map +1 -1
  526. package/dist/golden-tests/runner.d.ts.map +1 -1
  527. package/dist/golden-tests/runner.js +1 -0
  528. package/dist/golden-tests/runner.js.map +1 -1
  529. package/dist/integration-cases/arrow-and-generics-a.test.js +52 -32
  530. package/dist/integration-cases/arrow-and-generics-a.test.js.map +1 -1
  531. package/dist/integration-cases/arrow-and-generics-b.test.js +17 -23
  532. package/dist/integration-cases/arrow-and-generics-b.test.js.map +1 -1
  533. package/dist/integration-cases/await-and-intrinsics.test.js +12 -10
  534. package/dist/integration-cases/await-and-intrinsics.test.js.map +1 -1
  535. package/dist/integration-cases/clr-iterable-overloads.test.js +58 -27
  536. package/dist/integration-cases/clr-iterable-overloads.test.js.map +1 -1
  537. package/dist/integration-cases/full-module-and-promises.test.js +21 -19
  538. package/dist/integration-cases/full-module-and-promises.test.js.map +1 -1
  539. package/dist/integration-cases/helpers.d.ts.map +1 -1
  540. package/dist/integration-cases/helpers.js +12 -33
  541. package/dist/integration-cases/helpers.js.map +1 -1
  542. package/dist/integration-cases/may14-downstream-contracts.test.d.ts +2 -0
  543. package/dist/integration-cases/may14-downstream-contracts.test.d.ts.map +1 -0
  544. package/dist/integration-cases/may14-downstream-contracts.test.js +894 -0
  545. package/dist/integration-cases/may14-downstream-contracts.test.js.map +1 -0
  546. package/dist/integration-cases/object-literals-and-channels.test.js +10 -4
  547. package/dist/integration-cases/object-literals-and-channels.test.js.map +1 -1
  548. package/dist/integration-cases/regression-coverage-a.test.js +36 -30
  549. package/dist/integration-cases/regression-coverage-a.test.js.map +1 -1
  550. package/dist/integration-cases/regression-coverage-b.test.js +95 -111
  551. package/dist/integration-cases/regression-coverage-b.test.js.map +1 -1
  552. package/dist/integration-cases/regression-coverage-c.test.js +499 -197
  553. package/dist/integration-cases/regression-coverage-c.test.js.map +1 -1
  554. package/dist/integration.test.d.ts +1 -0
  555. package/dist/integration.test.d.ts.map +1 -1
  556. package/dist/integration.test.js +1 -0
  557. package/dist/integration.test.js.map +1 -1
  558. package/dist/json-aot-generic.test.js +48 -200
  559. package/dist/json-aot-generic.test.js.map +1 -1
  560. package/dist/statements/block-emitters/block-and-return.d.ts +1 -1
  561. package/dist/statements/block-emitters/block-and-return.d.ts.map +1 -1
  562. package/dist/statements/block-emitters/block-and-return.js +9 -3
  563. package/dist/statements/block-emitters/block-and-return.js.map +1 -1
  564. package/dist/statements/classes/members/properties.d.ts.map +1 -1
  565. package/dist/statements/classes/members/properties.js +2 -3
  566. package/dist/statements/classes/members/properties.js.map +1 -1
  567. package/dist/statements/classes/properties.d.ts.map +1 -1
  568. package/dist/statements/classes/properties.js.map +1 -1
  569. package/dist/statements/control/conditionals/architecture-invariants.test.d.ts +2 -0
  570. package/dist/statements/control/conditionals/architecture-invariants.test.d.ts.map +1 -0
  571. package/dist/statements/control/conditionals/architecture-invariants.test.js +19 -0
  572. package/dist/statements/control/conditionals/architecture-invariants.test.js.map +1 -0
  573. package/dist/statements/control/conditionals/branch-context.d.ts +4 -6
  574. package/dist/statements/control/conditionals/branch-context.d.ts.map +1 -1
  575. package/dist/statements/control/conditionals/branch-context.js +105 -32
  576. package/dist/statements/control/conditionals/branch-context.js.map +1 -1
  577. package/dist/statements/control/conditionals/guard-analysis.d.ts +2 -2
  578. package/dist/statements/control/conditionals/guard-analysis.d.ts.map +1 -1
  579. package/dist/statements/control/conditionals/guard-analysis.js +1 -1
  580. package/dist/statements/control/conditionals/guard-analysis.js.map +1 -1
  581. package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts +2 -1
  582. package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts.map +1 -1
  583. package/dist/statements/control/conditionals/guard-detectors-discriminant.js +83 -1
  584. package/dist/statements/control/conditionals/guard-detectors-discriminant.js.map +1 -1
  585. package/dist/statements/control/conditionals/guard-detectors-structural.d.ts +2 -7
  586. package/dist/statements/control/conditionals/guard-detectors-structural.d.ts.map +1 -1
  587. package/dist/statements/control/conditionals/guard-detectors-structural.js +47 -82
  588. package/dist/statements/control/conditionals/guard-detectors-structural.js.map +1 -1
  589. package/dist/statements/control/conditionals/guard-detectors.d.ts +2 -2
  590. package/dist/statements/control/conditionals/guard-detectors.d.ts.map +1 -1
  591. package/dist/statements/control/conditionals/guard-detectors.js +2 -2
  592. package/dist/statements/control/conditionals/guard-detectors.js.map +1 -1
  593. package/dist/statements/control/conditionals/guard-extraction.d.ts +5 -7
  594. package/dist/statements/control/conditionals/guard-extraction.d.ts.map +1 -1
  595. package/dist/statements/control/conditionals/guard-extraction.js +10 -190
  596. package/dist/statements/control/conditionals/guard-extraction.js.map +1 -1
  597. package/dist/statements/control/conditionals/guard-types.d.ts +16 -26
  598. package/dist/statements/control/conditionals/guard-types.d.ts.map +1 -1
  599. package/dist/statements/control/conditionals/guard-types.js +23 -1
  600. package/dist/statements/control/conditionals/guard-types.js.map +1 -1
  601. package/dist/statements/control/conditionals/if-emit-instanceof-guards.d.ts.map +1 -1
  602. package/dist/statements/control/conditionals/if-emit-instanceof-guards.js +5 -8
  603. package/dist/statements/control/conditionals/if-emit-instanceof-guards.js.map +1 -1
  604. package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts +2 -8
  605. package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts.map +1 -1
  606. package/dist/statements/control/conditionals/if-emit-predicate-guards.js +4 -84
  607. package/dist/statements/control/conditionals/if-emit-predicate-guards.js.map +1 -1
  608. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts +2 -0
  609. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts.map +1 -1
  610. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js +87 -3
  611. package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js.map +1 -1
  612. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.d.ts.map +1 -1
  613. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js +254 -20
  614. package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js.map +1 -1
  615. package/dist/statements/control/conditionals/if-emit-union-guards.d.ts +2 -2
  616. package/dist/statements/control/conditionals/if-emit-union-guards.d.ts.map +1 -1
  617. package/dist/statements/control/conditionals/if-emit-union-guards.js +2 -2
  618. package/dist/statements/control/conditionals/if-emit-union-guards.js.map +1 -1
  619. package/dist/statements/control/conditionals/if-emitter.d.ts.map +1 -1
  620. package/dist/statements/control/conditionals/if-emitter.js +36 -43
  621. package/dist/statements/control/conditionals/if-emitter.js.map +1 -1
  622. package/dist/statements/control/conditionals/ir-branch-narrowings.d.ts +5 -0
  623. package/dist/statements/control/conditionals/ir-branch-narrowings.d.ts.map +1 -0
  624. package/dist/statements/control/conditionals/ir-branch-narrowings.js +16 -0
  625. package/dist/statements/control/conditionals/ir-branch-narrowings.js.map +1 -0
  626. package/dist/statements/control/loops.d.ts +2 -9
  627. package/dist/statements/control/loops.d.ts.map +1 -1
  628. package/dist/statements/control/loops.js +56 -48
  629. package/dist/statements/control/loops.js.map +1 -1
  630. package/dist/statements/declarations/classes.d.ts.map +1 -1
  631. package/dist/statements/declarations/classes.js.map +1 -1
  632. package/dist/statements/declarations/interfaces.d.ts.map +1 -1
  633. package/dist/statements/declarations/interfaces.js.map +1 -1
  634. package/dist/statements/declarations/structs.test.js +5 -4
  635. package/dist/statements/declarations/structs.test.js.map +1 -1
  636. package/dist/statements/declarations/type-aliases.js.map +1 -1
  637. package/dist/statements/declarations/variables.d.ts.map +1 -1
  638. package/dist/statements/declarations/variables.js +7 -4
  639. package/dist/statements/declarations/variables.js.map +1 -1
  640. package/dist/statements/statement-cases/flow-and-void.test.js +3 -3
  641. package/dist/statements/statement-cases/flow-and-void.test.js.map +1 -1
  642. package/dist/statements/statement-cases/helpers.d.ts +3 -2
  643. package/dist/statements/statement-cases/helpers.d.ts.map +1 -1
  644. package/dist/statements/statement-cases/helpers.js +1 -1
  645. package/dist/statements/statement-cases/helpers.js.map +1 -1
  646. package/dist/statements/statement-cases/if-and-instanceof-guards.test.js +21 -21
  647. package/dist/statements/statement-cases/if-and-instanceof-guards.test.js.map +1 -1
  648. package/dist/statements/statement-cases/union-guards-basic.test.js +3 -80
  649. package/dist/statements/statement-cases/union-guards-basic.test.js.map +1 -1
  650. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js +0 -196
  651. package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js.map +1 -1
  652. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js +15 -15
  653. package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js.map +1 -1
  654. package/dist/statements/statement-cases/union-guards-remapped-a.test.js +7 -189
  655. package/dist/statements/statement-cases/union-guards-remapped-a.test.js.map +1 -1
  656. package/dist/statements/statement-cases/union-guards-remapped-b.test.js +7 -193
  657. package/dist/statements/statement-cases/union-guards-remapped-b.test.js.map +1 -1
  658. package/dist/test-ir-strict.d.ts +7 -0
  659. package/dist/test-ir-strict.d.ts.map +1 -0
  660. package/dist/test-ir-strict.js +9 -0
  661. package/dist/test-ir-strict.js.map +1 -0
  662. package/dist/type-assertion.test.js +5 -4
  663. package/dist/type-assertion.test.js.map +1 -1
  664. package/dist/types/emitter.d.ts.map +1 -1
  665. package/dist/types/emitter.js +7 -1
  666. package/dist/types/emitter.js.map +1 -1
  667. package/dist/types/intersections.d.ts +2 -2
  668. package/dist/types/intersections.d.ts.map +1 -1
  669. package/dist/types/intersections.js +26 -6
  670. package/dist/types/intersections.js.map +1 -1
  671. package/dist/types/parameters.d.ts.map +1 -1
  672. package/dist/types/parameters.js +30 -5
  673. package/dist/types/parameters.js.map +1 -1
  674. package/dist/types/reference-structural-signatures.d.ts.map +1 -1
  675. package/dist/types/reference-structural-signatures.js +3 -6
  676. package/dist/types/reference-structural-signatures.js.map +1 -1
  677. package/dist/types/references-cases/array-and-cross-module.test.js +2 -4
  678. package/dist/types/references-cases/array-and-cross-module.test.js.map +1 -1
  679. package/dist/types/references-cases/bindings-and-local.test.js +2 -4
  680. package/dist/types/references-cases/bindings-and-local.test.js.map +1 -1
  681. package/dist/types/references-cases/helpers.d.ts +3 -2
  682. package/dist/types/references-cases/helpers.d.ts.map +1 -1
  683. package/dist/types/references-cases/helpers.js +2 -1
  684. package/dist/types/references-cases/helpers.js.map +1 -1
  685. package/dist/types/references.d.ts.map +1 -1
  686. package/dist/types/references.js +21 -2
  687. package/dist/types/references.js.map +1 -1
  688. package/dist/types/unions-cases/basic-and-ordering.test.js +51 -0
  689. package/dist/types/unions-cases/basic-and-ordering.test.js.map +1 -1
  690. package/dist/types/unions.d.ts.map +1 -1
  691. package/dist/types/unions.js +17 -0
  692. package/dist/types/unions.js.map +1 -1
  693. package/dist/types.d.ts +3 -1
  694. package/dist/types.d.ts.map +1 -1
  695. package/dist/types.js +2 -1
  696. package/dist/types.js.map +1 -1
  697. package/package.json +2 -2
  698. package/dist/core/semantic/js-value-types.d.ts +0 -5
  699. package/dist/core/semantic/js-value-types.d.ts.map +0 -1
  700. package/dist/core/semantic/js-value-types.js +0 -42
  701. package/dist/core/semantic/js-value-types.js.map +0 -1
  702. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts +0 -2
  703. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts.map +0 -1
  704. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js +0 -98
  705. package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js.map +0 -1
  706. package/dist/expressions/calls/call-dynamic-import.d.ts +0 -11
  707. package/dist/expressions/calls/call-dynamic-import.d.ts.map +0 -1
  708. package/dist/expressions/calls/call-dynamic-import.js +0 -148
  709. package/dist/expressions/calls/call-dynamic-import.js.map +0 -1
@@ -1 +1 @@
1
- {"version":3,"file":"type-resolution.test.js","sourceRoot":"","sources":["../../../src/core/semantic/type-resolution.test.ts"],"names":[],"mappings":"AAAA,OAAO,+CAA+C,CAAC;AACvD,OAAO,yDAAyD,CAAC;AACjE,OAAO,uDAAuD,CAAC;AAC/D,OAAO,sDAAsD,CAAC;AAC9D,OAAO,+CAA+C,CAAC;AACvD,OAAO,oDAAoD,CAAC;AAC5D,OAAO,iEAAiE,CAAC;AACzE,OAAO,wDAAwD,CAAC;AAChE,OAAO,mDAAmD,CAAC;AAC3D,OAAO,oDAAoD,CAAC"}
1
+ {"version":3,"file":"type-resolution.test.js","sourceRoot":"","sources":["../../../src/core/semantic/type-resolution.test.ts"],"names":[],"mappings":"AAAA,OAAO,yDAAyD,CAAC;AACjE,OAAO,uDAAuD,CAAC;AAC/D,OAAO,sDAAsD,CAAC;AAC9D,OAAO,+CAA+C,CAAC;AACvD,OAAO,oDAAoD,CAAC;AAC5D,OAAO,iEAAiE,CAAC;AACzE,OAAO,wDAAwD,CAAC;AAChE,OAAO,mDAAmD,CAAC;AAC3D,OAAO,oDAAoD,CAAC;AAC5D,OAAO,kDAAkD,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"type-substitution.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/type-substitution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EACV,MAAM,EASP,MAAM,kBAAkB,CAAC;AAyL1B,eAAO,MAAM,kBAAkB,GAC7B,MAAM,MAAM,EACZ,gBAAgB,SAAS,MAAM,EAAE,EACjC,UAAU,SAAS,MAAM,EAAE,KAC1B,MAYF,CAAC"}
1
+ {"version":3,"file":"type-substitution.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/type-substitution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EACV,MAAM,EASP,MAAM,kBAAkB,CAAC;AA0L1B,eAAO,MAAM,kBAAkB,GAC7B,MAAM,MAAM,EACZ,gBAAgB,SAAS,MAAM,EAAE,EACjC,UAAU,SAAS,MAAM,EAAE,KAC1B,MAYF,CAAC"}
@@ -80,7 +80,8 @@ const substituteType = (type, mapping, visited = new Map()) => {
80
80
  type.runtimeCarrierTypeParameters?.map((name) => substituteType({ kind: "typeParameterType", name }, mapping, visited));
81
81
  clone.types = type.types.map((t) => substituteType(t, mapping, visited));
82
82
  if (substitutedRuntimeCarrierTypeArguments) {
83
- clone.runtimeCarrierTypeArguments = substitutedRuntimeCarrierTypeArguments;
83
+ clone.runtimeCarrierTypeArguments =
84
+ substitutedRuntimeCarrierTypeArguments;
84
85
  }
85
86
  return clone;
86
87
  }
@@ -1 +1 @@
1
- {"version":3,"file":"type-substitution.js","sourceRoot":"","sources":["../../../src/core/semantic/type-substitution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAkBH;;GAEG;AACH,MAAM,cAAc,GAAG,CACrB,IAAY,EACZ,OAAoC,EACpC,UAA+B,IAAI,GAAG,EAAkB,EAChD,EAAE;IACV,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,OAAO,YAAY,IAAI,IAAI,CAAC;QAC9B,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACnD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,KAAK,GAA6B,EAAE,GAAG,IAAI,EAAE,CAAC;YACpD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,MAAM,wBAAwB,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC/D,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CACtC,CAAC;YACF,MAAM,4BAA4B,GAAG,IAAI,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACrE,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBAClE,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACjC,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,CAAC,CAAC,UAAU;4BACtB,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC;4BAChD,CAAC,CAAC,SAAS;wBACb,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,CAAC,CAAC,IAAI;4BACJ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE;4BAC1D,CAAC,CAAC,CAAC,CACN;qBACF,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,IAAI,wBAAwB,EAAE,CAAC;gBAC7B,KAAK,CAAC,aAAa,GAAG,wBAAwB,CAAC;YACjD,CAAC;YACD,IAAI,4BAA4B,EAAE,CAAC;gBACjC,KAAK,CAAC,iBAAiB,GAAG,4BAA4B,CAAC;YACzD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAyB;gBAClC,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW;aAC9B,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAA8B;gBACvC,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,SAAS,EAAE,IAAI,CAAC,SAAS;aAC1B,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC/D,KAAK,CAAC,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACnE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAyB;gBAClC,GAAG,IAAI;gBACP,KAAK,EAAE,EAAE;aACV,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,MAAM,sCAAsC,GAC1C,IAAI,CAAC,2BAA2B,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC5C,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CACtC;gBACD,IAAI,CAAC,4BAA4B,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC9C,cAAc,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,CACtE,CAAC;YACJ,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;YACzE,IAAI,sCAAsC,EAAE,CAAC;gBAC3C,KAAK,CAAC,2BAA2B,GAAG,sCAAsC,CAAC;YAC7E,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAyB;gBAClC,GAAG,IAAI;gBACP,YAAY,EAAE,EAAE;aACjB,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/C,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CACpC,CAAC;YACF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,KAAK,GAAgC;gBACzC,GAAG,IAAI;gBACP,KAAK,EAAE,EAAE;aACV,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;YACzE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,KAAK,GAA4B;gBACrC,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,UAAU,EAAE,EAAE;aACf,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACrE,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3C,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CACtE,CAAC;YACF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,KAAK,GAA0B;gBACnC,GAAG,IAAI;gBACP,OAAO,EAAE,EAAE;aACZ,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACrC,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBAClE,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACjC,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,CAAC,CAAC,UAAU;4BACtB,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC;4BAChD,CAAC,CAAC,SAAS;wBACb,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,CAAC,CAAC,IAAI;4BACJ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE;4BAC1D,CAAC,CAAC,CAAC,CACN;qBACF,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,OAAO,KAAe,CAAC;QACzB,CAAC;QAED,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QAEd,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,IAAI,CAAC;YAC/B,KAAK,UAAU,CAAC;YAChB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAY,EACZ,cAAiC,EACjC,QAA2B,EACnB,EAAE;IACV,kCAAkC;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YAC5C,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACvC,CAAC,CAAC"}
1
+ {"version":3,"file":"type-substitution.js","sourceRoot":"","sources":["../../../src/core/semantic/type-substitution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAkBH;;GAEG;AACH,MAAM,cAAc,GAAG,CACrB,IAAY,EACZ,OAAoC,EACpC,UAA+B,IAAI,GAAG,EAAkB,EAChD,EAAE;IACV,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,OAAO,YAAY,IAAI,IAAI,CAAC;QAC9B,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACnD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,KAAK,GAA6B,EAAE,GAAG,IAAI,EAAE,CAAC;YACpD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,MAAM,wBAAwB,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC/D,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CACtC,CAAC;YACF,MAAM,4BAA4B,GAAG,IAAI,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACrE,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBAClE,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACjC,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,CAAC,CAAC,UAAU;4BACtB,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC;4BAChD,CAAC,CAAC,SAAS;wBACb,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,CAAC,CAAC,IAAI;4BACJ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE;4BAC1D,CAAC,CAAC,CAAC,CACN;qBACF,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,IAAI,wBAAwB,EAAE,CAAC;gBAC7B,KAAK,CAAC,aAAa,GAAG,wBAAwB,CAAC;YACjD,CAAC;YACD,IAAI,4BAA4B,EAAE,CAAC;gBACjC,KAAK,CAAC,iBAAiB,GAAG,4BAA4B,CAAC;YACzD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAyB;gBAClC,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW;aAC9B,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAA8B;gBACvC,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,SAAS,EAAE,IAAI,CAAC,SAAS;aAC1B,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC/D,KAAK,CAAC,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACnE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAyB;gBAClC,GAAG,IAAI;gBACP,KAAK,EAAE,EAAE;aACV,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,MAAM,sCAAsC,GAC1C,IAAI,CAAC,2BAA2B,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC5C,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CACtC;gBACD,IAAI,CAAC,4BAA4B,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC9C,cAAc,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,CACtE,CAAC;YACJ,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;YACzE,IAAI,sCAAsC,EAAE,CAAC;gBAC3C,KAAK,CAAC,2BAA2B;oBAC/B,sCAAsC,CAAC;YAC3C,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAyB;gBAClC,GAAG,IAAI;gBACP,YAAY,EAAE,EAAE;aACjB,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/C,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CACpC,CAAC;YACF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,KAAK,GAAgC;gBACzC,GAAG,IAAI;gBACP,KAAK,EAAE,EAAE;aACV,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;YACzE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,KAAK,GAA4B;gBACrC,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,UAAU,EAAE,EAAE;aACf,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACrE,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3C,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CACtE,CAAC;YACF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,KAAK,GAA0B;gBACnC,GAAG,IAAI;gBACP,OAAO,EAAE,EAAE;aACZ,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACrC,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBAClE,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACjC,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,CAAC,CAAC,UAAU;4BACtB,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC;4BAChD,CAAC,CAAC,SAAS;wBACb,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,CAAC,CAAC,IAAI;4BACJ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE;4BAC1D,CAAC,CAAC,CAAC,CACN;qBACF,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,OAAO,KAAe,CAAC;QACzB,CAAC;QAED,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QAEd,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,IAAI,CAAC;YAC/B,KAAK,UAAU,CAAC;YAChB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAY,EACZ,cAAiC,EACjC,QAA2B,EACnB,EAAE;IACV,kCAAkC;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YAC5C,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACvC,CAAC,CAAC"}
@@ -0,0 +1,14 @@
1
+ import type { IrExpression } from "@tsonic/frontend";
2
+ export type TypeofComparison = {
3
+ readonly target: IrExpression;
4
+ readonly tag: string;
5
+ readonly negate: boolean;
6
+ readonly narrowable: {
7
+ readonly bindingKey: string;
8
+ readonly targetExpr: Extract<IrExpression, {
9
+ kind: "identifier" | "memberAccess";
10
+ }>;
11
+ } | undefined;
12
+ };
13
+ export declare const tryExtractTypeofComparison: (expr: IrExpression) => TypeofComparison | undefined;
14
+ //# sourceMappingURL=typeof-comparison.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"typeof-comparison.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/typeof-comparison.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAIrD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,UAAU,EACf;QACE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;YAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;SAAE,CACxC,CAAC;KACH,GACD,SAAS,CAAC;CACf,CAAC;AA4CF,eAAO,MAAM,0BAA0B,GACrC,MAAM,YAAY,KACjB,gBAAgB,GAAG,SAerB,CAAC"}
@@ -0,0 +1,47 @@
1
+ import { getMemberAccessNarrowKey } from "./narrowing-keys.js";
2
+ import { unwrapTransparentNarrowingTarget } from "./transparent-expressions.js";
3
+ const isTypeofEqualityOperator = (operator) => operator === "===" ||
4
+ operator === "==" ||
5
+ operator === "!==" ||
6
+ operator === "!=";
7
+ const tryExtractTypeofOperand = (left, right) => {
8
+ if (left.kind !== "unary" || left.operator !== "typeof") {
9
+ return undefined;
10
+ }
11
+ if (right.kind !== "literal" || typeof right.value !== "string") {
12
+ return undefined;
13
+ }
14
+ return {
15
+ target: left.expression,
16
+ tag: right.value,
17
+ };
18
+ };
19
+ const resolveNarrowableTarget = (target) => {
20
+ const transparentTarget = unwrapTransparentNarrowingTarget(target);
21
+ if (!transparentTarget)
22
+ return undefined;
23
+ const bindingKey = transparentTarget.kind === "identifier"
24
+ ? transparentTarget.name
25
+ : getMemberAccessNarrowKey(transparentTarget);
26
+ if (!bindingKey)
27
+ return undefined;
28
+ return {
29
+ bindingKey,
30
+ targetExpr: transparentTarget,
31
+ };
32
+ };
33
+ export const tryExtractTypeofComparison = (expr) => {
34
+ if (expr.kind !== "binary" || !isTypeofEqualityOperator(expr.operator)) {
35
+ return undefined;
36
+ }
37
+ const comparison = tryExtractTypeofOperand(expr.left, expr.right) ??
38
+ tryExtractTypeofOperand(expr.right, expr.left);
39
+ if (!comparison)
40
+ return undefined;
41
+ return {
42
+ ...comparison,
43
+ negate: expr.operator === "!==" || expr.operator === "!=",
44
+ narrowable: resolveNarrowableTarget(comparison.target),
45
+ };
46
+ };
47
+ //# sourceMappingURL=typeof-comparison.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"typeof-comparison.js","sourceRoot":"","sources":["../../../src/core/semantic/typeof-comparison.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AAiBhF,MAAM,wBAAwB,GAAG,CAC/B,QAAgB,EACyB,EAAE,CAC3C,QAAQ,KAAK,KAAK;IAClB,QAAQ,KAAK,IAAI;IACjB,QAAQ,KAAK,KAAK;IAClB,QAAQ,KAAK,IAAI,CAAC;AAEpB,MAAM,uBAAuB,GAAG,CAC9B,IAAkB,EAClB,KAAmB,EACmC,EAAE;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACxD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,UAAU;QACvB,GAAG,EAAE,KAAK,CAAC,KAAK;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,MAAoB,EACY,EAAE;IAClC,MAAM,iBAAiB,GAAG,gCAAgC,CAAC,MAAM,CAAC,CAAC;IACnE,IAAI,CAAC,iBAAiB;QAAE,OAAO,SAAS,CAAC;IAEzC,MAAM,UAAU,GACd,iBAAiB,CAAC,IAAI,KAAK,YAAY;QACrC,CAAC,CAAC,iBAAiB,CAAC,IAAI;QACxB,CAAC,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,CAAC;IAClD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,OAAO;QACL,UAAU;QACV,UAAU,EAAE,iBAAiB;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAkB,EACY,EAAE;IAChC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GACd,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QAC9C,uBAAuB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,OAAO;QACL,GAAG,UAAU;QACb,MAAM,EAAE,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;QACzD,UAAU,EAAE,uBAAuB,CAAC,UAAU,CAAC,MAAM,CAAC;KACvD,CAAC;AACJ,CAAC,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"union-predicate-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/union-predicate-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAsBrD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,8BAA8B,GACzC,WAAW,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACjD,aAAa,SAAS,MAAM,EAAE,EAC9B,SAAS,cAAc,KACtB,MAAM,GAAG,SAuKX,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,WAAW,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACjD,aAAa,SAAS,MAAM,EAAE,EAC9B,SAAS,cAAc,KACtB,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,GAAG,SAO/C,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,WAAW,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACjD,QAAQ,MAAM,EACd,SAAS,cAAc,KACtB,MAAM,GAAG,SAkPX,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,QAAQ,MAAM,EACd,WAAW,MAAM,EACjB,SAAS,cAAc,KACtB,OAOF,CAAC"}
1
+ {"version":3,"file":"union-predicate-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/union-predicate-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAoBrD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,8BAA8B,GACzC,WAAW,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACjD,aAAa,SAAS,MAAM,EAAE,EAC9B,SAAS,cAAc,KACtB,MAAM,GAAG,SAuKX,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,WAAW,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACjD,aAAa,SAAS,MAAM,EAAE,EAC9B,SAAS,cAAc,KACtB,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,GAAG,SAO/C,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,WAAW,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACjD,QAAQ,MAAM,EACd,SAAS,cAAc,KACtB,MAAM,GAAG,SAkPX,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,QAAQ,MAAM,EACd,WAAW,MAAM,EACjB,SAAS,cAAc,KACtB,OAOF,CAAC"}
@@ -9,7 +9,7 @@ import { isAssignable } from "./type-compatibility.js";
9
9
  import { resolveTypeAlias, stripNullish, getArrayLikeElementType, } from "./nullish-value-helpers.js";
10
10
  import { resolveLocalTypeInfo, getAllPropertySignatures, } from "./property-member-lookup.js";
11
11
  import { getRuntimeUnionAliasReferenceKey } from "./runtime-union-alias-identity.js";
12
- import { typesHaveDeterministicIdentityConflict, } from "./clr-type-identity.js";
12
+ import { typesHaveDeterministicIdentityConflict } from "./clr-type-identity.js";
13
13
  import { areIrTypesEquivalent } from "./type-equivalence.js";
14
14
  import { referenceTypesShareNominalIdentity } from "./reference-type-identity.js";
15
15
  import { getContextualTypeVisitKey, tryContextualTypeIdentityKey, } from "./deterministic-type-keys.js";
@@ -1 +1 @@
1
- {"version":3,"file":"union-predicate-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/union-predicate-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,uBAAuB,GACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AACrF,OAAO,EACL,sCAAsC,GACvC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,kCAAkC,EAAE,MAAM,8BAA8B,CAAC;AAClF,OAAO,EACL,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,8BAA8B,CAAC;AAEtC;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,SAAiD,EACjD,WAA8B,EAC9B,OAAuB,EACH,EAAE;IACtB,qCAAqC;IACrC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IAUzB,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAEjE,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACvC,IACE,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe;gBACzC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,EAClC,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,UAAU,CAAC,MAAM;oBACxB,IAAI,EAAE,YAAY;oBAClB,QAAQ,EAAE,IAAI,GAAG,EAAU;oBAC3B,aAAa,EAAE,IAAI,GAAG,EAAU;iBACjC,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CACnC,CACE,SAAS,EAIT,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,mBAAmB,CAC5C,CAAC;YACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACnD,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtD,CAAC;YACF,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,UAAU,CAAC,MAAM;gBACxB,IAAI,EAAE,QAAQ;gBACd,QAAQ;gBACR,aAAa;aACd,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACzE,SAAS;QACX,CAAC;QAED,MAAM,GAAG,GACP,QAAQ,CAAC,IAAI,KAAK,eAAe;YAC/B,CAAC,CAAC,QAAQ;YACV,CAAC,CAAE,MAAqD,CAAC;QAE7D,MAAM,UAAU,GAAG,oBAAoB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,UAAU,EAAE,IAAI,CAAC;QAC9B,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,8EAA8E;QAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,wBAAwB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,CAAC,KAAK;gBAAE,SAAS;YAErB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACnD,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtD,CAAC;YAEF,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,UAAU,CAAC,MAAM;gBACxB,IAAI,EAAE,QAAQ;gBACd,QAAQ;gBACR,aAAa;aACd,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,4CAA4C;QAC5C,kGAAkG;QAClG,gFAAgF;QAChF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CACxC,CAAC;YACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACnD,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACrD,CAAC;YAEF,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,UAAU,CAAC,MAAM;gBACxB,IAAI,EAAE,QAAQ;gBACd,QAAQ;gBACR,aAAa;aACd,CAAC,CAAC;YACH,SAAS;QACX,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACtC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,uCAAuC;QACvC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QACvC,CAAC;QACD,uDAAuD;QACvD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;YAChC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QACnC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC;IAE/D,qBAAqB;IACrB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACpB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YACtB,OAAO,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,CAAC;QAED,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,4BAA4B,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC3D,MAAM,IAAI,GAAG,4BAA4B,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC3D,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QACrE,CAAC;QAED,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC/B,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAE/B,MAAM,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;QACpC,MAAM,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;QAEpC,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO,MAAM,GAAG,MAAM,CAAC,CAAC,yBAAyB;QAExE,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;QAClC,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;QAClC,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,GAAG,IAAI,CAAC,CAAC,0BAA0B;QAEjE,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO,MAAM,GAAG,MAAM,CAAC,CAAC,8BAA8B;QAE7E,MAAM,IAAI,GAAG,4BAA4B,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,4BAA4B,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,IAAI,EAAE,IAAI,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,SAAiD,EACjD,WAA8B,EAC9B,OAAuB,EACiC,EAAE;IAC1D,MAAM,QAAQ,GAAG,8BAA8B,CAC7C,SAAS,EACT,WAAW,EACX,OAAO,CACR,CAAC;IACF,OAAO,QAAQ,EAAE,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,SAAiD,EACjD,MAAc,EACd,OAAuB,EACH,EAAE;IACtB,MAAM,cAAc,GAAG,mBAAmB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,YAAY,GAChB,cAAc,CAAC,IAAI,KAAK,WAAW;QACjC,CAAC,CAAC,cAAc,CAAC,KAAK;QACtB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IACvB,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;IACvE,MAAM,sBAAsB,GAAG,CAC7B,MAAc,EACd,SAAiB,EACjB,UAAuB,IAAI,GAAG,EAAU,EAC/B,EAAE;QACX,MAAM,cAAc,GAAG,gCAAgC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzE,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,iBAAiB,GAAG,gCAAgC,CACxD,SAAS,EACT,OAAO,CACR,CAAC;YACF,IAAI,iBAAiB,EAAE,CAAC;gBACtB,OAAO,cAAc,KAAK,iBAAiB,CAAC;YAC9C,CAAC;QACH,CAAC;QAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QACvE,MAAM,iBAAiB,GAAG,gBAAgB,CACxC,YAAY,CAAC,SAAS,CAAC,EACvB,OAAO,CACR,CAAC;QACF,IAAI,oBAAoB,CAAC,cAAc,EAAE,iBAAiB,EAAE,OAAO,CAAC,EAAE,CAAC;YACrE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,UAAU,GAAG,GAAG,yBAAyB,CAC7C,cAAc,EACd,OAAO,CACR,KAAK,yBAAyB,CAAC,iBAAiB,EAAE,OAAO,CAAC,EAAE,CAAC;QAC9D,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QACrC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAE5B,IAAI,iBAAiB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC3C,OAAO,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,EAAE,CACtD,sBAAsB,CAAC,cAAc,EAAE,eAAe,EAAE,WAAW,CAAC,CACrE,CAAC;QACJ,CAAC;QAED,IAAI,cAAc,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACxC,OAAO,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAC9C,sBAAsB,CAAC,UAAU,EAAE,iBAAiB,EAAE,WAAW,CAAC,CACnE,CAAC;QACJ,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,SAAS;YACjC,iBAAiB,CAAC,IAAI,KAAK,SAAS,EACpC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,aAAa;YACrC,iBAAiB,CAAC,IAAI,KAAK,aAAa,EACxC,CAAC;YACD,OAAO,CACL,cAAc,CAAC,IAAI,KAAK,aAAa;gBACrC,iBAAiB,CAAC,IAAI,KAAK,aAAa,CACzC,CAAC;QACJ,CAAC;QAED,IAAI,cAAc,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC1C,IAAI,iBAAiB,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC7C,OAAO,cAAc,CAAC,KAAK,KAAK,iBAAiB,CAAC,KAAK,CAAC;YAC1D,CAAC;YACD,IAAI,iBAAiB,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC/C,OAAO,CACL,CAAC,OAAO,cAAc,CAAC,KAAK,KAAK,QAAQ;oBACvC,iBAAiB,CAAC,IAAI,KAAK,QAAQ,CAAC;oBACtC,CAAC,OAAO,cAAc,CAAC,KAAK,KAAK,QAAQ;wBACvC,CAAC,iBAAiB,CAAC,IAAI,KAAK,QAAQ;4BAClC,iBAAiB,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;oBACtC,CAAC,OAAO,cAAc,CAAC,KAAK,KAAK,SAAS;wBACxC,iBAAiB,CAAC,IAAI,KAAK,SAAS,CAAC,CACxC,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,cAAc,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC5C,IAAI,YAAY,CAAC,iBAAiB,EAAE,cAAc,CAAC,EAAE,CAAC;gBACpD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,iBAAiB,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC/C,OAAO,CACL,cAAc,CAAC,IAAI,KAAK,iBAAiB,CAAC,IAAI;oBAC9C,YAAY,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAChD,CAAC;YACJ,CAAC;YACD,IAAI,iBAAiB,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC7C,OAAO,sBAAsB,CAAC,iBAAiB,EAAE,cAAc,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,WAAW;YACnC,iBAAiB,CAAC,IAAI,KAAK,WAAW,EACtC,CAAC;YACD,IACE,cAAc,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa;gBACjD,iBAAiB,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa,EACpD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,sBAAsB,CAC3B,cAAc,CAAC,WAAW,EAC1B,iBAAiB,CAAC,WAAW,EAC7B,WAAW,CACZ,CAAC;QACJ,CAAC;QAED,MAAM,sBAAsB,GAAG,uBAAuB,CACpD,cAAc,EACd,OAAO,CACR,CAAC;QACF,MAAM,yBAAyB,GAAG,uBAAuB,CACvD,iBAAiB,EACjB,OAAO,CACR,CAAC;QACF,IAAI,sBAAsB,IAAI,yBAAyB,EAAE,CAAC;YACxD,IACE,sBAAsB,CAAC,IAAI,KAAK,aAAa;gBAC7C,yBAAyB,CAAC,IAAI,KAAK,aAAa,EAChD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,sBAAsB,CAC3B,sBAAsB,EACtB,yBAAyB,EACzB,WAAW,CACZ,CAAC;QACJ,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,WAAW;YACnC,iBAAiB,CAAC,IAAI,KAAK,WAAW,EACtC,CAAC;YACD,IACE,cAAc,CAAC,YAAY,CAAC,MAAM;gBAClC,iBAAiB,CAAC,YAAY,CAAC,MAAM,EACrC,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE;gBAC9D,MAAM,KAAK,GAAG,iBAAiB,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBACpD,OAAO,KAAK;oBACV,CAAC,CAAC,sBAAsB,CAAC,WAAW,EAAE,KAAK,EAAE,WAAW,CAAC;oBACzD,CAAC,CAAC,KAAK,CAAC;YACZ,CAAC,CAAC,CAAC;QACL,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,cAAc;YACtC,iBAAiB,CAAC,IAAI,KAAK,cAAc,EACzC,CAAC;YACD,IACE,cAAc,CAAC,UAAU,CAAC,MAAM,KAAK,iBAAiB,CAAC,UAAU,CAAC,MAAM,EACxE,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KACE,IAAI,KAAK,GAAG,CAAC,EACb,KAAK,GAAG,cAAc,CAAC,UAAU,CAAC,MAAM,EACxC,KAAK,IAAI,CAAC,EACV,CAAC;gBACD,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBACrD,MAAM,cAAc,GAAG,iBAAiB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBAC3D,IAAI,CAAC,WAAW,IAAI,CAAC,cAAc,EAAE,CAAC;oBACpC,OAAO,KAAK,CAAC;gBACf,CAAC;gBAED,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;oBAC9C,SAAS;gBACX,CAAC;gBAED,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;oBAC9C,OAAO,KAAK,CAAC;gBACf,CAAC;gBAED,IACE,CAAC,sBAAsB,CACrB,WAAW,CAAC,IAAI,EAChB,cAAc,CAAC,IAAI,EACnB,WAAW,CACZ,EACD,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YAED,OAAO,sBAAsB,CAC3B,cAAc,CAAC,UAAU,EACzB,iBAAiB,CAAC,UAAU,EAC5B,WAAW,CACZ,CAAC;QACJ,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,eAAe;YACvC,iBAAiB,CAAC,IAAI,KAAK,eAAe,EAC1C,CAAC;YACD,IACE,sCAAsC,CACpC,cAAc,EACd,iBAAiB,CAClB,EACD,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,IACE,kCAAkC,CAChC,cAAc,EACd,iBAAiB,EACjB,OAAO,CACR,EACD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,IAAI,sBAAsB,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,MAAc,EACd,SAAiB,EACjB,OAAuB,EACd,EAAE;IACX,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG;QACd,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,CAAC,MAAM,CAAC;KAC0C,CAAC;IAC5D,OAAO,oBAAoB,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC,CAAC"}
1
+ {"version":3,"file":"union-predicate-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/union-predicate-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,uBAAuB,GACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AACrF,OAAO,EAAE,sCAAsC,EAAE,MAAM,wBAAwB,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,kCAAkC,EAAE,MAAM,8BAA8B,CAAC;AAClF,OAAO,EACL,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,8BAA8B,CAAC;AAEtC;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,SAAiD,EACjD,WAA8B,EAC9B,OAAuB,EACH,EAAE;IACtB,qCAAqC;IACrC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IAUzB,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAEjE,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACvC,IACE,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe;gBACzC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,EAClC,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,UAAU,CAAC,MAAM;oBACxB,IAAI,EAAE,YAAY;oBAClB,QAAQ,EAAE,IAAI,GAAG,EAAU;oBAC3B,aAAa,EAAE,IAAI,GAAG,EAAU;iBACjC,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CACnC,CACE,SAAS,EAIT,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,mBAAmB,CAC5C,CAAC;YACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACnD,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtD,CAAC;YACF,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,UAAU,CAAC,MAAM;gBACxB,IAAI,EAAE,QAAQ;gBACd,QAAQ;gBACR,aAAa;aACd,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACzE,SAAS;QACX,CAAC;QAED,MAAM,GAAG,GACP,QAAQ,CAAC,IAAI,KAAK,eAAe;YAC/B,CAAC,CAAC,QAAQ;YACV,CAAC,CAAE,MAAqD,CAAC;QAE7D,MAAM,UAAU,GAAG,oBAAoB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,UAAU,EAAE,IAAI,CAAC;QAC9B,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,8EAA8E;QAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,wBAAwB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,CAAC,KAAK;gBAAE,SAAS;YAErB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACnD,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtD,CAAC;YAEF,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,UAAU,CAAC,MAAM;gBACxB,IAAI,EAAE,QAAQ;gBACd,QAAQ;gBACR,aAAa;aACd,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,4CAA4C;QAC5C,kGAAkG;QAClG,gFAAgF;QAChF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CACxC,CAAC;YACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACnD,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACrD,CAAC;YAEF,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,UAAU,CAAC,MAAM;gBACxB,IAAI,EAAE,QAAQ;gBACd,QAAQ;gBACR,aAAa;aACd,CAAC,CAAC;YACH,SAAS;QACX,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACtC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,uCAAuC;QACvC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QACvC,CAAC;QACD,uDAAuD;QACvD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;YAChC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QACnC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC;IAE/D,qBAAqB;IACrB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACpB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YACtB,OAAO,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,CAAC;QAED,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,4BAA4B,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC3D,MAAM,IAAI,GAAG,4BAA4B,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC3D,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QACrE,CAAC;QAED,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC/B,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAE/B,MAAM,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;QACpC,MAAM,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;QAEpC,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO,MAAM,GAAG,MAAM,CAAC,CAAC,yBAAyB;QAExE,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;QAClC,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;QAClC,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,GAAG,IAAI,CAAC,CAAC,0BAA0B;QAEjE,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO,MAAM,GAAG,MAAM,CAAC,CAAC,8BAA8B;QAE7E,MAAM,IAAI,GAAG,4BAA4B,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,4BAA4B,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,IAAI,EAAE,IAAI,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,SAAiD,EACjD,WAA8B,EAC9B,OAAuB,EACiC,EAAE;IAC1D,MAAM,QAAQ,GAAG,8BAA8B,CAC7C,SAAS,EACT,WAAW,EACX,OAAO,CACR,CAAC;IACF,OAAO,QAAQ,EAAE,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,SAAiD,EACjD,MAAc,EACd,OAAuB,EACH,EAAE;IACtB,MAAM,cAAc,GAAG,mBAAmB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,YAAY,GAChB,cAAc,CAAC,IAAI,KAAK,WAAW;QACjC,CAAC,CAAC,cAAc,CAAC,KAAK;QACtB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IACvB,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;IACvE,MAAM,sBAAsB,GAAG,CAC7B,MAAc,EACd,SAAiB,EACjB,UAAuB,IAAI,GAAG,EAAU,EAC/B,EAAE;QACX,MAAM,cAAc,GAAG,gCAAgC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzE,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,iBAAiB,GAAG,gCAAgC,CACxD,SAAS,EACT,OAAO,CACR,CAAC;YACF,IAAI,iBAAiB,EAAE,CAAC;gBACtB,OAAO,cAAc,KAAK,iBAAiB,CAAC;YAC9C,CAAC;QACH,CAAC;QAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QACvE,MAAM,iBAAiB,GAAG,gBAAgB,CACxC,YAAY,CAAC,SAAS,CAAC,EACvB,OAAO,CACR,CAAC;QACF,IAAI,oBAAoB,CAAC,cAAc,EAAE,iBAAiB,EAAE,OAAO,CAAC,EAAE,CAAC;YACrE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,UAAU,GAAG,GAAG,yBAAyB,CAC7C,cAAc,EACd,OAAO,CACR,KAAK,yBAAyB,CAAC,iBAAiB,EAAE,OAAO,CAAC,EAAE,CAAC;QAC9D,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QACrC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAE5B,IAAI,iBAAiB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC3C,OAAO,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,EAAE,CACtD,sBAAsB,CAAC,cAAc,EAAE,eAAe,EAAE,WAAW,CAAC,CACrE,CAAC;QACJ,CAAC;QAED,IAAI,cAAc,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACxC,OAAO,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAC9C,sBAAsB,CAAC,UAAU,EAAE,iBAAiB,EAAE,WAAW,CAAC,CACnE,CAAC;QACJ,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,SAAS;YACjC,iBAAiB,CAAC,IAAI,KAAK,SAAS,EACpC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,aAAa;YACrC,iBAAiB,CAAC,IAAI,KAAK,aAAa,EACxC,CAAC;YACD,OAAO,CACL,cAAc,CAAC,IAAI,KAAK,aAAa;gBACrC,iBAAiB,CAAC,IAAI,KAAK,aAAa,CACzC,CAAC;QACJ,CAAC;QAED,IAAI,cAAc,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC1C,IAAI,iBAAiB,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC7C,OAAO,cAAc,CAAC,KAAK,KAAK,iBAAiB,CAAC,KAAK,CAAC;YAC1D,CAAC;YACD,IAAI,iBAAiB,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC/C,OAAO,CACL,CAAC,OAAO,cAAc,CAAC,KAAK,KAAK,QAAQ;oBACvC,iBAAiB,CAAC,IAAI,KAAK,QAAQ,CAAC;oBACtC,CAAC,OAAO,cAAc,CAAC,KAAK,KAAK,QAAQ;wBACvC,CAAC,iBAAiB,CAAC,IAAI,KAAK,QAAQ;4BAClC,iBAAiB,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;oBACtC,CAAC,OAAO,cAAc,CAAC,KAAK,KAAK,SAAS;wBACxC,iBAAiB,CAAC,IAAI,KAAK,SAAS,CAAC,CACxC,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,cAAc,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC5C,IAAI,YAAY,CAAC,iBAAiB,EAAE,cAAc,CAAC,EAAE,CAAC;gBACpD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,iBAAiB,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC/C,OAAO,CACL,cAAc,CAAC,IAAI,KAAK,iBAAiB,CAAC,IAAI;oBAC9C,YAAY,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAChD,CAAC;YACJ,CAAC;YACD,IAAI,iBAAiB,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC7C,OAAO,sBAAsB,CAAC,iBAAiB,EAAE,cAAc,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,WAAW;YACnC,iBAAiB,CAAC,IAAI,KAAK,WAAW,EACtC,CAAC;YACD,IACE,cAAc,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa;gBACjD,iBAAiB,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa,EACpD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,sBAAsB,CAC3B,cAAc,CAAC,WAAW,EAC1B,iBAAiB,CAAC,WAAW,EAC7B,WAAW,CACZ,CAAC;QACJ,CAAC;QAED,MAAM,sBAAsB,GAAG,uBAAuB,CACpD,cAAc,EACd,OAAO,CACR,CAAC;QACF,MAAM,yBAAyB,GAAG,uBAAuB,CACvD,iBAAiB,EACjB,OAAO,CACR,CAAC;QACF,IAAI,sBAAsB,IAAI,yBAAyB,EAAE,CAAC;YACxD,IACE,sBAAsB,CAAC,IAAI,KAAK,aAAa;gBAC7C,yBAAyB,CAAC,IAAI,KAAK,aAAa,EAChD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,sBAAsB,CAC3B,sBAAsB,EACtB,yBAAyB,EACzB,WAAW,CACZ,CAAC;QACJ,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,WAAW;YACnC,iBAAiB,CAAC,IAAI,KAAK,WAAW,EACtC,CAAC;YACD,IACE,cAAc,CAAC,YAAY,CAAC,MAAM;gBAClC,iBAAiB,CAAC,YAAY,CAAC,MAAM,EACrC,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE;gBAC9D,MAAM,KAAK,GAAG,iBAAiB,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBACpD,OAAO,KAAK;oBACV,CAAC,CAAC,sBAAsB,CAAC,WAAW,EAAE,KAAK,EAAE,WAAW,CAAC;oBACzD,CAAC,CAAC,KAAK,CAAC;YACZ,CAAC,CAAC,CAAC;QACL,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,cAAc;YACtC,iBAAiB,CAAC,IAAI,KAAK,cAAc,EACzC,CAAC;YACD,IACE,cAAc,CAAC,UAAU,CAAC,MAAM,KAAK,iBAAiB,CAAC,UAAU,CAAC,MAAM,EACxE,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KACE,IAAI,KAAK,GAAG,CAAC,EACb,KAAK,GAAG,cAAc,CAAC,UAAU,CAAC,MAAM,EACxC,KAAK,IAAI,CAAC,EACV,CAAC;gBACD,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBACrD,MAAM,cAAc,GAAG,iBAAiB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBAC3D,IAAI,CAAC,WAAW,IAAI,CAAC,cAAc,EAAE,CAAC;oBACpC,OAAO,KAAK,CAAC;gBACf,CAAC;gBAED,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;oBAC9C,SAAS;gBACX,CAAC;gBAED,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;oBAC9C,OAAO,KAAK,CAAC;gBACf,CAAC;gBAED,IACE,CAAC,sBAAsB,CACrB,WAAW,CAAC,IAAI,EAChB,cAAc,CAAC,IAAI,EACnB,WAAW,CACZ,EACD,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YAED,OAAO,sBAAsB,CAC3B,cAAc,CAAC,UAAU,EACzB,iBAAiB,CAAC,UAAU,EAC5B,WAAW,CACZ,CAAC;QACJ,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,eAAe;YACvC,iBAAiB,CAAC,IAAI,KAAK,eAAe,EAC1C,CAAC;YACD,IACE,sCAAsC,CACpC,cAAc,EACd,iBAAiB,CAClB,EACD,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,IACE,kCAAkC,CAChC,cAAc,EACd,iBAAiB,EACjB,OAAO,CACR,EACD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,IAAI,sBAAsB,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,MAAc,EACd,SAAiB,EACjB,OAAuB,EACd,EAAE;IACX,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG;QACd,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,CAAC,MAAM,CAAC;KAC0C,CAAC;IAC5D,OAAO,oBAAoB,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC,CAAC"}
@@ -11,7 +11,7 @@
11
11
  * is NOT a union here, even if it aliases one. Only explicit `unionType` IR
12
12
  * nodes with >= 2 non-nullish members are unions in the semantic view.
13
13
  */
14
- import { getCanonicalRuntimeUnionMembers } from "./runtime-unions.js";
14
+ import { getCanonicalRuntimeUnionMembers } from "./runtime-union-frame.js";
15
15
  import { getSemanticUnionMembers } from "./semantic-union-members.js";
16
16
  import { resolveTypeAlias, stripNullish } from "./type-resolution.js";
17
17
  import { shouldUseBroadObjectForUnionStorage } from "./storage-types.js";
@@ -1 +1 @@
1
- {"version":3,"file":"union-semantics.js","sourceRoot":"","sources":["../../../src/core/semantic/union-semantics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,mCAAmC,EAAE,MAAM,oBAAoB,CAAC;AAEzE;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAY,EACZ,OAAuB,EACd,EAAE,CAAC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;AAEnE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IACE,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,mCAAmC,CAAC,QAAQ,EAAE,OAAO,CAAC,EACtD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,+BAA+B,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;AACtE,CAAC,CAAC"}
1
+ {"version":3,"file":"union-semantics.js","sourceRoot":"","sources":["../../../src/core/semantic/union-semantics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,mCAAmC,EAAE,MAAM,oBAAoB,CAAC;AAEzE;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAY,EACZ,OAAuB,EACd,EAAE,CAAC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;AAEnE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IACE,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,mCAAmC,CAAC,QAAQ,EAAE,OAAO,CAAC,EACtD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,+BAA+B,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;AACtE,CAAC,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"union-typeof-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/union-typeof-matching.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKrD,eAAO,MAAM,gBAAgB,GAC3B,MAAM,MAAM,EACZ,KAAK,MAAM,EACX,SAAS,cAAc,KACtB,OA4DF,CAAC;AA4EF,eAAO,MAAM,wBAAwB,GACnC,aAAa,MAAM,GAAG,SAAS,EAC/B,KAAK,MAAM,EACX,SAAS,cAAc,KACtB,MAAM,GAAG,SAIX,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,aAAa,MAAM,GAAG,SAAS,EAC/B,KAAK,MAAM,EACX,SAAS,cAAc,KACtB,MAAM,GAAG,SAOX,CAAC"}
1
+ {"version":3,"file":"union-typeof-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/union-typeof-matching.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAK/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAkFrD,eAAO,MAAM,gBAAgB,GAC3B,MAAM,MAAM,EACZ,KAAK,MAAM,EACX,SAAS,cAAc,KACtB,OAqEF,CAAC;AA2DF,eAAO,MAAM,wBAAwB,GACnC,aAAa,MAAM,GAAG,SAAS,EAC/B,KAAK,MAAM,EACX,SAAS,cAAc,KACtB,MAAM,GAAG,SAIX,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,aAAa,MAAM,GAAG,SAAS,EAC/B,KAAK,MAAM,EACX,SAAS,cAAc,KACtB,MAAM,GAAG,SASX,CAAC"}
@@ -5,10 +5,67 @@
5
5
  * "boolean", "undefined", "object", "function") and narrows union types
6
6
  * by including or excluding members that match a given tag.
7
7
  */
8
- import { normalizedUnionType } from "@tsonic/frontend";
8
+ import { normalizedUnionType, primitiveTypeFactFromName, } from "@tsonic/frontend";
9
9
  import { resolveTypeAlias } from "./nullish-value-helpers.js";
10
10
  import { areIrTypesEquivalent } from "./type-equivalence.js";
11
11
  import { getContextualTypeVisitKey } from "./deterministic-type-keys.js";
12
+ import { referenceTypeHasClrIdentity } from "./clr-type-identity.js";
13
+ const BROAD_OBJECT_CLR_NAMES = new Set([
14
+ "System.Object",
15
+ "global::System.Object",
16
+ "Tsonic.Runtime.JsValue",
17
+ "global::Tsonic.Runtime.JsValue",
18
+ ]);
19
+ const referenceTypeofFact = (type) => primitiveTypeFactFromName(type.typeId?.clrName ?? type.resolvedClrType ?? type.name);
20
+ const genericTypeofTarget = (tag) => {
21
+ switch (tag) {
22
+ case "string":
23
+ return { kind: "primitiveType", name: "string" };
24
+ case "number":
25
+ return { kind: "primitiveType", name: "number" };
26
+ case "boolean":
27
+ return { kind: "primitiveType", name: "boolean" };
28
+ case "undefined":
29
+ return { kind: "primitiveType", name: "undefined" };
30
+ case "object":
31
+ return {
32
+ kind: "referenceType",
33
+ name: "object",
34
+ resolvedClrType: "global::System.Object",
35
+ };
36
+ case "function":
37
+ return {
38
+ kind: "functionType",
39
+ parameters: [],
40
+ returnType: { kind: "unknownType" },
41
+ };
42
+ default:
43
+ return undefined;
44
+ }
45
+ };
46
+ const isBroadObjectCarrierReference = (type) => type.kind === "referenceType" &&
47
+ (type.name === "object" ||
48
+ type.name === "JsValue" ||
49
+ referenceTypeHasClrIdentity(type, BROAD_OBJECT_CLR_NAMES));
50
+ const containsBroadTypeofBoundary = (type, context, seen = new Set()) => {
51
+ const key = getContextualTypeVisitKey(type, context);
52
+ if (seen.has(key)) {
53
+ return false;
54
+ }
55
+ const nextSeen = new Set(seen);
56
+ nextSeen.add(key);
57
+ const resolved = resolveTypeAlias(type, context);
58
+ if (resolved.kind === "unknownType" ||
59
+ resolved.kind === "anyType" ||
60
+ resolved.kind === "typeParameterType" ||
61
+ isBroadObjectCarrierReference(resolved)) {
62
+ return true;
63
+ }
64
+ if (resolved.kind === "unionType") {
65
+ return resolved.types.some((member) => containsBroadTypeofBoundary(member, context, nextSeen));
66
+ }
67
+ return false;
68
+ };
12
69
  export const matchesTypeofTag = (type, tag, context) => {
13
70
  const resolved = resolveTypeAlias(type, context);
14
71
  if (resolved.kind === "literalType") {
@@ -35,11 +92,18 @@ export const matchesTypeofTag = (type, tag, context) => {
35
92
  return tag === "object";
36
93
  }
37
94
  if (resolved.kind === "referenceType") {
95
+ const fact = referenceTypeofFact(resolved);
96
+ if (tag === "number") {
97
+ return fact?.jsTypeof === "number";
98
+ }
99
+ if (tag === "boolean") {
100
+ return fact?.jsTypeof === "boolean";
101
+ }
38
102
  if (tag === "function") {
39
103
  return false;
40
104
  }
41
105
  if (tag === "object") {
42
- return resolved.name !== "Function";
106
+ return resolved.name !== "Function" && fact === undefined;
43
107
  }
44
108
  return false;
45
109
  }
@@ -50,9 +114,9 @@ export const matchesTypeofTag = (type, tag, context) => {
50
114
  case "string":
51
115
  return resolved.name === "string";
52
116
  case "number":
53
- return resolved.name === "number" || resolved.name === "int";
117
+ return primitiveTypeFactFromName(resolved.name)?.jsTypeof === "number";
54
118
  case "boolean":
55
- return resolved.name === "boolean";
119
+ return primitiveTypeFactFromName(resolved.name)?.jsTypeof === "boolean";
56
120
  case "undefined":
57
121
  return resolved.name === "undefined";
58
122
  case "object":
@@ -61,22 +125,6 @@ export const matchesTypeofTag = (type, tag, context) => {
61
125
  return false;
62
126
  }
63
127
  };
64
- const genericTypeofTarget = (tag) => {
65
- switch (tag) {
66
- case "string":
67
- return { kind: "primitiveType", name: "string" };
68
- case "number":
69
- return { kind: "primitiveType", name: "number" };
70
- case "boolean":
71
- return { kind: "primitiveType", name: "boolean" };
72
- case "undefined":
73
- return { kind: "primitiveType", name: "undefined" };
74
- case "object":
75
- return { kind: "referenceType", name: "object" };
76
- default:
77
- return undefined;
78
- }
79
- };
80
128
  const collectTypeofCandidateLeaves = (type, context, seen = new Set()) => {
81
129
  const key = getContextualTypeVisitKey(type, context);
82
130
  if (seen.has(key)) {
@@ -117,8 +165,10 @@ export const narrowTypeByNotTypeofTag = (currentType, tag, context) => {
117
165
  };
118
166
  export const narrowTypeByTypeofTag = (currentType, tag, context) => {
119
167
  if (!currentType)
120
- return genericTypeofTarget(tag);
168
+ return undefined;
121
169
  return (filterTypeofCandidateLeaves(currentType, tag, context, true) ??
122
- genericTypeofTarget(tag));
170
+ (containsBroadTypeofBoundary(currentType, context)
171
+ ? genericTypeofTarget(tag)
172
+ : undefined));
123
173
  };
124
174
  //# sourceMappingURL=union-typeof-matching.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"union-typeof-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/union-typeof-matching.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAEzE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,GAAW,EACX,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,QAAQ;gBACX,OAAO,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC;YAC5C,KAAK,QAAQ;gBACX,OAAO,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC;YAC5C,KAAK,SAAS;gBACZ,OAAO,OAAO,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC;YAC7C,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC;YACjC;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACrC,OAAO,GAAG,KAAK,UAAU,CAAC;IAC5B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACnE,OAAO,GAAG,KAAK,QAAQ,CAAC;IAC1B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACzE,OAAO,GAAG,KAAK,QAAQ,CAAC;IAC1B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,OAAO,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC;QACtC,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;QACpC,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC;QAC/D,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC;QACrC,KAAK,WAAW;YACd,OAAO,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC;QACvC,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;QAClC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,GAAW,EAAsB,EAAE;IAC9D,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,KAAK,WAAW;YACd,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACtD,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAAY,EACZ,OAAuB,EACvB,OAAO,IAAI,GAAG,EAAU,EACL,EAAE;IACrB,MAAM,GAAG,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAElB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,4BAA4B,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CACxD,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACvC,4BAA4B,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CACxD,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpE,OAAO,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,oBAAoB,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACnD,OAAO,4BAA4B,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,CAAC,QAAQ,CAAC,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,WAAmB,EACnB,GAAW,EACX,OAAuB,EACvB,SAAkB,EACE,EAAE;IACtB,MAAM,IAAI,GAAG,4BAA4B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,MAAM,CACpE,CAAC,MAAM,EAAoB,EAAE,CAC3B,CAAC,CAAC,MAAM;QACR,CAAC,SAAS;YACR,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC;YACxC,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAC/C,CAAC;IAEF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,WAA+B,EAC/B,GAAW,EACX,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,OAAO,2BAA2B,CAAC,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,WAA+B,EAC/B,GAAW,EACX,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAElD,OAAO,CACL,2BAA2B,CAAC,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC;QAC5D,mBAAmB,CAAC,GAAG,CAAC,CACzB,CAAC;AACJ,CAAC,CAAC"}
1
+ {"version":3,"file":"union-typeof-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/union-typeof-matching.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EACL,mBAAmB,EACnB,yBAAyB,GAC1B,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAErE,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC;IACrC,eAAe;IACf,uBAAuB;IACvB,wBAAwB;IACxB,gCAAgC;CACjC,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,CAC1B,IAAgD,EACF,EAAE,CAChD,yBAAyB,CACvB,IAAI,CAAC,MAAM,EAAE,OAAO,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,IAAI,CAC1D,CAAC;AAEJ,MAAM,mBAAmB,GAAG,CAAC,GAAW,EAAsB,EAAE;IAC9D,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,KAAK,WAAW;YACd,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACtD,KAAK,QAAQ;YACX,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;gBACd,eAAe,EAAE,uBAAuB;aACzC,CAAC;QACJ,KAAK,UAAU;YACb,OAAO;gBACL,IAAI,EAAE,cAAc;gBACpB,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;aACpC,CAAC;QACJ;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CAAC,IAAY,EAAW,EAAE,CAC9D,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACrB,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,2BAA2B,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC,CAAC;AAE/D,MAAM,2BAA2B,GAAG,CAClC,IAAY,EACZ,OAAuB,EACvB,OAAO,IAAI,GAAG,EAAU,EACf,EAAE;IACX,MAAM,GAAG,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IACE,QAAQ,CAAC,IAAI,KAAK,aAAa;QAC/B,QAAQ,CAAC,IAAI,KAAK,SAAS;QAC3B,QAAQ,CAAC,IAAI,KAAK,mBAAmB;QACrC,6BAA6B,CAAC,QAAQ,CAAC,EACvC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACpC,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CACvD,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,GAAW,EACX,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,QAAQ;gBACX,OAAO,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC;YAC5C,KAAK,QAAQ;gBACX,OAAO,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC;YAC5C,KAAK,SAAS;gBACZ,OAAO,OAAO,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC;YAC7C,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC;YACjC;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACrC,OAAO,GAAG,KAAK,UAAU,CAAC;IAC5B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACnE,OAAO,GAAG,KAAK,QAAQ,CAAC;IAC1B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACzE,OAAO,GAAG,KAAK,QAAQ,CAAC;IAC1B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,OAAO,IAAI,EAAE,QAAQ,KAAK,QAAQ,CAAC;QACrC,CAAC;QAED,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO,IAAI,EAAE,QAAQ,KAAK,SAAS,CAAC;QACtC,CAAC;QAED,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,OAAO,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,SAAS,CAAC;QAC5D,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;QACpC,KAAK,QAAQ;YACX,OAAO,yBAAyB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,KAAK,QAAQ,CAAC;QACzE,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,KAAK,SAAS,CAAC;QAC1E,KAAK,WAAW;YACd,OAAO,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC;QACvC,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;QAClC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAAY,EACZ,OAAuB,EACvB,OAAO,IAAI,GAAG,EAAU,EACL,EAAE;IACrB,MAAM,GAAG,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAElB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,4BAA4B,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CACxD,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACvC,4BAA4B,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CACxD,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpE,OAAO,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,oBAAoB,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACnD,OAAO,4BAA4B,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,CAAC,QAAQ,CAAC,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,WAAmB,EACnB,GAAW,EACX,OAAuB,EACvB,SAAkB,EACE,EAAE;IACtB,MAAM,IAAI,GAAG,4BAA4B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,MAAM,CACpE,CAAC,MAAM,EAAoB,EAAE,CAC3B,CAAC,CAAC,MAAM;QACR,CAAC,SAAS;YACR,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC;YACxC,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAC/C,CAAC;IAEF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,WAA+B,EAC/B,GAAW,EACX,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,OAAO,2BAA2B,CAAC,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,WAA+B,EAC/B,GAAW,EACX,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,OAAO,CACL,2BAA2B,CAAC,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC;QAC5D,CAAC,2BAA2B,CAAC,WAAW,EAAE,OAAO,CAAC;YAChD,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC;YAC1B,CAAC,CAAC,SAAS,CAAC,CACf,CAAC;AACJ,CAAC,CAAC"}
@@ -14,6 +14,7 @@ import type { EmitterContext } from "../../types.js";
14
14
  export declare const resolveAsInterfaceTargetType: (type: IrType, context: EmitterContext) => IrType;
15
15
  export declare const resolveSemanticVariableInitializerType: (initializer: {
16
16
  readonly kind: string;
17
+ readonly name?: string;
17
18
  readonly inferredType?: IrType;
18
19
  readonly targetType?: IrType;
19
20
  } | undefined, context: EmitterContext) => IrType | undefined;
@@ -1 +1 @@
1
- {"version":3,"file":"variable-type-resolution.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/variable-type-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAcrD;;;GAGG;AACH,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAoCF,CAAC;AAmLF,eAAO,MAAM,sCAAsC,GACjD,aACI;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,GACD,SAAS,EACb,SAAS,cAAc,KACtB,MAAM,GAAG,SA+BX,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,sCAAsC,GACjD,cAAc,MAAM,GAAG,SAAS,EAChC,aACI;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,GACD,SAAS,EACb,SAAS,cAAc,KACtB,MAAM,GAAG,SAkCX,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,uCAAuC,GAClD,aACI;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,GACD,SAAS,EACb,SAAS,cAAc,KACtB,MAAM,GAAG,SAGX,CAAC;AAEF,sEAAsE;AACtE,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAC5B,WAAW,EACX;QAAE,IAAI,EAAE,qBAAqB,CAAA;KAAE,CAChC,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,CAAC;CAC1C,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,sBAAsB,EAC5B,SAAS,cAAc,KACtB,MAAM,GAAG,SAwBX,CAAC"}
1
+ {"version":3,"file":"variable-type-resolution.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/variable-type-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,MAAM,EAEZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAcrD;;;GAGG;AACH,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAoCF,CAAC;AA4PF,eAAO,MAAM,sCAAsC,GACjD,aACI;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,GACD,SAAS,EACb,SAAS,cAAc,KACtB,MAAM,GAAG,SA6CX,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,sCAAsC,GACjD,cAAc,MAAM,GAAG,SAAS,EAChC,aACI;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,GACD,SAAS,EACb,SAAS,cAAc,KACtB,MAAM,GAAG,SAkCX,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,uCAAuC,GAClD,aACI;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,GACD,SAAS,EACb,SAAS,cAAc,KACtB,MAAM,GAAG,SAGX,CAAC;AAEF,sEAAsE;AACtE,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAC5B,WAAW,EACX;QAAE,IAAI,EAAE,qBAAqB,CAAA;KAAE,CAChC,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,CAAC;CAC1C,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,sBAAsB,EAC5B,SAAS,cAAc,KACtB,MAAM,GAAG,SAwBX,CAAC"}
@@ -5,7 +5,7 @@
5
5
  * Lives in core/semantic so both symbol-types.ts (canonical registration)
6
6
  * and variables.ts (emitter) can depend on it without cycles.
7
7
  */
8
- import { getAwaitedIrType, } from "@tsonic/frontend";
8
+ import { getAwaitedIrType, normalizedUnionType, } from "@tsonic/frontend";
9
9
  import { identifierExpression } from "../format/backend-ast/builders.js";
10
10
  import { resolveTypeAlias, stripNullish } from "./type-resolution.js";
11
11
  import { resolveEffectiveExpressionType } from "./narrowed-expression-types.js";
@@ -16,7 +16,7 @@ import { matchesExpectedEmissionType } from "./expected-type-matching.js";
16
16
  import { getRuntimeUnionAliasReferenceKey } from "./runtime-union-alias-identity.js";
17
17
  import { applyConditionBranchNarrowing } from "./condition-branch-narrowing.js";
18
18
  import { areIrTypesEquivalent } from "./type-equivalence.js";
19
- import { isAssignable } from "./type-compatibility.js";
19
+ import { isAssignableToType } from "./type-compatibility.js";
20
20
  import { getReferenceDeterministicIdentityKey } from "./clr-type-identity.js";
21
21
  /**
22
22
  * Resolve the target type from an `asinterface` expression, unwrapping
@@ -81,6 +81,38 @@ const containsDeterministicReferenceIdentity = (type) => {
81
81
  return false;
82
82
  }
83
83
  };
84
+ const runtimeUnionAliasExpandsToType = (aliasType, expandedType, context) => {
85
+ const resolvedAlias = resolveTypeAlias(stripNullish(aliasType), context);
86
+ const resolvedExpanded = resolveTypeAlias(stripNullish(expandedType), context);
87
+ if (resolvedAlias.kind !== "unionType" ||
88
+ resolvedExpanded.kind !== "unionType" ||
89
+ resolvedAlias.runtimeCarrierFamilyKey === undefined ||
90
+ resolvedAlias.types.length !== resolvedExpanded.types.length) {
91
+ return false;
92
+ }
93
+ const usedExpandedMembers = new Set();
94
+ for (const aliasMember of resolvedAlias.types) {
95
+ let matched = false;
96
+ for (let index = 0; index < resolvedExpanded.types.length; index++) {
97
+ if (usedExpandedMembers.has(index)) {
98
+ continue;
99
+ }
100
+ const expandedMember = resolvedExpanded.types[index];
101
+ if (expandedMember &&
102
+ areIrTypesEquivalent(aliasMember, expandedMember, context)) {
103
+ usedExpandedMembers.add(index);
104
+ matched = true;
105
+ break;
106
+ }
107
+ }
108
+ if (!matched) {
109
+ return false;
110
+ }
111
+ }
112
+ return true;
113
+ };
114
+ const sourceBackedAwaitedTypeMatchesInferredType = (sourceAwaitedType, inferredType, context) => areIrTypesEquivalent(sourceAwaitedType, inferredType, context) ||
115
+ runtimeUnionAliasExpandsToType(sourceAwaitedType, inferredType, context);
84
116
  const resolveSourceBackedInitializerType = (expression, context) => {
85
117
  switch (expression.kind) {
86
118
  case "call":
@@ -95,7 +127,7 @@ const resolveSourceBackedInitializerType = (expression, context) => {
95
127
  if (expression.inferredType &&
96
128
  containsDeterministicReferenceIdentity(sourceAwaitedType) &&
97
129
  containsDeterministicReferenceIdentity(expression.inferredType) &&
98
- !areIrTypesEquivalent(sourceAwaitedType, expression.inferredType, context)) {
130
+ !sourceBackedAwaitedTypeMatchesInferredType(sourceAwaitedType, expression.inferredType, context)) {
99
131
  return expression.inferredType;
100
132
  }
101
133
  return sourceAwaitedType;
@@ -122,13 +154,26 @@ const resolveConditionalInitializerType = (expression, context) => {
122
154
  if (areIrTypesEquivalent(whenTrueType, whenFalseType, context)) {
123
155
  return whenTrueType;
124
156
  }
125
- if (isAssignable(whenTrueType, whenFalseType)) {
157
+ if (isAssignableToType(whenTrueType, whenFalseType, context)) {
126
158
  return whenFalseType;
127
159
  }
128
- if (isAssignable(whenFalseType, whenTrueType)) {
160
+ if (isAssignableToType(whenFalseType, whenTrueType, context)) {
129
161
  return whenTrueType;
130
162
  }
131
- return expression.inferredType;
163
+ return normalizedUnionType([whenTrueType, whenFalseType]);
164
+ };
165
+ const isTransparentFlowTypeAssertion = (expression) => {
166
+ const inner = expression.expression;
167
+ if (inner.kind !== "identifier" && inner.kind !== "memberAccess") {
168
+ return false;
169
+ }
170
+ if (!expression.sourceSpan || !inner.sourceSpan) {
171
+ return false;
172
+ }
173
+ return (expression.sourceSpan.file === inner.sourceSpan.file &&
174
+ expression.sourceSpan.line === inner.sourceSpan.line &&
175
+ expression.sourceSpan.column === inner.sourceSpan.column &&
176
+ expression.sourceSpan.length === inner.sourceSpan.length);
132
177
  };
133
178
  const hasExplicitRuntimeUnionCarrierIdentity = (type, context) => {
134
179
  if (!type) {
@@ -154,7 +199,18 @@ export const resolveSemanticVariableInitializerType = (initializer, context) =>
154
199
  return undefined;
155
200
  }
156
201
  const expression = initializer;
202
+ if (expression.kind === "identifier") {
203
+ const narrowedType = context.narrowedBindings?.get(expression.name)?.type;
204
+ if (narrowedType) {
205
+ return narrowedType;
206
+ }
207
+ }
157
208
  if (expression.kind === "typeAssertion") {
209
+ if (isTransparentFlowTypeAssertion(expression)) {
210
+ return (resolveEffectiveExpressionType(expression.expression, context) ??
211
+ expression.expression.inferredType ??
212
+ expression.targetType);
213
+ }
158
214
  return expression.targetType;
159
215
  }
160
216
  if (expression.kind === "asinterface") {
@@ -1 +1 @@
1
- {"version":3,"file":"variable-type-resolution.js","sourceRoot":"","sources":["../../../src/core/semantic/variable-type-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,gBAAgB,GAIjB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AACrF,OAAO,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,oCAAoC,EAAE,MAAM,wBAAwB,CAAC;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAE/D,qEAAqE;IACrE,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;QACxE,MAAM,aAAa,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM,OAAO,GACX,aAAa,EAAE,IAAI,KAAK,MAAM;YAC5B,CAAC,CAAC,CAAC,qBAAqB,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YACtD,CAAC,CAAC,EAAE,CAAC;QACT,IAAI,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,KAAK;gBAAE,OAAO,4BAA4B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9D,IACE,SAAS,CAAC,IAAI,KAAK,eAAe;gBAClC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EACnC,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IACE,SAAS,CAAC,IAAI,KAAK,YAAY;gBAC/B,SAAS,CAAC,IAAI,KAAK,kBAAkB,EACrC,CAAC;gBACD,SAAS;YACX,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,sCAAsC,GAAG,CAAC,IAAY,EAAW,EAAE;IACvE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,CACL,oCAAoC,CAAC,IAAI,CAAC,KAAK,SAAS;gBACxD,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,sCAAsC,CAAC;oBAC/D,KAAK,CAAC,CACT,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,sCAAsC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClE,KAAK,gBAAgB;YACnB,OAAO,CACL,sCAAsC,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpD,sCAAsC,CAAC,IAAI,CAAC,SAAS,CAAC,CACvD,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QACxE,KAAK,cAAc;YACjB,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,IAAI,CAClB,CAAC,SAAS,EAAE,EAAE,CACZ,CAAC,CAAC,SAAS,CAAC,IAAI;gBAChB,sCAAsC,CAAC,SAAS,CAAC,IAAI,CAAC,CACzD,IAAI,sCAAsC,CAAC,IAAI,CAAC,UAAU,CAAC,CAC7D,CAAC;QACJ,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QACjE;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,UAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK;YACR,OAAO,UAAU,CAAC,sBAAsB,CAAC;QAC3C,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,iBAAiB,GAAG,kCAAkC,CAC1D,UAAU,CAAC,UAAU,EACrB,OAAO,CACR,CAAC;YACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACvB,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,iBAAiB,GACrB,gBAAgB,CAAC,iBAAiB,CAAC,IAAI,iBAAiB,CAAC;YAC3D,IACE,UAAU,CAAC,YAAY;gBACvB,sCAAsC,CAAC,iBAAiB,CAAC;gBACzD,sCAAsC,CAAC,UAAU,CAAC,YAAY,CAAC;gBAC/D,CAAC,oBAAoB,CAAC,iBAAiB,EAAE,UAAU,CAAC,YAAY,EAAE,OAAO,CAAC,EAC1E,CAAC;gBACD,OAAO,UAAU,CAAC,YAAY,CAAC;YACjC,CAAC;YAED,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,KAAmB,EAAE,GAAmB,EAAE,EAAE,CAC9E,CAAC,oBAAoB,CAAC,iBAAiB,CAAC,EAAE,GAAG,CAG5C,CAAC;AAEJ,MAAM,oCAAoC,GAAG,CAC3C,MAAoB,EACpB,OAAuB,EACH,EAAE,CACtB,kCAAkC,CAAC,MAAM,EAAE,OAAO,CAAC;IACnD,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC;IAC/C,MAAM,CAAC,YAAY,CAAC;AAEtB,MAAM,iCAAiC,GAAG,CACxC,UAA0D,EAC1D,OAAuB,EACH,EAAE;IACtB,MAAM,aAAa,GAAG,6BAA6B,CACjD,UAAU,CAAC,SAAS,EACpB,QAAQ,EACR,OAAO,EACP,0BAA0B,CAC3B,CAAC;IACF,MAAM,YAAY,GAAG,6BAA6B,CAChD,UAAU,CAAC,SAAS,EACpB,OAAO,EACP,OAAO,EACP,0BAA0B,CAC3B,CAAC;IACF,MAAM,YAAY,GAAG,oCAAoC,CACvD,UAAU,CAAC,QAAQ,EACnB,aAAa,CACd,CAAC;IACF,MAAM,aAAa,GAAG,oCAAoC,CACxD,UAAU,CAAC,SAAS,EACpB,YAAY,CACb,CAAC;IAEF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,aAAa,IAAI,UAAU,CAAC,YAAY,CAAC;IAClD,CAAC;IAED,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,oBAAoB,CAAC,YAAY,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/D,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,YAAY,CAAC,YAAY,EAAE,aAAa,CAAC,EAAE,CAAC;QAC9C,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,IAAI,YAAY,CAAC,aAAa,EAAE,YAAY,CAAC,EAAE,CAAC;QAC9C,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,OAAO,UAAU,CAAC,YAAY,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,sCAAsC,GAAG,CAC7C,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,gCAAgC,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,QAAQ,CAAC,uBAAuB,KAAK,SAAS,CAC/C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,2CAA2C,GAAG,CAClD,YAAgC,EAChC,sBAA0C,EAC1C,OAAuB,EACC,EAAE;IAC1B,IACE,CAAC,YAAY;QACb,CAAC,sCAAsC,CAAC,YAAY,EAAE,OAAO,CAAC,EAC9D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CACL,CAAC,sBAAsB;QACvB,2BAA2B,CACzB,sBAAsB,EACtB,YAAY,EACZ,OAAO,CACR,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,WAMa,EACb,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,WAA2B,CAAC;IAE/C,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACxC,OAAO,UAAU,CAAC,UAAU,CAAC;IAC/B,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACtC,OAAO,4BAA4B,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACtC,OAAO,iCAAiC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,gBAAgB,GAAG,kCAAkC,CACzD,UAAU,EACV,OAAO,CACR,CAAC;IACF,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,OAAO,CACL,8BAA8B,CAAC,UAAU,EAAE,OAAO,CAAC;QACnD,UAAU,CAAC,YAAY,CACxB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,YAAgC,EAChC,WAMa,EACb,OAAuB,EACH,EAAE;IACtB,2DAA2D;IAC3D,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,qEAAqE;IACrE,+DAA+D;IAC/D,oEAAoE;IACpE,mEAAmE;IACnE,yDAAyD;IACzD,IAAI,WAAW,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,sDAAsD;IACtD,IACE,WAAW,CAAC,IAAI,KAAK,eAAe;QACpC,WAAW,CAAC,IAAI,KAAK,aAAa,EAClC,CAAC;QACD,OAAO,sCAAsC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,oDAAoD;IACpD,IAAI,WAAW,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC5C,OAAQ,WAAkD,CAAC,YAAY,CAAC;IAC1E,CAAC;IAED,qEAAqE;IACrE,OAAO,sCAAsC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;AACtE,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,WAMa,EACb,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,sCAAsC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9E,OAAO,2BAA2B,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC;AACpE,CAAC,CAAC;AAWF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA4B,EAC5B,OAAuB,EACH,EAAE;IACtB,MAAM,sBAAsB,GAAG,IAAI,CAAC,WAAW;QAC7C,CAAC,CAAC,0BAA0B,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;QACvD,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,uBAAuB,GAC3B,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW;QAC5B,CAAC,CAAC,sCAAsC,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;QACnE,CAAC,CAAC,SAAS,CAAC;IAChB,IACE,2CAA2C,CACzC,uBAAuB,EACvB,sBAAsB,EACtB,OAAO,CACR,EACD,CAAC;QACD,OAAO,uBAAuB,CAAC;IACjC,CAAC;IAED,MAAM,UAAU,GACd,IAAI,CAAC,IAAI;QACT,sBAAsB;QACtB,uCAAuC,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAErE,OAAO,2BAA2B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC1D,CAAC,CAAC"}
1
+ {"version":3,"file":"variable-type-resolution.js","sourceRoot":"","sources":["../../../src/core/semantic/variable-type-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,gBAAgB,EAIhB,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AACrF,OAAO,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,oCAAoC,EAAE,MAAM,wBAAwB,CAAC;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAE/D,qEAAqE;IACrE,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;QACxE,MAAM,aAAa,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM,OAAO,GACX,aAAa,EAAE,IAAI,KAAK,MAAM;YAC5B,CAAC,CAAC,CAAC,qBAAqB,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YACtD,CAAC,CAAC,EAAE,CAAC;QACT,IAAI,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,KAAK;gBAAE,OAAO,4BAA4B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9D,IACE,SAAS,CAAC,IAAI,KAAK,eAAe;gBAClC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EACnC,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IACE,SAAS,CAAC,IAAI,KAAK,YAAY;gBAC/B,SAAS,CAAC,IAAI,KAAK,kBAAkB,EACrC,CAAC;gBACD,SAAS;YACX,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,sCAAsC,GAAG,CAAC,IAAY,EAAW,EAAE;IACvE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,CACL,oCAAoC,CAAC,IAAI,CAAC,KAAK,SAAS;gBACxD,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,sCAAsC,CAAC;oBAC/D,KAAK,CAAC,CACT,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,sCAAsC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClE,KAAK,gBAAgB;YACnB,OAAO,CACL,sCAAsC,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpD,sCAAsC,CAAC,IAAI,CAAC,SAAS,CAAC,CACvD,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QACxE,KAAK,cAAc;YACjB,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,IAAI,CAClB,CAAC,SAAS,EAAE,EAAE,CACZ,CAAC,CAAC,SAAS,CAAC,IAAI;gBAChB,sCAAsC,CAAC,SAAS,CAAC,IAAI,CAAC,CACzD,IAAI,sCAAsC,CAAC,IAAI,CAAC,UAAU,CAAC,CAC7D,CAAC;QACJ,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QACjE;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,SAAiB,EACjB,YAAoB,EACpB,OAAuB,EACd,EAAE;IACX,MAAM,aAAa,GAAG,gBAAgB,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;IACzE,MAAM,gBAAgB,GAAG,gBAAgB,CACvC,YAAY,CAAC,YAAY,CAAC,EAC1B,OAAO,CACR,CAAC;IACF,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;QAClC,gBAAgB,CAAC,IAAI,KAAK,WAAW;QACrC,aAAa,CAAC,uBAAuB,KAAK,SAAS;QACnD,aAAa,CAAC,KAAK,CAAC,MAAM,KAAK,gBAAgB,CAAC,KAAK,CAAC,MAAM,EAC5D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,KAAK,MAAM,WAAW,IAAI,aAAa,CAAC,KAAK,EAAE,CAAC;QAC9C,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACnE,IAAI,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,SAAS;YACX,CAAC;YAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACrD,IACE,cAAc;gBACd,oBAAoB,CAAC,WAAW,EAAE,cAAc,EAAE,OAAO,CAAC,EAC1D,CAAC;gBACD,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC/B,OAAO,GAAG,IAAI,CAAC;gBACf,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,0CAA0C,GAAG,CACjD,iBAAyB,EACzB,YAAoB,EACpB,OAAuB,EACd,EAAE,CACX,oBAAoB,CAAC,iBAAiB,EAAE,YAAY,EAAE,OAAO,CAAC;IAC9D,8BAA8B,CAAC,iBAAiB,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;AAE3E,MAAM,kCAAkC,GAAG,CACzC,UAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK;YACR,OAAO,UAAU,CAAC,sBAAsB,CAAC;QAC3C,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,iBAAiB,GAAG,kCAAkC,CAC1D,UAAU,CAAC,UAAU,EACrB,OAAO,CACR,CAAC;YACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACvB,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,iBAAiB,GACrB,gBAAgB,CAAC,iBAAiB,CAAC,IAAI,iBAAiB,CAAC;YAC3D,IACE,UAAU,CAAC,YAAY;gBACvB,sCAAsC,CAAC,iBAAiB,CAAC;gBACzD,sCAAsC,CAAC,UAAU,CAAC,YAAY,CAAC;gBAC/D,CAAC,0CAA0C,CACzC,iBAAiB,EACjB,UAAU,CAAC,YAAY,EACvB,OAAO,CACR,EACD,CAAC;gBACD,OAAO,UAAU,CAAC,YAAY,CAAC;YACjC,CAAC;YAED,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,KAAmB,EAAE,GAAmB,EAAE,EAAE,CAC9E,CAAC,oBAAoB,CAAC,iBAAiB,CAAC,EAAE,GAAG,CAG5C,CAAC;AAEJ,MAAM,oCAAoC,GAAG,CAC3C,MAAoB,EACpB,OAAuB,EACH,EAAE,CACtB,kCAAkC,CAAC,MAAM,EAAE,OAAO,CAAC;IACnD,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC;IAC/C,MAAM,CAAC,YAAY,CAAC;AAEtB,MAAM,iCAAiC,GAAG,CACxC,UAA0D,EAC1D,OAAuB,EACH,EAAE;IACtB,MAAM,aAAa,GAAG,6BAA6B,CACjD,UAAU,CAAC,SAAS,EACpB,QAAQ,EACR,OAAO,EACP,0BAA0B,CAC3B,CAAC;IACF,MAAM,YAAY,GAAG,6BAA6B,CAChD,UAAU,CAAC,SAAS,EACpB,OAAO,EACP,OAAO,EACP,0BAA0B,CAC3B,CAAC;IACF,MAAM,YAAY,GAAG,oCAAoC,CACvD,UAAU,CAAC,QAAQ,EACnB,aAAa,CACd,CAAC;IACF,MAAM,aAAa,GAAG,oCAAoC,CACxD,UAAU,CAAC,SAAS,EACpB,YAAY,CACb,CAAC;IAEF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,aAAa,IAAI,UAAU,CAAC,YAAY,CAAC;IAClD,CAAC;IAED,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,oBAAoB,CAAC,YAAY,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/D,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,kBAAkB,CAAC,YAAY,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,CAAC;QAC7D,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,IAAI,kBAAkB,CAAC,aAAa,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QAC7D,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,OAAO,mBAAmB,CAAC,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,UAA4D,EACnD,EAAE;IACX,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC;IACpC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CACL,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,CAAC,IAAI;QACpD,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,CAAC,IAAI;QACpD,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,UAAU,CAAC,MAAM;QACxD,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,UAAU,CAAC,MAAM,CACzD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sCAAsC,GAAG,CAC7C,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,gCAAgC,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,QAAQ,CAAC,uBAAuB,KAAK,SAAS,CAC/C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,2CAA2C,GAAG,CAClD,YAAgC,EAChC,sBAA0C,EAC1C,OAAuB,EACC,EAAE;IAC1B,IACE,CAAC,YAAY;QACb,CAAC,sCAAsC,CAAC,YAAY,EAAE,OAAO,CAAC,EAC9D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CACL,CAAC,sBAAsB;QACvB,2BAA2B,CAAC,sBAAsB,EAAE,YAAY,EAAE,OAAO,CAAC,CAC3E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,WAOa,EACb,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,WAA2B,CAAC;IAE/C,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACrC,MAAM,YAAY,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;QAC1E,IAAI,YAAY,EAAE,CAAC;YACjB,OAAO,YAAY,CAAC;QACtB,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACxC,IAAI,8BAA8B,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/C,OAAO,CACL,8BAA8B,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC;gBAC9D,UAAU,CAAC,UAAU,CAAC,YAAY;gBAClC,UAAU,CAAC,UAAU,CACtB,CAAC;QACJ,CAAC;QACD,OAAO,UAAU,CAAC,UAAU,CAAC;IAC/B,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACtC,OAAO,4BAA4B,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACtC,OAAO,iCAAiC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,gBAAgB,GAAG,kCAAkC,CACzD,UAAU,EACV,OAAO,CACR,CAAC;IACF,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,OAAO,CACL,8BAA8B,CAAC,UAAU,EAAE,OAAO,CAAC;QACnD,UAAU,CAAC,YAAY,CACxB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,YAAgC,EAChC,WAMa,EACb,OAAuB,EACH,EAAE;IACtB,2DAA2D;IAC3D,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,qEAAqE;IACrE,+DAA+D;IAC/D,oEAAoE;IACpE,mEAAmE;IACnE,yDAAyD;IACzD,IAAI,WAAW,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,sDAAsD;IACtD,IACE,WAAW,CAAC,IAAI,KAAK,eAAe;QACpC,WAAW,CAAC,IAAI,KAAK,aAAa,EAClC,CAAC;QACD,OAAO,sCAAsC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,oDAAoD;IACpD,IAAI,WAAW,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC5C,OAAQ,WAAkD,CAAC,YAAY,CAAC;IAC1E,CAAC;IAED,qEAAqE;IACrE,OAAO,sCAAsC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;AACtE,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,WAMa,EACb,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,sCAAsC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9E,OAAO,2BAA2B,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC;AACpE,CAAC,CAAC;AAWF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA4B,EAC5B,OAAuB,EACH,EAAE;IACtB,MAAM,sBAAsB,GAAG,IAAI,CAAC,WAAW;QAC7C,CAAC,CAAC,0BAA0B,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;QACvD,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,uBAAuB,GAC3B,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW;QAC5B,CAAC,CAAC,sCAAsC,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;QACnE,CAAC,CAAC,SAAS,CAAC;IAChB,IACE,2CAA2C,CACzC,uBAAuB,EACvB,sBAAsB,EACtB,OAAO,CACR,EACD,CAAC;QACD,OAAO,uBAAuB,CAAC;IACjC,CAAC;IAED,MAAM,UAAU,GACd,IAAI,CAAC,IAAI;QACT,sBAAsB;QACtB,uCAAuC,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAErE,OAAO,2BAA2B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC1D,CAAC,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"duplicate-type-suppression.d.ts","sourceRoot":"","sources":["../src/duplicate-type-suppression.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EACV,UAAU,EACV,QAAQ,EAGT,MAAM,kBAAkB,CAAC;AAU1B,MAAM,MAAM,mBAAmB,GAC3B;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,yBAAyB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjE,GACD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAA;CAAE,CAAC;AAmMnE,eAAO,MAAM,4BAA4B,GACvC,SAAS,SAAS,QAAQ,EAAE,KAC3B,mBA6HF,CAAC"}
1
+ {"version":3,"file":"duplicate-type-suppression.d.ts","sourceRoot":"","sources":["../src/duplicate-type-suppression.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EACV,UAAU,EACV,QAAQ,EAGT,MAAM,kBAAkB,CAAC;AAU1B,MAAM,MAAM,mBAAmB,GAC3B;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,yBAAyB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjE,GACD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAA;CAAE,CAAC;AA+LnE,eAAO,MAAM,4BAA4B,GACvC,SAAS,SAAS,QAAQ,EAAE,KAC3B,mBA6HF,CAAC"}