@tsonic/emitter 0.0.77 → 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 (186) hide show
  1. package/dist/.tsbuildinfo +1 -1
  2. package/dist/array.test.js +5 -1
  3. package/dist/array.test.js.map +1 -1
  4. package/dist/core/module-emitter-cases/static-containers.test.js +2 -1
  5. package/dist/core/module-emitter-cases/static-containers.test.js.map +1 -1
  6. package/dist/core/semantic/array-expected-types.js +1 -1
  7. package/dist/core/semantic/array-expected-types.js.map +1 -1
  8. package/dist/core/semantic/assignment-flow.d.ts.map +1 -1
  9. package/dist/core/semantic/assignment-flow.js +2 -1
  10. package/dist/core/semantic/assignment-flow.js.map +1 -1
  11. package/dist/core/semantic/direct-value-surfaces.js +2 -1
  12. package/dist/core/semantic/direct-value-surfaces.js.map +1 -1
  13. package/dist/core/semantic/instanceof-predicate-refinements.js +1 -1
  14. package/dist/core/semantic/instanceof-predicate-refinements.js.map +1 -1
  15. package/dist/core/semantic/mutable-storage-helpers.d.ts.map +1 -1
  16. package/dist/core/semantic/mutable-storage-helpers.js +3 -2
  17. package/dist/core/semantic/mutable-storage-helpers.js.map +1 -1
  18. package/dist/core/semantic/narrowed-expression-types.js +1 -1
  19. package/dist/core/semantic/narrowed-expression-types.js.map +1 -1
  20. package/dist/core/semantic/narrowed-union-resolution.js +1 -1
  21. package/dist/core/semantic/narrowed-union-resolution.js.map +1 -1
  22. package/dist/core/semantic/nullable-typeof-refinements.d.ts.map +1 -1
  23. package/dist/core/semantic/nullable-typeof-refinements.js +8 -31
  24. package/dist/core/semantic/nullable-typeof-refinements.js.map +1 -1
  25. package/dist/core/semantic/runtime-union-frame.d.ts +6 -0
  26. package/dist/core/semantic/runtime-union-frame.d.ts.map +1 -0
  27. package/dist/core/semantic/runtime-union-frame.js +130 -0
  28. package/dist/core/semantic/runtime-union-frame.js.map +1 -0
  29. package/dist/core/semantic/runtime-unions.d.ts +3 -4
  30. package/dist/core/semantic/runtime-unions.d.ts.map +1 -1
  31. package/dist/core/semantic/runtime-unions.js +4 -129
  32. package/dist/core/semantic/runtime-unions.js.map +1 -1
  33. package/dist/core/semantic/semantic-union-members.js +1 -1
  34. package/dist/core/semantic/semantic-union-members.js.map +1 -1
  35. package/dist/core/semantic/storage-types.d.ts +3 -0
  36. package/dist/core/semantic/storage-types.d.ts.map +1 -1
  37. package/dist/core/semantic/storage-types.js +13 -2
  38. package/dist/core/semantic/storage-types.js.map +1 -1
  39. package/dist/core/semantic/surface-member-semantics.d.ts +14 -0
  40. package/dist/core/semantic/surface-member-semantics.d.ts.map +1 -0
  41. package/dist/core/semantic/surface-member-semantics.js +41 -0
  42. package/dist/core/semantic/surface-member-semantics.js.map +1 -0
  43. package/dist/core/semantic/ternary-guards.d.ts +1 -1
  44. package/dist/core/semantic/ternary-guards.d.ts.map +1 -1
  45. package/dist/core/semantic/ternary-guards.js +2 -1
  46. package/dist/core/semantic/ternary-guards.js.map +1 -1
  47. package/dist/core/semantic/typeof-comparison.d.ts +14 -0
  48. package/dist/core/semantic/typeof-comparison.d.ts.map +1 -0
  49. package/dist/core/semantic/typeof-comparison.js +47 -0
  50. package/dist/core/semantic/typeof-comparison.js.map +1 -0
  51. package/dist/core/semantic/union-semantics.js +1 -1
  52. package/dist/core/semantic/union-semantics.js.map +1 -1
  53. package/dist/emitter-types/context.d.ts.map +1 -1
  54. package/dist/emitter-types/context.js +1 -0
  55. package/dist/emitter-types/context.js.map +1 -1
  56. package/dist/expressions/access-binding.d.ts.map +1 -1
  57. package/dist/expressions/access-binding.js +18 -32
  58. package/dist/expressions/access-binding.js.map +1 -1
  59. package/dist/expressions/access-computed.d.ts.map +1 -1
  60. package/dist/expressions/access-computed.js +3 -7
  61. package/dist/expressions/access-computed.js.map +1 -1
  62. package/dist/expressions/access-function-length.d.ts +13 -0
  63. package/dist/expressions/access-function-length.d.ts.map +1 -0
  64. package/dist/expressions/access-function-length.js +115 -0
  65. package/dist/expressions/access-function-length.js.map +1 -0
  66. package/dist/expressions/access-length.d.ts +2 -4
  67. package/dist/expressions/access-length.d.ts.map +1 -1
  68. package/dist/expressions/access-length.js +7 -23
  69. package/dist/expressions/access-length.js.map +1 -1
  70. package/dist/expressions/access-length.test.js +17 -0
  71. package/dist/expressions/access-length.test.js.map +1 -1
  72. package/dist/expressions/access-resolution-receivers.d.ts.map +1 -1
  73. package/dist/expressions/access-resolution-receivers.js +10 -12
  74. package/dist/expressions/access-resolution-receivers.js.map +1 -1
  75. package/dist/expressions/access.d.ts.map +1 -1
  76. package/dist/expressions/access.js +7 -19
  77. package/dist/expressions/access.js.map +1 -1
  78. package/dist/expressions/architecture-invariants.test.js +94 -0
  79. package/dist/expressions/architecture-invariants.test.js.map +1 -1
  80. package/dist/expressions/awaitable-adaptation.d.ts +15 -0
  81. package/dist/expressions/awaitable-adaptation.d.ts.map +1 -0
  82. package/dist/expressions/awaitable-adaptation.js +174 -0
  83. package/dist/expressions/awaitable-adaptation.js.map +1 -0
  84. package/dist/expressions/calls/call-arguments-emit.d.ts.map +1 -1
  85. package/dist/expressions/calls/call-arguments-emit.js +20 -2
  86. package/dist/expressions/calls/call-arguments-emit.js.map +1 -1
  87. package/dist/expressions/calls/call-arguments-helpers.js +2 -2
  88. package/dist/expressions/calls/call-arguments-helpers.js.map +1 -1
  89. package/dist/expressions/calls/call-array-interop.d.ts +1 -1
  90. package/dist/expressions/calls/call-array-interop.d.ts.map +1 -1
  91. package/dist/expressions/calls/call-array-interop.js +1 -1
  92. package/dist/expressions/calls/call-array-interop.js.map +1 -1
  93. package/dist/expressions/calls/call-array-mutation.d.ts +0 -1
  94. package/dist/expressions/calls/call-array-mutation.d.ts.map +1 -1
  95. package/dist/expressions/calls/call-array-mutation.js +5 -7
  96. package/dist/expressions/calls/call-array-mutation.js.map +1 -1
  97. package/dist/expressions/calls/call-array-wrapper.d.ts.map +1 -1
  98. package/dist/expressions/calls/call-array-wrapper.js +3 -8
  99. package/dist/expressions/calls/call-array-wrapper.js.map +1 -1
  100. package/dist/expressions/expected-type-adaptation.d.ts.map +1 -1
  101. package/dist/expressions/expected-type-adaptation.js +15 -1
  102. package/dist/expressions/expected-type-adaptation.js.map +1 -1
  103. package/dist/expressions/identifier-storage/broad-storage-target.d.ts +4 -0
  104. package/dist/expressions/identifier-storage/broad-storage-target.d.ts.map +1 -0
  105. package/dist/expressions/identifier-storage/broad-storage-target.js +26 -0
  106. package/dist/expressions/identifier-storage/broad-storage-target.js.map +1 -0
  107. package/dist/expressions/identifier-storage/implicit-storage.d.ts +14 -0
  108. package/dist/expressions/identifier-storage/implicit-storage.d.ts.map +1 -0
  109. package/dist/expressions/identifier-storage/implicit-storage.js +44 -0
  110. package/dist/expressions/identifier-storage/implicit-storage.js.map +1 -0
  111. package/dist/expressions/identifier-storage/materialized-narrowed.d.ts +7 -0
  112. package/dist/expressions/identifier-storage/materialized-narrowed.d.ts.map +1 -0
  113. package/dist/expressions/identifier-storage/materialized-narrowed.js +92 -0
  114. package/dist/expressions/identifier-storage/materialized-narrowed.js.map +1 -0
  115. package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts +14 -0
  116. package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts.map +1 -0
  117. package/dist/expressions/identifier-storage/narrowed-storage-compatible.js +168 -0
  118. package/dist/expressions/identifier-storage/narrowed-storage-compatible.js.map +1 -0
  119. package/dist/expressions/identifier-storage/reified-storage.d.ts +7 -0
  120. package/dist/expressions/identifier-storage/reified-storage.d.ts.map +1 -0
  121. package/dist/expressions/identifier-storage/reified-storage.js +25 -0
  122. package/dist/expressions/identifier-storage/reified-storage.js.map +1 -0
  123. package/dist/expressions/identifier-storage/runtime-subset.d.ts +14 -0
  124. package/dist/expressions/identifier-storage/runtime-subset.d.ts.map +1 -0
  125. package/dist/expressions/identifier-storage/runtime-subset.js +100 -0
  126. package/dist/expressions/identifier-storage/runtime-subset.js.map +1 -0
  127. package/dist/expressions/identifier-storage/storage-compatible.d.ts +10 -0
  128. package/dist/expressions/identifier-storage/storage-compatible.d.ts.map +1 -0
  129. package/dist/expressions/identifier-storage/storage-compatible.js +76 -0
  130. package/dist/expressions/identifier-storage/storage-compatible.js.map +1 -0
  131. package/dist/expressions/identifier-storage/storage-surface-match.d.ts +4 -0
  132. package/dist/expressions/identifier-storage/storage-surface-match.d.ts.map +1 -0
  133. package/dist/expressions/identifier-storage/storage-surface-match.js +95 -0
  134. package/dist/expressions/identifier-storage/storage-surface-match.js.map +1 -0
  135. package/dist/expressions/identifier-storage/storage-surface-shared.d.ts +12 -0
  136. package/dist/expressions/identifier-storage/storage-surface-shared.d.ts.map +1 -0
  137. package/dist/expressions/identifier-storage/storage-surface-shared.js +77 -0
  138. package/dist/expressions/identifier-storage/storage-surface-shared.js.map +1 -0
  139. package/dist/expressions/identifier-storage/storage-surface.d.ts +9 -0
  140. package/dist/expressions/identifier-storage/storage-surface.d.ts.map +1 -0
  141. package/dist/expressions/identifier-storage/storage-surface.js +9 -0
  142. package/dist/expressions/identifier-storage/storage-surface.js.map +1 -0
  143. package/dist/expressions/identifier-storage.d.ts +1 -47
  144. package/dist/expressions/identifier-storage.d.ts.map +1 -1
  145. package/dist/expressions/identifier-storage.js +1 -652
  146. package/dist/expressions/identifier-storage.js.map +1 -1
  147. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js +7 -1
  148. package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js.map +1 -1
  149. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js +4 -1
  150. package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js.map +1 -1
  151. package/dist/expressions/index-cases/helpers.d.ts +1 -0
  152. package/dist/expressions/index-cases/helpers.d.ts.map +1 -1
  153. package/dist/expressions/index-cases/helpers.js +28 -0
  154. package/dist/expressions/index-cases/helpers.js.map +1 -1
  155. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js +18 -9
  156. package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js.map +1 -1
  157. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js +5 -5
  158. package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js.map +1 -1
  159. package/dist/expressions/lambda-body.js +3 -3
  160. package/dist/expressions/lambda-body.js.map +1 -1
  161. package/dist/expressions/operators/binary-special-ops.d.ts.map +1 -1
  162. package/dist/expressions/operators/binary-special-ops.js +4 -30
  163. package/dist/expressions/operators/binary-special-ops.js.map +1 -1
  164. package/dist/expressions/runtime-union-adaptation-upcast.d.ts +1 -1
  165. package/dist/expressions/runtime-union-adaptation-upcast.d.ts.map +1 -1
  166. package/dist/expressions/runtime-union-adaptation-upcast.js +13 -0
  167. package/dist/expressions/runtime-union-adaptation-upcast.js.map +1 -1
  168. package/dist/integration-cases/may14-downstream-contracts.test.js +372 -0
  169. package/dist/integration-cases/may14-downstream-contracts.test.js.map +1 -1
  170. package/dist/statements/classes/members/properties.d.ts.map +1 -1
  171. package/dist/statements/classes/members/properties.js +2 -3
  172. package/dist/statements/classes/members/properties.js.map +1 -1
  173. package/dist/statements/control/conditionals/branch-context.js +3 -3
  174. package/dist/statements/control/conditionals/branch-context.js.map +1 -1
  175. package/dist/statements/control/conditionals/guard-extraction.d.ts.map +1 -1
  176. package/dist/statements/control/conditionals/guard-extraction.js +7 -32
  177. package/dist/statements/control/conditionals/guard-extraction.js.map +1 -1
  178. package/dist/statements/control/loops.js +2 -2
  179. package/dist/statements/control/loops.js.map +1 -1
  180. package/dist/types/unions.js +2 -1
  181. package/dist/types/unions.js.map +1 -1
  182. package/package.json +2 -2
  183. package/dist/core/semantic/js-array-surface-members.d.ts +0 -4
  184. package/dist/core/semantic/js-array-surface-members.d.ts.map +0 -1
  185. package/dist/core/semantic/js-array-surface-members.js +0 -32
  186. package/dist/core/semantic/js-array-surface-members.js.map +0 -1
@@ -0,0 +1,168 @@
1
+ import { identifierExpression } from "../../core/format/backend-ast/builders.js";
2
+ import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
3
+ import { matchesExpectedEmissionType, requiresValueTypeMaterialization, } from "../../core/semantic/expected-type-matching.js";
4
+ import { tryResolveRuntimeUnionMemberType } from "../../core/semantic/narrowed-expression-types.js";
5
+ import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
6
+ import { stripNullish } from "../../core/semantic/type-resolution.js";
7
+ import { isStorageErasedBroadObjectPassThroughType } from "../../core/semantic/broad-object-types.js";
8
+ import { isBroadStorageTarget } from "./broad-storage-target.js";
9
+ import { matchesEmittedStorageSurface } from "./storage-surface-match.js";
10
+ import { preservesMaterializedValueTypeNarrowing } from "./storage-surface-shared.js";
11
+ export const tryEmitStorageCompatibleNarrowedIdentifier = (expr, narrowed, context, expectedType) => {
12
+ if (!narrowed.type && !expectedType) {
13
+ return undefined;
14
+ }
15
+ const remappedLocal = context.localNameMap?.get(expr.name);
16
+ const storageType = narrowed.storageType ?? context.localValueTypes?.get(expr.name);
17
+ if (!storageType) {
18
+ return undefined;
19
+ }
20
+ const targetType = expectedType ?? narrowed.type;
21
+ if (!targetType) {
22
+ return undefined;
23
+ }
24
+ const narrowedProjectionType = narrowed.type ??
25
+ tryResolveRuntimeUnionMemberType(narrowed.sourceType ?? storageType, narrowed.exprAst, context);
26
+ const shouldAvoidProjectedRuntimeUnionStorageReuse = narrowed.storageExprAst !== undefined &&
27
+ narrowed.storageExprAst !== narrowed.exprAst &&
28
+ willCarryAsRuntimeUnion(storageType, context) &&
29
+ !!narrowedProjectionType &&
30
+ !willCarryAsRuntimeUnion(narrowedProjectionType, context);
31
+ const shouldAvoidBroadStorageReuse = !!expectedType &&
32
+ !!narrowed.type &&
33
+ isBroadStorageTarget(expectedType, context) &&
34
+ willCarryAsRuntimeUnion(storageType, context) &&
35
+ !willCarryAsRuntimeUnion(narrowed.type, context);
36
+ const shouldAvoidBroadCarrierReuseForProjectedNarrowing = !!expectedType &&
37
+ isBroadStorageTarget(expectedType, context) &&
38
+ narrowed.carrierExprAst !== undefined &&
39
+ narrowed.carrierExprAst !== narrowed.exprAst;
40
+ const shouldPreserveMaterializedValueNarrowing = preservesMaterializedValueTypeNarrowing(narrowed, context);
41
+ const shouldAvoidStorageReuse = shouldAvoidBroadStorageReuse ||
42
+ shouldAvoidProjectedRuntimeUnionStorageReuse ||
43
+ shouldAvoidBroadCarrierReuseForProjectedNarrowing ||
44
+ shouldPreserveMaterializedValueNarrowing;
45
+ const originalRuntimeCarrierAst = narrowed.carrierExprAst ??
46
+ narrowed.storageExprAst ??
47
+ (remappedLocal ? identifierExpression(remappedLocal) : undefined);
48
+ const originalRuntimeCarrierType = narrowed.carrierExprAst
49
+ ? (narrowed.carrierType ?? context.localValueTypes?.get(expr.name))
50
+ : storageType;
51
+ const [sameSourceCarrierSurface, carrierSurfaceContext] = expectedType && originalRuntimeCarrierType
52
+ ? matchesEmittedStorageSurface(stripNullish(originalRuntimeCarrierType), expectedType, context)
53
+ : [false, context];
54
+ const canReuseOriginalRuntimeCarrier = !!expectedType &&
55
+ !!originalRuntimeCarrierAst &&
56
+ !!originalRuntimeCarrierType &&
57
+ willCarryAsRuntimeUnion(expectedType, context) &&
58
+ sameSourceCarrierSurface &&
59
+ !shouldAvoidStorageReuse &&
60
+ (!narrowedProjectionType ||
61
+ !willCarryAsRuntimeUnion(narrowedProjectionType, context));
62
+ const canReuseOriginalCarrierSurface = !!expectedType &&
63
+ !!originalRuntimeCarrierAst &&
64
+ !!originalRuntimeCarrierType &&
65
+ sameSourceCarrierSurface &&
66
+ !shouldAvoidStorageReuse &&
67
+ !requiresValueTypeMaterialization(originalRuntimeCarrierType, expectedType, carrierSurfaceContext);
68
+ if (expectedType &&
69
+ isBroadStorageTarget(expectedType, context) &&
70
+ !shouldAvoidStorageReuse) {
71
+ const originalSourceCarrierType = narrowed.carrierType ??
72
+ narrowed.sourceType ??
73
+ context.localValueTypes?.get(expr.name);
74
+ if (originalSourceCarrierType &&
75
+ !willCarryAsRuntimeUnion(originalSourceCarrierType, context) &&
76
+ (matchesExpectedEmissionType(stripNullish(originalSourceCarrierType), expectedType, context) ||
77
+ isStorageErasedBroadObjectPassThroughType(originalSourceCarrierType, context))) {
78
+ return [
79
+ identifierExpression(remappedLocal ?? escapeCSharpIdentifier(expr.name)),
80
+ context,
81
+ ];
82
+ }
83
+ if (narrowed.carrierExprAst) {
84
+ return [narrowed.carrierExprAst, context];
85
+ }
86
+ if (remappedLocal) {
87
+ return [identifierExpression(remappedLocal), context];
88
+ }
89
+ if (narrowed.storageExprAst) {
90
+ return [narrowed.storageExprAst, context];
91
+ }
92
+ }
93
+ if (canReuseOriginalRuntimeCarrier) {
94
+ return [originalRuntimeCarrierAst, carrierSurfaceContext];
95
+ }
96
+ if (canReuseOriginalCarrierSurface) {
97
+ return [originalRuntimeCarrierAst, carrierSurfaceContext];
98
+ }
99
+ const [sameSurface, nextContext] = matchesEmittedStorageSurface(storageType, targetType, context);
100
+ if (!sameSurface) {
101
+ return undefined;
102
+ }
103
+ if (!narrowed.storageExprAst) {
104
+ if (!remappedLocal) {
105
+ return undefined;
106
+ }
107
+ return [identifierExpression(remappedLocal), nextContext];
108
+ }
109
+ if (narrowed.exprAst.kind === "memberAccessExpression" &&
110
+ narrowed.exprAst.memberName === "Value" &&
111
+ narrowed.exprAst.expression === narrowed.storageExprAst) {
112
+ return undefined;
113
+ }
114
+ if (shouldAvoidStorageReuse) {
115
+ return undefined;
116
+ }
117
+ return [narrowed.storageExprAst, nextContext];
118
+ };
119
+ export const tryEmitExactStorageCompatibleNarrowedIdentifier = (expr, narrowed, context, expectedType) => {
120
+ if (!expectedType) {
121
+ return undefined;
122
+ }
123
+ const remappedLocal = context.localNameMap?.get(expr.name);
124
+ const storageType = narrowed.storageType ?? context.localValueTypes?.get(expr.name);
125
+ if (!storageType) {
126
+ return undefined;
127
+ }
128
+ const originalRuntimeCarrierAst = narrowed.carrierExprAst ??
129
+ narrowed.storageExprAst ??
130
+ (remappedLocal ? identifierExpression(remappedLocal) : undefined);
131
+ const originalRuntimeCarrierType = narrowed.carrierExprAst
132
+ ? (narrowed.carrierType ?? context.localValueTypes?.get(expr.name))
133
+ : storageType;
134
+ const [sameSourceCarrierSurface, carrierSurfaceContext] = originalRuntimeCarrierAst && originalRuntimeCarrierType
135
+ ? matchesEmittedStorageSurface(stripNullish(originalRuntimeCarrierType), expectedType, context)
136
+ : [false, context];
137
+ if (preservesMaterializedValueTypeNarrowing(narrowed, context)) {
138
+ return undefined;
139
+ }
140
+ if (originalRuntimeCarrierAst &&
141
+ willCarryAsRuntimeUnion(expectedType, context) &&
142
+ sameSourceCarrierSurface) {
143
+ return [originalRuntimeCarrierAst, carrierSurfaceContext];
144
+ }
145
+ if (originalRuntimeCarrierAst &&
146
+ sameSourceCarrierSurface &&
147
+ originalRuntimeCarrierType &&
148
+ !requiresValueTypeMaterialization(originalRuntimeCarrierType, expectedType, carrierSurfaceContext)) {
149
+ return [originalRuntimeCarrierAst, carrierSurfaceContext];
150
+ }
151
+ const [sameStorageSurface, nextContext] = matchesEmittedStorageSurface(storageType, expectedType, context);
152
+ if (!sameStorageSurface) {
153
+ return undefined;
154
+ }
155
+ if (narrowed.exprAst.kind === "memberAccessExpression" &&
156
+ narrowed.exprAst.memberName === "Value" &&
157
+ narrowed.exprAst.expression === narrowed.storageExprAst) {
158
+ return undefined;
159
+ }
160
+ if (narrowed.storageExprAst) {
161
+ return [narrowed.storageExprAst, nextContext];
162
+ }
163
+ if (!remappedLocal) {
164
+ return undefined;
165
+ }
166
+ return [identifierExpression(remappedLocal), nextContext];
167
+ };
168
+ //# sourceMappingURL=narrowed-storage-compatible.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"narrowed-storage-compatible.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/narrowed-storage-compatible.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EACL,2BAA2B,EAC3B,gCAAgC,GACjC,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAAE,gCAAgC,EAAE,MAAM,kDAAkD,CAAC;AACpG,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,yCAAyC,EAAE,MAAM,2CAA2C,CAAC;AAEtG,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,uCAAuC,EAAE,MAAM,6BAA6B,CAAC;AAEtF,MAAM,CAAC,MAAM,0CAA0C,GAAG,CACxD,IAAmD,EACnD,QAAoD,EACpD,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,WAAW,GACf,QAAQ,CAAC,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,YAAY,IAAI,QAAQ,CAAC,IAAI,CAAC;IACjD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,sBAAsB,GAC1B,QAAQ,CAAC,IAAI;QACb,gCAAgC,CAC9B,QAAQ,CAAC,UAAU,IAAI,WAAW,EAClC,QAAQ,CAAC,OAAO,EAChB,OAAO,CACR,CAAC;IACJ,MAAM,4CAA4C,GAChD,QAAQ,CAAC,cAAc,KAAK,SAAS;QACrC,QAAQ,CAAC,cAAc,KAAK,QAAQ,CAAC,OAAO;QAC5C,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC;QAC7C,CAAC,CAAC,sBAAsB;QACxB,CAAC,uBAAuB,CAAC,sBAAsB,EAAE,OAAO,CAAC,CAAC;IAE5D,MAAM,4BAA4B,GAChC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC3C,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC;QAC7C,CAAC,uBAAuB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,MAAM,iDAAiD,GACrD,CAAC,CAAC,YAAY;QACd,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC3C,QAAQ,CAAC,cAAc,KAAK,SAAS;QACrC,QAAQ,CAAC,cAAc,KAAK,QAAQ,CAAC,OAAO,CAAC;IAC/C,MAAM,wCAAwC,GAC5C,uCAAuC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,uBAAuB,GAC3B,4BAA4B;QAC5B,4CAA4C;QAC5C,iDAAiD;QACjD,wCAAwC,CAAC;IAC3C,MAAM,yBAAyB,GAC7B,QAAQ,CAAC,cAAc;QACvB,QAAQ,CAAC,cAAc;QACvB,CAAC,aAAa,CAAC,CAAC,CAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpE,MAAM,0BAA0B,GAAG,QAAQ,CAAC,cAAc;QACxD,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,WAAW,CAAC;IAChB,MAAM,CAAC,wBAAwB,EAAE,qBAAqB,CAAC,GACrD,YAAY,IAAI,0BAA0B;QACxC,CAAC,CAAC,4BAA4B,CAC1B,YAAY,CAAC,0BAA0B,CAAC,EACxC,YAAY,EACZ,OAAO,CACR;QACH,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACvB,MAAM,8BAA8B,GAClC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,yBAAyB;QAC3B,CAAC,CAAC,0BAA0B;QAC5B,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,wBAAwB;QACxB,CAAC,uBAAuB;QACxB,CAAC,CAAC,sBAAsB;YACtB,CAAC,uBAAuB,CAAC,sBAAsB,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,MAAM,8BAA8B,GAClC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,yBAAyB;QAC3B,CAAC,CAAC,0BAA0B;QAC5B,wBAAwB;QACxB,CAAC,uBAAuB;QACxB,CAAC,gCAAgC,CAC/B,0BAA0B,EAC1B,YAAY,EACZ,qBAAqB,CACtB,CAAC;IACJ,IACE,YAAY;QACZ,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC3C,CAAC,uBAAuB,EACxB,CAAC;QACD,MAAM,yBAAyB,GAC7B,QAAQ,CAAC,WAAW;YACpB,QAAQ,CAAC,UAAU;YACnB,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IACE,yBAAyB;YACzB,CAAC,uBAAuB,CAAC,yBAAyB,EAAE,OAAO,CAAC;YAC5D,CAAC,2BAA2B,CAC1B,YAAY,CAAC,yBAAyB,CAAC,EACvC,YAAY,EACZ,OAAO,CACR;gBACC,yCAAyC,CACvC,yBAAyB,EACzB,OAAO,CACR,CAAC,EACJ,CAAC;YACD,OAAO;gBACL,oBAAoB,CAClB,aAAa,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CACnD;gBACD,OAAO;aACR,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;YAC5B,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;YAC5B,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,IAAI,8BAA8B,EAAE,CAAC;QACnC,OAAO,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,8BAA8B,EAAE,CAAC;QACnC,OAAO,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,4BAA4B,CAC7D,WAAW,EACX,UAAU,EACV,OAAO,CACR,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC7B,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC;IAC5D,CAAC;IAED,IACE,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,wBAAwB;QAClD,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,OAAO;QACvC,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,QAAQ,CAAC,cAAc,EACvD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,uBAAuB,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+CAA+C,GAAG,CAC7D,IAAmD,EACnD,QAAoD,EACpD,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,WAAW,GACf,QAAQ,CAAC,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,yBAAyB,GAC7B,QAAQ,CAAC,cAAc;QACvB,QAAQ,CAAC,cAAc;QACvB,CAAC,aAAa,CAAC,CAAC,CAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpE,MAAM,0BAA0B,GAAG,QAAQ,CAAC,cAAc;QACxD,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,WAAW,CAAC;IAChB,MAAM,CAAC,wBAAwB,EAAE,qBAAqB,CAAC,GACrD,yBAAyB,IAAI,0BAA0B;QACrD,CAAC,CAAC,4BAA4B,CAC1B,YAAY,CAAC,0BAA0B,CAAC,EACxC,YAAY,EACZ,OAAO,CACR;QACH,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACvB,IAAI,uCAAuC,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,yBAAyB;QACzB,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,wBAAwB,EACxB,CAAC;QACD,OAAO,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;IAC5D,CAAC;IACD,IACE,yBAAyB;QACzB,wBAAwB;QACxB,0BAA0B;QAC1B,CAAC,gCAAgC,CAC/B,0BAA0B,EAC1B,YAAY,EACZ,qBAAqB,CACtB,EACD,CAAC;QACD,OAAO,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,CAAC,kBAAkB,EAAE,WAAW,CAAC,GAAG,4BAA4B,CACpE,WAAW,EACX,YAAY,EACZ,OAAO,CACR,CAAC;IACF,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,wBAAwB;QAClD,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,OAAO;QACvC,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,QAAQ,CAAC,cAAc,EACvD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC5B,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC;AAC5D,CAAC,CAAC"}
@@ -0,0 +1,7 @@
1
+ import { IrExpression, IrType } from "@tsonic/frontend";
2
+ import { EmitterContext } from "../../types.js";
3
+ import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
4
+ export declare const tryEmitReifiedStorageIdentifier: (expr: Extract<IrExpression, {
5
+ kind: "identifier";
6
+ }>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
7
+ //# sourceMappingURL=reified-storage.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"reified-storage.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/reified-storage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAMhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAElF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAuB1C,CAAC"}
@@ -0,0 +1,25 @@
1
+ import { emitTypeAst } from "../../type-emitter.js";
2
+ import { identifierExpression } from "../../core/format/backend-ast/builders.js";
3
+ import { matchesSemanticExpectedType } from "../../core/semantic/expected-type-matching.js";
4
+ import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
5
+ import { adaptStorageErasedValueAst } from "../../core/semantic/storage-erased-adaptation.js";
6
+ export const tryEmitReifiedStorageIdentifier = (expr, context, expectedType) => {
7
+ const remappedLocal = context.localNameMap?.get(expr.name);
8
+ const storageType = context.localValueTypes?.get(expr.name);
9
+ if (!remappedLocal || !storageType) {
10
+ return undefined;
11
+ }
12
+ const effectiveType = resolveEffectiveExpressionType(expr, context);
13
+ const expressionType = expr.inferredType;
14
+ const expressionMatchesExpected = matchesSemanticExpectedType(expressionType, expectedType, context);
15
+ return adaptStorageErasedValueAst({
16
+ valueAst: identifierExpression(remappedLocal),
17
+ semanticType: expressionMatchesExpected ? expressionType : effectiveType,
18
+ storageType,
19
+ expectedType,
20
+ context,
21
+ emitTypeAst,
22
+ allowCastFallback: expressionMatchesExpected,
23
+ });
24
+ };
25
+ //# sourceMappingURL=reified-storage.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"reified-storage.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/reified-storage.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,2BAA2B,EAAE,MAAM,+CAA+C,CAAC;AAC5F,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,0BAA0B,EAAE,MAAM,kDAAkD,CAAC;AAG9F,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAmD,EACnD,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,CAAC,aAAa,IAAI,CAAC,WAAW,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,CAAC;IACzC,MAAM,yBAAyB,GAAG,2BAA2B,CAC3D,cAAc,EACd,YAAY,EACZ,OAAO,CACR,CAAC;IACF,OAAO,0BAA0B,CAAC;QAChC,QAAQ,EAAE,oBAAoB,CAAC,aAAa,CAAC;QAC7C,YAAY,EAAE,yBAAyB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa;QACxE,WAAW;QACX,YAAY;QACZ,OAAO;QACP,WAAW;QACX,iBAAiB,EAAE,yBAAyB;KAC7C,CAAC,CAAC;AACL,CAAC,CAAC"}
@@ -0,0 +1,14 @@
1
+ import { IrExpression, IrType } from "@tsonic/frontend";
2
+ import { EmitterContext, NarrowedBinding } from "../../types.js";
3
+ import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
4
+ export declare const buildRuntimeSubsetExpressionAst: (expr: Extract<IrExpression, {
5
+ kind: "identifier";
6
+ }>, narrowed: Extract<NarrowedBinding, {
7
+ kind: "runtimeSubset";
8
+ }>, context: EmitterContext, targetType?: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
9
+ export declare const tryEmitRuntimeSubsetMemberProjectionIdentifier: (expr: Extract<IrExpression, {
10
+ kind: "identifier";
11
+ }>, narrowed: Extract<NarrowedBinding, {
12
+ kind: "runtimeSubset";
13
+ }>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
14
+ //# sourceMappingURL=runtime-subset.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"runtime-subset.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/runtime-subset.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAWjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAKlF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC7D,SAAS,cAAc,EACvB,aAAY,MAAM,GAAG,SAAyB,KAC7C,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAqE1C,CAAC;AAEF,eAAO,MAAM,8CAA8C,GACzD,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC7D,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA8D1C,CAAC"}
@@ -0,0 +1,100 @@
1
+ import { emitTypeAst } from "../../type-emitter.js";
2
+ import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
3
+ import { identifierExpression } from "../../core/format/backend-ast/builders.js";
4
+ import { stableTypeKeyFromAst } from "../../core/format/backend-ast/utils.js";
5
+ import { tryBuildRuntimeMaterializationAst, } from "../../core/semantic/runtime-reification.js";
6
+ import { buildRuntimeUnionLayout } from "../../core/semantic/runtime-unions.js";
7
+ import { getCanonicalRuntimeUnionMembers } from "../../core/semantic/runtime-union-frame.js";
8
+ import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
9
+ import { isBroadStorageTarget } from "./broad-storage-target.js";
10
+ import { wrapMaterializedTargetAst } from "./storage-surface-shared.js";
11
+ export const buildRuntimeSubsetExpressionAst = (expr, narrowed, context, targetType = narrowed.type) => {
12
+ const sourceType = narrowed.sourceType ?? expr.inferredType;
13
+ if (!sourceType || !targetType) {
14
+ return undefined;
15
+ }
16
+ const sourceFrame = (() => {
17
+ const sourceValueAst = narrowed.storageExprAst ??
18
+ identifierExpression(escapeCSharpIdentifier(expr.name));
19
+ if (narrowed.sourceMembers &&
20
+ narrowed.sourceCandidateMemberNs &&
21
+ narrowed.sourceMembers.length === narrowed.sourceCandidateMemberNs.length) {
22
+ const explicitFrame = {
23
+ members: narrowed.sourceMembers,
24
+ candidateMemberNs: narrowed.sourceCandidateMemberNs,
25
+ runtimeUnionArity: narrowed.runtimeUnionArity,
26
+ };
27
+ const storageType = context.localValueTypes?.get(expr.name);
28
+ const storageMembers = sourceValueAst.kind === "identifierExpression" && storageType
29
+ ? getCanonicalRuntimeUnionMembers(storageType, context)
30
+ : undefined;
31
+ return storageMembers &&
32
+ storageMembers.length > (explicitFrame.runtimeUnionArity ?? 0)
33
+ ? {
34
+ members: storageMembers,
35
+ candidateMemberNs: storageMembers.map((_, index) => index + 1),
36
+ runtimeUnionArity: storageMembers.length,
37
+ }
38
+ : explicitFrame;
39
+ }
40
+ const inferredMembers = narrowed.type
41
+ ? getCanonicalRuntimeUnionMembers(narrowed.type, context)
42
+ : undefined;
43
+ return inferredMembers &&
44
+ inferredMembers.length === narrowed.runtimeMemberNs.length
45
+ ? {
46
+ members: inferredMembers,
47
+ candidateMemberNs: narrowed.runtimeMemberNs,
48
+ runtimeUnionArity: narrowed.runtimeUnionArity,
49
+ }
50
+ : undefined;
51
+ })();
52
+ const sourceValueAst = narrowed.storageExprAst ??
53
+ identifierExpression(escapeCSharpIdentifier(expr.name));
54
+ const materialized = tryBuildRuntimeMaterializationAst(sourceValueAst, sourceType, targetType, context, emitTypeAst, new Set(narrowed.runtimeMemberNs), sourceFrame);
55
+ if (!materialized) {
56
+ return undefined;
57
+ }
58
+ return wrapMaterializedTargetAst(materialized[0], targetType, materialized[1]);
59
+ };
60
+ export const tryEmitRuntimeSubsetMemberProjectionIdentifier = (expr, narrowed, context, expectedType) => {
61
+ if (!expectedType ||
62
+ isBroadStorageTarget(expectedType, context) ||
63
+ willCarryAsRuntimeUnion(expectedType, context) ||
64
+ narrowed.runtimeMemberNs.length !== 1) {
65
+ return undefined;
66
+ }
67
+ const [sourceMemberN] = narrowed.runtimeMemberNs;
68
+ if (sourceMemberN === undefined || sourceMemberN < 1) {
69
+ return undefined;
70
+ }
71
+ const sourceType = narrowed.sourceType ?? expr.inferredType;
72
+ if (!sourceType) {
73
+ return undefined;
74
+ }
75
+ const [sourceLayout, sourceLayoutContext] = buildRuntimeUnionLayout(sourceType, context, emitTypeAst);
76
+ const sourceMember = sourceLayout?.members[sourceMemberN - 1];
77
+ if (!sourceLayout || !sourceMember) {
78
+ return undefined;
79
+ }
80
+ const [sourceMemberAst, sourceMemberContext] = emitTypeAst(sourceMember, sourceLayoutContext);
81
+ const [expectedAst, expectedContext] = emitTypeAst(expectedType, sourceMemberContext);
82
+ if (stableTypeKeyFromAst(sourceMemberAst) !== stableTypeKeyFromAst(expectedAst)) {
83
+ return undefined;
84
+ }
85
+ const carrierAst = narrowed.storageExprAst ??
86
+ identifierExpression(context.localNameMap?.get(expr.name) ?? escapeCSharpIdentifier(expr.name));
87
+ return [
88
+ {
89
+ kind: "invocationExpression",
90
+ expression: {
91
+ kind: "memberAccessExpression",
92
+ expression: carrierAst,
93
+ memberName: `As${sourceMemberN}`,
94
+ },
95
+ arguments: [],
96
+ },
97
+ expectedContext,
98
+ ];
99
+ };
100
+ //# sourceMappingURL=runtime-subset.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"runtime-subset.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/runtime-subset.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EAEL,iCAAiC,GAClC,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,4CAA4C,CAAC;AAE7F,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAExE,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAmD,EACnD,QAA6D,EAC7D,OAAuB,EACvB,aAAiC,QAAQ,CAAC,IAAI,EACK,EAAE;IACrD,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,YAAY,CAAC;IAC5D,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAkD,CAAC,GAAG,EAAE;QACvE,MAAM,cAAc,GAClB,QAAQ,CAAC,cAAc;YACvB,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,IACE,QAAQ,CAAC,aAAa;YACtB,QAAQ,CAAC,uBAAuB;YAChC,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,QAAQ,CAAC,uBAAuB,CAAC,MAAM,EACzE,CAAC;YACD,MAAM,aAAa,GAAG;gBACpB,OAAO,EAAE,QAAQ,CAAC,aAAa;gBAC/B,iBAAiB,EAAE,QAAQ,CAAC,uBAAuB;gBACnD,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;aAC9C,CAAC;YACF,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5D,MAAM,cAAc,GAClB,cAAc,CAAC,IAAI,KAAK,sBAAsB,IAAI,WAAW;gBAC3D,CAAC,CAAC,+BAA+B,CAAC,WAAW,EAAE,OAAO,CAAC;gBACvD,CAAC,CAAC,SAAS,CAAC;YAChB,OAAO,cAAc;gBACnB,cAAc,CAAC,MAAM,GAAG,CAAC,aAAa,CAAC,iBAAiB,IAAI,CAAC,CAAC;gBAC9D,CAAC,CAAC;oBACE,OAAO,EAAE,cAAc;oBACvB,iBAAiB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC;oBAC9D,iBAAiB,EAAE,cAAc,CAAC,MAAM;iBACzC;gBACH,CAAC,CAAC,aAAa,CAAC;QACpB,CAAC;QAED,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI;YACnC,CAAC,CAAC,+BAA+B,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;YACzD,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,eAAe;YACpB,eAAe,CAAC,MAAM,KAAK,QAAQ,CAAC,eAAe,CAAC,MAAM;YAC1D,CAAC,CAAC;gBACE,OAAO,EAAE,eAAe;gBACxB,iBAAiB,EAAE,QAAQ,CAAC,eAAe;gBAC3C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;aAC9C;YACH,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC,CAAC,EAAE,CAAC;IACL,MAAM,cAAc,GAClB,QAAQ,CAAC,cAAc;QACvB,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAE1D,MAAM,YAAY,GAAG,iCAAiC,CACpD,cAAc,EACd,UAAU,EACV,UAAU,EACV,OAAO,EACP,WAAW,EACX,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,EACjC,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,yBAAyB,CAC9B,YAAY,CAAC,CAAC,CAAC,EACf,UAAU,EACV,YAAY,CAAC,CAAC,CAAC,CAChB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8CAA8C,GAAG,CAC5D,IAAmD,EACnD,QAA6D,EAC7D,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IACE,CAAC,YAAY;QACb,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC3C,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,QAAQ,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EACrC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,GAAG,QAAQ,CAAC,eAAe,CAAC;IACjD,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QACrD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,YAAY,CAAC;IAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACjE,UAAU,EACV,OAAO,EACP,WAAW,CACZ,CAAC;IACF,MAAM,YAAY,GAAG,YAAY,EAAE,OAAO,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC;IAC9D,IAAI,CAAC,YAAY,IAAI,CAAC,YAAY,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,WAAW,CACxD,YAAY,EACZ,mBAAmB,CACpB,CAAC;IACF,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC,GAAG,WAAW,CAChD,YAAY,EACZ,mBAAmB,CACpB,CAAC;IACF,IACE,oBAAoB,CAAC,eAAe,CAAC,KAAK,oBAAoB,CAAC,WAAW,CAAC,EAC3E,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GACd,QAAQ,CAAC,cAAc;QACvB,oBAAoB,CAClB,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC1E,CAAC;IAEJ,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,UAAU;gBACtB,UAAU,EAAE,KAAK,aAAa,EAAE;aACjC;YACD,SAAS,EAAE,EAAE;SACd;QACD,eAAe;KAChB,CAAC;AACJ,CAAC,CAAC"}
@@ -0,0 +1,10 @@
1
+ import { IrExpression, IrType } from "@tsonic/frontend";
2
+ import { EmitterContext } from "../../types.js";
3
+ import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
4
+ export declare const tryEmitStorageCompatibleIdentifier: (expr: Extract<IrExpression, {
5
+ kind: "identifier";
6
+ }>, context: EmitterContext, expectedType: IrType | undefined) => CSharpExpressionAst | undefined;
7
+ export declare const tryEmitCollapsedStorageIdentifier: (expr: Extract<IrExpression, {
8
+ kind: "identifier";
9
+ }>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
10
+ //# sourceMappingURL=storage-compatible.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"storage-compatible.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-compatible.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAQlF,eAAO,MAAM,kCAAkC,GAC7C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,mBAAmB,GAAG,SAwDxB,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA+B1C,CAAC"}
@@ -0,0 +1,76 @@
1
+ import { matchesExpectedEmissionType } from "../../core/semantic/expected-type-matching.js";
2
+ import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
3
+ import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
4
+ import { stripNullish } from "../../core/semantic/type-resolution.js";
5
+ import { isBroadStorageTarget } from "./broad-storage-target.js";
6
+ import { matchesEmittedStorageSurface } from "./storage-surface-match.js";
7
+ import { getStorageIdentifierAst, needsStructuralCollectionMaterialization, } from "./storage-surface-shared.js";
8
+ export const tryEmitStorageCompatibleIdentifier = (expr, context, expectedType) => {
9
+ if (!expectedType) {
10
+ return undefined;
11
+ }
12
+ const storageType = context.localValueTypes?.get(expr.name);
13
+ const storageIdentifierAst = getStorageIdentifierAst(expr, context);
14
+ if (!storageIdentifierAst || !storageType) {
15
+ return undefined;
16
+ }
17
+ if (isBroadStorageTarget(expectedType, context)) {
18
+ return storageIdentifierAst;
19
+ }
20
+ const effectiveType = context.localSemanticTypes?.get(expr.name) ??
21
+ resolveEffectiveExpressionType(expr, context);
22
+ const strippedEffectiveType = effectiveType
23
+ ? stripNullish(effectiveType)
24
+ : undefined;
25
+ const strippedExpectedType = stripNullish(expectedType);
26
+ const effectiveNamedStructuralAliasMatchesExpected = strippedEffectiveType?.kind === "referenceType" &&
27
+ strippedExpectedType.kind === "referenceType" &&
28
+ strippedEffectiveType.structuralOrigin === "namedReference" &&
29
+ (strippedEffectiveType.structuralMembers?.length ?? 0) > 0 &&
30
+ strippedEffectiveType.name === strippedExpectedType.name;
31
+ if (!isBroadStorageTarget(expectedType, context) &&
32
+ !willCarryAsRuntimeUnion(expectedType, context) &&
33
+ matchesExpectedEmissionType(effectiveType, expectedType, context)) {
34
+ return effectiveNamedStructuralAliasMatchesExpected
35
+ ? storageIdentifierAst
36
+ : undefined;
37
+ }
38
+ if (!matchesExpectedEmissionType(storageType, expectedType, context)) {
39
+ return undefined;
40
+ }
41
+ if (willCarryAsRuntimeUnion(expectedType, context) &&
42
+ !willCarryAsRuntimeUnion(storageType, context)) {
43
+ return undefined;
44
+ }
45
+ if (needsStructuralCollectionMaterialization(storageType, expectedType, context)) {
46
+ return undefined;
47
+ }
48
+ return storageIdentifierAst;
49
+ };
50
+ export const tryEmitCollapsedStorageIdentifier = (expr, context) => {
51
+ const storageType = context.localValueTypes?.get(expr.name);
52
+ const storageIdentifierAst = getStorageIdentifierAst(expr, context);
53
+ if (!storageIdentifierAst || !storageType) {
54
+ return undefined;
55
+ }
56
+ const effectiveType = resolveEffectiveExpressionType(expr, context);
57
+ if (!effectiveType) {
58
+ return undefined;
59
+ }
60
+ let sameSurfaceResult;
61
+ try {
62
+ sameSurfaceResult = matchesEmittedStorageSurface(storageType, effectiveType, context);
63
+ }
64
+ catch (err) {
65
+ if (err instanceof Error) {
66
+ throw new Error(`${err.message} [identifier=${expr.name}]`);
67
+ }
68
+ throw err;
69
+ }
70
+ const [sameSurface, nextContext] = sameSurfaceResult;
71
+ if (!sameSurface) {
72
+ return undefined;
73
+ }
74
+ return [storageIdentifierAst, nextContext];
75
+ };
76
+ //# sourceMappingURL=storage-compatible.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"storage-compatible.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-compatible.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,+CAA+C,CAAC;AAC5F,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AAEtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EACL,uBAAuB,EACvB,wCAAwC,GACzC,MAAM,6BAA6B,CAAC;AAErC,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAAmD,EACnD,OAAuB,EACvB,YAAgC,EACC,EAAE;IACnC,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,CAAC,oBAAoB,IAAI,CAAC,WAAW,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QAChD,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IAED,MAAM,aAAa,GACjB,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1C,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,MAAM,qBAAqB,GAAG,aAAa;QACzC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC;QAC7B,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,oBAAoB,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,4CAA4C,GAChD,qBAAqB,EAAE,IAAI,KAAK,eAAe;QAC/C,oBAAoB,CAAC,IAAI,KAAK,eAAe;QAC7C,qBAAqB,CAAC,gBAAgB,KAAK,gBAAgB;QAC3D,CAAC,qBAAqB,CAAC,iBAAiB,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QAC1D,qBAAqB,CAAC,IAAI,KAAK,oBAAoB,CAAC,IAAI,CAAC;IAC3D,IACE,CAAC,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC5C,CAAC,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC/C,2BAA2B,CAAC,aAAa,EAAE,YAAY,EAAE,OAAO,CAAC,EACjE,CAAC;QACD,OAAO,4CAA4C;YACjD,CAAC,CAAC,oBAAoB;YACtB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,2BAA2B,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,CAAC,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC,EAC9C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,wCAAwC,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC,EAC5E,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,oBAAoB,CAAC;AAC9B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAmD,EACnD,OAAuB,EAC4B,EAAE;IACrD,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,CAAC,oBAAoB,IAAI,CAAC,WAAW,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,iBAA4C,CAAC;IACjD,IAAI,CAAC;QACH,iBAAiB,GAAG,4BAA4B,CAC9C,WAAW,EACX,aAAa,EACb,OAAO,CACR,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,OAAO,gBAAgB,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QAC9D,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;IACD,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC;IACrD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,oBAAoB,EAAE,WAAW,CAAC,CAAC;AAC7C,CAAC,CAAC"}
@@ -0,0 +1,4 @@
1
+ import { IrType } from "@tsonic/frontend";
2
+ import { EmitterContext } from "../../types.js";
3
+ export declare const matchesEmittedStorageSurface: (actualType: IrType | undefined, expectedType: IrType | undefined, context: EmitterContext) => [boolean, EmitterContext];
4
+ //# sourceMappingURL=storage-surface-match.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"storage-surface-match.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface-match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAiEhD,eAAO,MAAM,4BAA4B,GACvC,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,CAAC,OAAO,EAAE,cAAc,CAsG1B,CAAC"}
@@ -0,0 +1,95 @@
1
+ import { emitTypeAst } from "../../type-emitter.js";
2
+ import { stableTypeKeyFromAst } from "../../core/format/backend-ast/utils.js";
3
+ import { requiresValueTypeMaterialization } from "../../core/semantic/expected-type-matching.js";
4
+ import { describeIrTypeForDiagnostics } from "../../core/semantic/deterministic-type-keys.js";
5
+ import { resolveStructuralReferenceType } from "../../core/semantic/structural-shape-matching.js";
6
+ import { normalizeStructuralEmissionType, stripNullish, } from "../../core/semantic/type-resolution.js";
7
+ const buildStorageSurfaceDiagnosticContext = (actualType, expectedType, strippedActual, strippedExpected, context) => `[storage-surface originalActual=${describeIrTypeForDiagnostics(actualType, context)} originalExpected=${describeIrTypeForDiagnostics(expectedType, context)} actual=${describeIrTypeForDiagnostics(strippedActual, context)} expected=${describeIrTypeForDiagnostics(strippedExpected, context)}]`;
8
+ const containsRawObjectType = (type, seen = new Set()) => {
9
+ if (seen.has(type)) {
10
+ return false;
11
+ }
12
+ seen.add(type);
13
+ switch (type.kind) {
14
+ case "objectType":
15
+ return true;
16
+ case "arrayType":
17
+ return containsRawObjectType(type.elementType, seen);
18
+ case "tupleType":
19
+ return type.elementTypes.some((elementType) => containsRawObjectType(elementType, seen));
20
+ case "dictionaryType":
21
+ return containsRawObjectType(type.valueType, seen);
22
+ case "unionType":
23
+ case "intersectionType":
24
+ return type.types.some((memberType) => containsRawObjectType(memberType, seen));
25
+ case "referenceType":
26
+ return (type.typeArguments?.some((typeArgument) => containsRawObjectType(typeArgument, seen)) ?? false);
27
+ default:
28
+ return false;
29
+ }
30
+ };
31
+ export const matchesEmittedStorageSurface = (actualType, expectedType, context) => {
32
+ const tryEmitSurfaceTypeAst = (type, currentContext) => {
33
+ try {
34
+ return emitTypeAst(type, currentContext);
35
+ }
36
+ catch (err) {
37
+ if (err instanceof Error &&
38
+ (err.message.startsWith("ICE: Unresolved reference type ") ||
39
+ err.message.startsWith("ICE: Non-transparent intersection type reached emitter") ||
40
+ err.message.startsWith("ICE: 'unknown' type reached emitter") ||
41
+ err.message.startsWith("ICE: 'any' type reached emitter"))) {
42
+ return undefined;
43
+ }
44
+ throw err;
45
+ }
46
+ };
47
+ if (!actualType || !expectedType) {
48
+ return [false, context];
49
+ }
50
+ if (requiresValueTypeMaterialization(actualType, expectedType, context)) {
51
+ return [false, context];
52
+ }
53
+ const strippedActual = normalizeStructuralEmissionType(resolveStructuralReferenceType(stripNullish(actualType), context) ??
54
+ stripNullish(actualType), context);
55
+ const strippedExpected = normalizeStructuralEmissionType(resolveStructuralReferenceType(stripNullish(expectedType), context) ??
56
+ stripNullish(expectedType), context);
57
+ if (containsRawObjectType(strippedActual) ||
58
+ containsRawObjectType(strippedExpected)) {
59
+ return [false, context];
60
+ }
61
+ let actualSurface;
62
+ try {
63
+ actualSurface = tryEmitSurfaceTypeAst(strippedActual, context);
64
+ }
65
+ catch (err) {
66
+ if (err instanceof Error) {
67
+ throw new Error(`${err.message} ${buildStorageSurfaceDiagnosticContext(actualType, expectedType, strippedActual, strippedExpected, context)}`);
68
+ }
69
+ throw err;
70
+ }
71
+ if (!actualSurface) {
72
+ return [false, context];
73
+ }
74
+ const [actualTypeAst, actualTypeContext] = actualSurface;
75
+ let expectedSurface;
76
+ try {
77
+ expectedSurface = tryEmitSurfaceTypeAst(strippedExpected, actualTypeContext);
78
+ }
79
+ catch (err) {
80
+ if (err instanceof Error) {
81
+ throw new Error(`${err.message} ${buildStorageSurfaceDiagnosticContext(actualType, expectedType, strippedActual, strippedExpected, actualTypeContext)}`);
82
+ }
83
+ throw err;
84
+ }
85
+ if (!expectedSurface) {
86
+ return [false, context];
87
+ }
88
+ const [expectedTypeAst, expectedTypeContext] = expectedSurface;
89
+ return [
90
+ stableTypeKeyFromAst(actualTypeAst) ===
91
+ stableTypeKeyFromAst(expectedTypeAst),
92
+ expectedTypeContext,
93
+ ];
94
+ };
95
+ //# sourceMappingURL=storage-surface-match.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"storage-surface-match.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface-match.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EAAE,gCAAgC,EAAE,MAAM,+CAA+C,CAAC;AACjG,OAAO,EAAE,4BAA4B,EAAE,MAAM,gDAAgD,CAAC;AAC9F,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EACL,+BAA+B,EAC/B,YAAY,GACb,MAAM,wCAAwC,CAAC;AAEhD,MAAM,oCAAoC,GAAG,CAC3C,UAAkB,EAClB,YAAoB,EACpB,cAAsB,EACtB,gBAAwB,EACxB,OAAuB,EACf,EAAE,CACV,mCAAmC,4BAA4B,CAC7D,UAAU,EACV,OAAO,CACR,qBAAqB,4BAA4B,CAChD,YAAY,EACZ,OAAO,CACR,WAAW,4BAA4B,CACtC,cAAc,EACd,OAAO,CACR,aAAa,4BAA4B,CAAC,gBAAgB,EAAE,OAAO,CAAC,GAAG,CAAC;AAE3E,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,OAAO,IAAI,GAAG,EAAU,EACf,EAAE;IACX,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAEf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,IAAI,CAAC;QACd,KAAK,WAAW;YACd,OAAO,qBAAqB,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACvD,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAC5C,qBAAqB,CAAC,WAAW,EAAE,IAAI,CAAC,CACzC,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO,qBAAqB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACrD,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CACpC,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,CACxC,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,CACL,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE,CACxC,qBAAqB,CAAC,YAAY,EAAE,IAAI,CAAC,CAC1C,IAAI,KAAK,CACX,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACI,EAAE;IAC7B,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,cAA8B,EACmC,EAAE;QACnE,IAAI,CAAC;YACH,OAAO,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IACE,GAAG,YAAY,KAAK;gBACpB,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,iCAAiC,CAAC;oBACxD,GAAG,CAAC,OAAO,CAAC,UAAU,CACpB,wDAAwD,CACzD;oBACD,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,qCAAqC,CAAC;oBAC7D,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,iCAAiC,CAAC,CAAC,EAC5D,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,GAAG,CAAC;QACZ,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,gCAAgC,CAAC,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QACxE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED,MAAM,cAAc,GAAG,+BAA+B,CACpD,8BAA8B,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;QAC/D,YAAY,CAAC,UAAU,CAAC,EAC1B,OAAO,CACR,CAAC;IACF,MAAM,gBAAgB,GAAG,+BAA+B,CACtD,8BAA8B,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;QACjE,YAAY,CAAC,YAAY,CAAC,EAC5B,OAAO,CACR,CAAC;IACF,IACE,qBAAqB,CAAC,cAAc,CAAC;QACrC,qBAAqB,CAAC,gBAAgB,CAAC,EACvC,CAAC;QACD,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,aAES,CAAC;IACd,IAAI,CAAC;QACH,aAAa,GAAG,qBAAqB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACjE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,GAAG,GAAG,CAAC,OAAO,IAAI,oCAAoC,CACpD,UAAU,EACV,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,OAAO,CACR,EAAE,CACJ,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,GAAG,aAAa,CAAC;IACzD,IAAI,eAES,CAAC;IACd,IAAI,CAAC;QACH,eAAe,GAAG,qBAAqB,CACrC,gBAAgB,EAChB,iBAAiB,CAClB,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,GAAG,GAAG,CAAC,OAAO,IAAI,oCAAoC,CACpD,UAAU,EACV,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,iBAAiB,CAClB,EAAE,CACJ,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,eAAe,CAAC;IAE/D,OAAO;QACL,oBAAoB,CAAC,aAAa,CAAC;YACjC,oBAAoB,CAAC,eAAe,CAAC;QACvC,mBAAmB;KACpB,CAAC;AACJ,CAAC,CAAC"}
@@ -0,0 +1,12 @@
1
+ import { IrExpression, IrType } from "@tsonic/frontend";
2
+ import { EmitterContext, NarrowedBinding } from "../../types.js";
3
+ import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
4
+ export declare const getStorageIdentifierAst: (expr: Extract<IrExpression, {
5
+ kind: "identifier";
6
+ }>, context: EmitterContext) => CSharpExpressionAst | undefined;
7
+ export declare const needsStructuralCollectionMaterialization: (actualType: IrType | undefined, expectedType: IrType | undefined, context: EmitterContext) => boolean;
8
+ export declare const wrapMaterializedTargetAst: (valueAst: CSharpExpressionAst, targetType: IrType, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
9
+ export declare const preservesMaterializedValueTypeNarrowing: (narrowed: Extract<NarrowedBinding, {
10
+ kind: "expr";
11
+ }>, context: EmitterContext) => boolean;
12
+ //# sourceMappingURL=storage-surface-shared.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"storage-surface-shared.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface-shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAQjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAQlF,eAAO,MAAM,uBAAuB,GAClC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,mBAAmB,GAAG,SAWxB,CAAC;AAEF,eAAO,MAAM,wCAAwC,GACnD,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,OAgDF,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,UAAU,mBAAmB,EAC7B,YAAY,MAAM,EAClB,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAsBtC,CAAC;AAEF,eAAO,MAAM,uCAAuC,GAClD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,KACtB,OAQF,CAAC"}