npm - @scriptc/compiler - Versions diffs - 0.3.5 → 0.4.0 - Mend

@scriptc/compiler 0.3.5 → 0.4.0

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 (1243) hide show

package/ambient/scriptc-node-fallback.d.ts +960 -82
package/ambient/scriptc.d.ts +134 -0
package/dist/backend/cycle-analysis.d.ts +1 -1
package/dist/backend/cycle-analysis.js +1 -0
package/dist/backend/cycle-analysis.js.map +1 -1
package/dist/backend/cycle-analysis.test.js +13 -1
package/dist/backend/cycle-analysis.test.js.map +1 -1
package/dist/backend/cycle-mutability.js +16 -5
package/dist/backend/cycle-mutability.js.map +1 -1
package/dist/backend/executable-features.js +13 -0
package/dist/backend/executable-features.js.map +1 -1
package/dist/backend/immutability.test.js +1 -1
package/dist/backend/library-pack.js +6 -0
package/dist/backend/library-pack.js.map +1 -1
package/dist/backend/llvm/alloc.d.ts +41 -4
package/dist/backend/llvm/alloc.js +138 -7
package/dist/backend/llvm/alloc.js.map +1 -1
package/dist/backend/llvm/alloc.test.js +30 -1
package/dist/backend/llvm/alloc.test.js.map +1 -1
package/dist/backend/llvm/appended-array-literals.test.js +1 -1
package/dist/backend/llvm/array-search.test.js +1 -1
package/dist/backend/llvm/blocks.d.ts +8 -0
package/dist/backend/llvm/blocks.js +43 -1
package/dist/backend/llvm/blocks.js.map +1 -1
package/dist/backend/llvm/blocks.test.js +22 -1
package/dist/backend/llvm/blocks.test.js.map +1 -1
package/dist/backend/llvm/byte-numbers.js +15 -5
package/dist/backend/llvm/byte-numbers.js.map +1 -1
package/dist/backend/llvm/bytes-alias.d.ts +14 -0
package/dist/backend/llvm/bytes-alias.js +20 -0
package/dist/backend/llvm/bytes-alias.js.map +1 -0
package/dist/backend/llvm/bytes-loop-versions.d.ts +86 -0
package/dist/backend/llvm/bytes-loop-versions.js +506 -0
package/dist/backend/llvm/bytes-loop-versions.js.map +1 -0
package/dist/backend/llvm/bytes-loop-versions.test.d.ts +1 -0
package/dist/backend/llvm/bytes-loop-versions.test.js +244 -0
package/dist/backend/llvm/bytes-loop-versions.test.js.map +1 -0
package/dist/backend/llvm/call-lifetimes.js +50 -1
package/dist/backend/llvm/call-lifetimes.js.map +1 -1
package/dist/backend/llvm/call-lifetimes.test.js +34 -0
package/dist/backend/llvm/call-lifetimes.test.js.map +1 -1
package/dist/backend/llvm/checked-narrows.test.js +1 -1
package/dist/backend/llvm/checked-value-lifetimes.js +4 -1
package/dist/backend/llvm/checked-value-lifetimes.js.map +1 -1
package/dist/backend/llvm/classes.d.ts +11 -0
package/dist/backend/llvm/classes.js +71 -14
package/dist/backend/llvm/classes.js.map +1 -1
package/dist/backend/llvm/classes.test.js +58 -8
package/dist/backend/llvm/classes.test.js.map +1 -1
package/dist/backend/llvm/common.js +1 -0
package/dist/backend/llvm/common.js.map +1 -1
package/dist/backend/llvm/constant-callbacks.d.ts +5 -1
package/dist/backend/llvm/constant-callbacks.js +55 -12
package/dist/backend/llvm/constant-callbacks.js.map +1 -1
package/dist/backend/llvm/constant-callbacks.test.js +88 -1
package/dist/backend/llvm/constant-callbacks.test.js.map +1 -1
package/dist/backend/llvm/counted-loops.d.ts +4 -0
package/dist/backend/llvm/counted-loops.js +37 -0
package/dist/backend/llvm/counted-loops.js.map +1 -1
package/dist/backend/llvm/dense-array-access.d.ts +12 -3
package/dist/backend/llvm/dense-array-access.js +72 -14
package/dist/backend/llvm/dense-array-access.js.map +1 -1
package/dist/backend/llvm/dense-array-access.test.js +59 -3
package/dist/backend/llvm/dense-array-access.test.js.map +1 -1
package/dist/backend/llvm/dense-array-loops.d.ts +51 -0
package/dist/backend/llvm/dense-array-loops.js +162 -0
package/dist/backend/llvm/dense-array-loops.js.map +1 -0
package/dist/backend/llvm/dense-array-loops.test.d.ts +1 -0
package/dist/backend/llvm/dense-array-loops.test.js +128 -0
package/dist/backend/llvm/dense-array-loops.test.js.map +1 -0
package/dist/backend/llvm/dyn-handle-tags.test.d.ts +1 -0
package/dist/backend/llvm/dyn-handle-tags.test.js +38 -0
package/dist/backend/llvm/dyn-handle-tags.test.js.map +1 -0
package/dist/backend/llvm/dyn.d.ts +28 -4
package/dist/backend/llvm/dyn.js +324 -179
package/dist/backend/llvm/dyn.js.map +1 -1
package/dist/backend/llvm/emit-function.d.ts +64 -0
package/dist/backend/llvm/emit-function.js +1190 -0
package/dist/backend/llvm/emit-function.js.map +1 -0
package/dist/backend/llvm/emit-module.d.ts +24 -0
package/dist/backend/llvm/emit-module.js +1535 -0
package/dist/backend/llvm/emit-module.js.map +1 -0
package/dist/backend/llvm/emit-statements.d.ts +58 -0
package/dist/backend/llvm/emit-statements.js +1964 -0
package/dist/backend/llvm/emit-statements.js.map +1 -0
package/dist/backend/llvm/emitter.d.ts +576 -268
package/dist/backend/llvm/emitter.js +801 -4447
package/dist/backend/llvm/emitter.js.map +1 -1
package/dist/backend/llvm/emitter.test.js +57 -3
package/dist/backend/llvm/emitter.test.js.map +1 -1
package/dist/backend/llvm/expr-async.js +73 -46
package/dist/backend/llvm/expr-async.js.map +1 -1
package/dist/backend/llvm/expr-async.test.js +1 -1
package/dist/backend/llvm/expr-bytes.d.ts +2 -0
package/dist/backend/llvm/expr-bytes.js +76 -29
package/dist/backend/llvm/expr-bytes.js.map +1 -1
package/dist/backend/llvm/expr-callbacks.d.ts +6 -2
package/dist/backend/llvm/expr-callbacks.js +48 -11
package/dist/backend/llvm/expr-callbacks.js.map +1 -1
package/dist/backend/llvm/expr-calls.d.ts +1 -1
package/dist/backend/llvm/expr-calls.js +71 -53
package/dist/backend/llvm/expr-calls.js.map +1 -1
package/dist/backend/llvm/expr-calls.test.js +1 -1
package/dist/backend/llvm/expr-containers.js +39 -15
package/dist/backend/llvm/expr-containers.js.map +1 -1
package/dist/backend/llvm/expr-control.js +16 -16
package/dist/backend/llvm/expr-control.js.map +1 -1
package/dist/backend/llvm/expr-dispatch.js +1 -0
package/dist/backend/llvm/expr-dispatch.js.map +1 -1
package/dist/backend/llvm/expr-dynamic.d.ts +3 -0
package/dist/backend/llvm/expr-dynamic.js +92 -63
package/dist/backend/llvm/expr-dynamic.js.map +1 -1
package/dist/backend/llvm/expr-primitives.d.ts +1 -1
package/dist/backend/llvm/expr-primitives.js +132 -25
package/dist/backend/llvm/expr-primitives.js.map +1 -1
package/dist/backend/llvm/expr-primitives.test.js +2 -2
package/dist/backend/llvm/expr-records.d.ts +1 -1
package/dist/backend/llvm/expr-records.js +32 -11
package/dist/backend/llvm/expr-records.js.map +1 -1
package/dist/backend/llvm/expr-stream-bridges.js +54 -12
package/dist/backend/llvm/expr-stream-bridges.js.map +1 -1
package/dist/backend/llvm/expr-stream-bridges.test.js +2 -2
package/dist/backend/llvm/expr-stream-callbacks.js +22 -1
package/dist/backend/llvm/expr-stream-callbacks.js.map +1 -1
package/dist/backend/llvm/int32-abi.test.js +2 -2
package/dist/backend/llvm/integer-clones.test.js +3 -3
package/dist/backend/llvm/integer-remainder.d.ts +34 -13
package/dist/backend/llvm/integer-remainder.js +156 -22
package/dist/backend/llvm/integer-remainder.js.map +1 -1
package/dist/backend/llvm/intern-tables.test.js +1 -1
package/dist/backend/llvm/jsval-encoding.d.ts +21 -0
package/dist/backend/llvm/jsval-encoding.js +20 -0
package/dist/backend/llvm/jsval-encoding.js.map +1 -0
package/dist/backend/llvm/jsval.d.ts +12 -0
package/dist/backend/llvm/jsval.js +488 -0
package/dist/backend/llvm/jsval.js.map +1 -0
package/dist/backend/llvm/lazy-captures.d.ts +12 -2
package/dist/backend/llvm/lazy-captures.js +39 -17
package/dist/backend/llvm/lazy-captures.js.map +1 -1
package/dist/backend/llvm/lib-abi.js +1 -1
package/dist/backend/llvm/lib-abi.js.map +1 -1
package/dist/backend/llvm/lib-connect.js +1 -1
package/dist/backend/llvm/lib-connect.js.map +1 -1
package/dist/backend/llvm/lib-datagram.js +14 -8
package/dist/backend/llvm/lib-datagram.js.map +1 -1
package/dist/backend/llvm/lib-dispatch.js +217 -24
package/dist/backend/llvm/lib-dispatch.js.map +1 -1
package/dist/backend/llvm/lib-filesystem.js +102 -13
package/dist/backend/llvm/lib-filesystem.js.map +1 -1
package/dist/backend/llvm/lib-http2.js +3 -3
package/dist/backend/llvm/lib-http2.js.map +1 -1
package/dist/backend/llvm/lib-lookup.js +2 -2
package/dist/backend/llvm/lib-lookup.js.map +1 -1
package/dist/backend/llvm/lib-network.js +77 -25
package/dist/backend/llvm/lib-network.js.map +1 -1
package/dist/backend/llvm/lib-process.js +100 -50
package/dist/backend/llvm/lib-process.js.map +1 -1
package/dist/backend/llvm/lib-shared.d.ts +12 -0
package/dist/backend/llvm/lib-shared.js +229 -5
package/dist/backend/llvm/lib-shared.js.map +1 -1
package/dist/backend/llvm/lib-stream.js +46 -16
package/dist/backend/llvm/lib-stream.js.map +1 -1
package/dist/backend/llvm/lib-test.js +57 -8
package/dist/backend/llvm/lib-test.js.map +1 -1
package/dist/backend/llvm/lib-tls.js +4 -9
package/dist/backend/llvm/lib-tls.js.map +1 -1
package/dist/backend/llvm/local-array-reads.js +2 -2
package/dist/backend/llvm/local-array-reads.test.js +1 -1
package/dist/backend/llvm/local-extents.d.ts +19 -0
package/dist/backend/llvm/local-extents.js +169 -0
package/dist/backend/llvm/local-extents.js.map +1 -0
package/dist/backend/llvm/local-extents.test.d.ts +1 -0
package/dist/backend/llvm/local-extents.test.js +92 -0
package/dist/backend/llvm/local-extents.test.js.map +1 -0
package/dist/backend/llvm/local-union-storage.js +7 -7
package/dist/backend/llvm/local-union-storage.js.map +1 -1
package/dist/backend/llvm/local-union-storage.test.js +2 -2
package/dist/backend/llvm/map-entry-fusion.test.js +1 -1
package/dist/backend/llvm/map-number-lookup.js +2 -2
package/dist/backend/llvm/map-number-lookup.test.js +2 -2
package/dist/backend/llvm/map-read-lifetimes.test.js +2 -2
package/dist/backend/llvm/narrow-guards.d.ts +38 -0
package/dist/backend/llvm/narrow-guards.js +151 -0
package/dist/backend/llvm/narrow-guards.js.map +1 -0
package/dist/backend/llvm/nullable-unions.d.ts +70 -9
package/dist/backend/llvm/nullable-unions.js +105 -6
package/dist/backend/llvm/nullable-unions.js.map +1 -1
package/dist/backend/llvm/nullable-unions.test.d.ts +1 -0
package/dist/backend/llvm/nullable-unions.test.js +65 -0
package/dist/backend/llvm/nullable-unions.test.js.map +1 -0
package/dist/backend/llvm/publish.d.ts +4 -0
package/dist/backend/llvm/publish.js +14 -2
package/dist/backend/llvm/publish.js.map +1 -1
package/dist/backend/llvm/publish.test.js +1 -1
package/dist/backend/llvm/receivers.d.ts +31 -0
package/dist/backend/llvm/receivers.js +395 -0
package/dist/backend/llvm/receivers.js.map +1 -0
package/dist/backend/llvm/record-results.d.ts +13 -2
package/dist/backend/llvm/record-results.js +66 -6
package/dist/backend/llvm/record-results.js.map +1 -1
package/dist/backend/llvm/reference-effects.js +9 -0
package/dist/backend/llvm/reference-effects.js.map +1 -1
package/dist/backend/llvm/reference-writes.d.ts +4 -0
package/dist/backend/llvm/reference-writes.js +143 -6
package/dist/backend/llvm/reference-writes.js.map +1 -1
package/dist/backend/llvm/reference-writes.test.d.ts +1 -0
package/dist/backend/llvm/reference-writes.test.js +88 -0
package/dist/backend/llvm/reference-writes.test.js.map +1 -0
package/dist/backend/llvm/regex-matchers.d.ts +8 -0
package/dist/backend/llvm/regex-matchers.js +33 -0
package/dist/backend/llvm/regex-matchers.js.map +1 -1
package/dist/backend/llvm/regex-matchers.test.js +23 -1
package/dist/backend/llvm/regex-matchers.test.js.map +1 -1
package/dist/backend/llvm/regions.d.ts +1 -1
package/dist/backend/llvm/regions.js +9 -6
package/dist/backend/llvm/regions.js.map +1 -1
package/dist/backend/llvm/regions.test.js +1 -1
package/dist/backend/llvm/shapes.d.ts +69 -43
package/dist/backend/llvm/shapes.js +285 -21
package/dist/backend/llvm/shapes.js.map +1 -1
package/dist/backend/llvm/shapes.test.js +37 -3
package/dist/backend/llvm/shapes.test.js.map +1 -1
package/dist/backend/llvm/speculative-integers.d.ts +74 -0
package/dist/backend/llvm/speculative-integers.js +571 -0
package/dist/backend/llvm/speculative-integers.js.map +1 -0
package/dist/backend/llvm/speculative-integers.test.d.ts +1 -0
package/dist/backend/llvm/speculative-integers.test.js +148 -0
package/dist/backend/llvm/speculative-integers.test.js.map +1 -0
package/dist/backend/llvm/split-loops.js +2 -2
package/dist/backend/llvm/split-loops.js.map +1 -1
package/dist/backend/llvm/stack-objects.d.ts +26 -6
package/dist/backend/llvm/stack-objects.js +133 -10
package/dist/backend/llvm/stack-objects.js.map +1 -1
package/dist/backend/llvm/stack-objects.test.js +55 -1
package/dist/backend/llvm/stack-objects.test.js.map +1 -1
package/dist/backend/llvm/stack-unions.test.js +1 -1
package/dist/backend/llvm/string-construction.test.js +1 -1
package/dist/backend/llvm/string-lifetimes.test.js +15 -14
package/dist/backend/llvm/string-lifetimes.test.js.map +1 -1
package/dist/backend/llvm/string-slices.d.ts +25 -0
package/dist/backend/llvm/string-slices.js +207 -1
package/dist/backend/llvm/string-slices.js.map +1 -1
package/dist/backend/llvm/string-slices.test.js +139 -2
package/dist/backend/llvm/string-slices.test.js.map +1 -1
package/dist/backend/llvm/switch-dispatch.test.js +2 -2
package/dist/backend/llvm/thread-slots.d.ts +5 -0
package/dist/backend/llvm/thread-slots.js +142 -0
package/dist/backend/llvm/thread-slots.js.map +1 -0
package/dist/backend/llvm/thread-slots.test.d.ts +1 -0
package/dist/backend/llvm/thread-slots.test.js +110 -0
package/dist/backend/llvm/thread-slots.test.js.map +1 -0
package/dist/backend/llvm/union-repr.d.ts +7 -7
package/dist/backend/llvm/union-repr.js +18 -2
package/dist/backend/llvm/union-repr.js.map +1 -1
package/dist/backend/llvm/union-retype.test.js +17 -3
package/dist/backend/llvm/union-retype.test.js.map +1 -1
package/dist/backend/llvm/walkers.d.ts +2 -2
package/dist/backend/llvm/walkers.js +51 -26
package/dist/backend/llvm/walkers.js.map +1 -1
package/dist/backend/llvm/wasm-modules.d.ts +16 -0
package/dist/backend/llvm/wasm-modules.js +66 -0
package/dist/backend/llvm/wasm-modules.js.map +1 -0
package/dist/backend/llvm/wrapping-sums.d.ts +7 -0
package/dist/backend/llvm/wrapping-sums.js +11 -3
package/dist/backend/llvm/wrapping-sums.js.map +1 -1
package/dist/backend/mangle.d.ts +7 -0
package/dist/backend/mangle.js +11 -0
package/dist/backend/mangle.js.map +1 -1
package/dist/backend/may-throw.d.ts +3 -0
package/dist/backend/may-throw.js +6 -2
package/dist/backend/may-throw.js.map +1 -1
package/dist/backend/may-throw.test.js +1 -1
package/dist/backend/native/contracts.d.ts +37 -0
package/dist/backend/native/executable.js +192 -134
package/dist/backend/native/executable.js.map +1 -1
package/dist/backend/native/library.js +1 -0
package/dist/backend/native/library.js.map +1 -1
package/dist/backend/native/runtime-inputs.d.ts +1 -1
package/dist/backend/native/runtime-inputs.js +2 -0
package/dist/backend/native/runtime-inputs.js.map +1 -1
package/dist/backend/native-link-info-core.d.ts +30 -0
package/dist/backend/native-link-info-core.js.map +1 -1
package/dist/backend/publication.test.js +1 -1
package/dist/backend/runtime-pack-core.d.ts +9 -1
package/dist/backend/runtime-pack-core.js +10 -1
package/dist/backend/runtime-pack-core.js.map +1 -1
package/dist/backend/runtime-pack-native.js +1 -1
package/dist/backend/runtime-pack-native.js.map +1 -1
package/dist/backend/runtime-pack-native.test.d.ts +1 -0
package/dist/backend/runtime-pack-native.test.js +31 -0
package/dist/backend/runtime-pack-native.test.js.map +1 -0
package/dist/backend/runtime-pack-targets.test.js +5 -0
package/dist/backend/runtime-pack-targets.test.js.map +1 -1
package/dist/backend/runtime-pack.d.ts +7 -3
package/dist/backend/runtime-pack.js +12 -6
package/dist/backend/runtime-pack.js.map +1 -1
package/dist/backend/runtime-pack.test.js +20 -6
package/dist/backend/runtime-pack.test.js.map +1 -1
package/dist/backend/stack-observations.d.ts +22 -0
package/dist/backend/stack-observations.js +382 -0
package/dist/backend/stack-observations.js.map +1 -0
package/dist/backend/stack-observations.test.d.ts +1 -0
package/dist/backend/stack-observations.test.js +233 -0
package/dist/backend/stack-observations.test.js.map +1 -0
package/dist/backend/target-diagnostics.js +8 -0
package/dist/backend/target-diagnostics.js.map +1 -1
package/dist/backend/target-diagnostics.test.js +1 -1
package/dist/backend/warm-cache.js +5 -0
package/dist/backend/warm-cache.js.map +1 -1
package/dist/backend/young-nursery.d.ts +7 -0
package/dist/backend/young-nursery.js +10 -0
package/dist/backend/young-nursery.js.map +1 -0
package/dist/cli/command.js +44 -4
package/dist/cli/command.js.map +1 -1
package/dist/cli/usage.d.ts +11 -1
package/dist/cli/usage.js +20 -1
package/dist/cli/usage.js.map +1 -1
package/dist/compat/fetch-profile.js +10 -1
package/dist/compat/fetch-profile.js.map +1 -1
package/dist/compile-types.d.ts +13 -0
package/dist/contracts/check.js +25 -6
package/dist/contracts/check.js.map +1 -1
package/dist/contracts/int32-elements.d.ts +115 -0
package/dist/contracts/int32-elements.js +1179 -0
package/dist/contracts/int32-elements.js.map +1 -0
package/dist/coverage/report.d.ts +16 -0
package/dist/coverage/report.js +182 -1
package/dist/coverage/report.js.map +1 -1
package/dist/coverage/surface-manifest.js +19 -6
package/dist/coverage/surface-manifest.js.map +1 -1
package/dist/coverage/verdict-cache.d.ts +2 -0
package/dist/coverage/verdict-cache.js +12 -0
package/dist/coverage/verdict-cache.js.map +1 -1
package/dist/coverage/verdict-cache.test.js +2 -1
package/dist/coverage/verdict-cache.test.js.map +1 -1
package/dist/diagnostics/diagnostic.d.ts +11 -7
package/dist/diagnostics/diagnostic.js +35 -23
package/dist/diagnostics/diagnostic.js.map +1 -1
package/dist/diagnostics/envelope.d.ts +39 -2
package/dist/diagnostics/envelope.js.map +1 -1
package/dist/diagnostics/render.d.ts +7 -0
package/dist/diagnostics/render.js +50 -13
package/dist/diagnostics/render.js.map +1 -1
package/dist/diagnostics/render.test.d.ts +1 -0
package/dist/diagnostics/render.test.js +49 -0
package/dist/diagnostics/render.test.js.map +1 -0
package/dist/executable/executable-cache.d.ts +17 -0
package/dist/executable/executable-cache.js +13 -1
package/dist/executable/executable-cache.js.map +1 -1
package/dist/executable/executable-cache.test.js +7 -1
package/dist/executable/executable-cache.test.js.map +1 -1
package/dist/executable/prepare.js +2 -1
package/dist/executable/prepare.js.map +1 -1
package/dist/frontend/analysis.js +6 -1
package/dist/frontend/analysis.js.map +1 -1
package/dist/frontend/builtin-modules.d.ts +16 -2
package/dist/frontend/builtin-modules.js +40 -7
package/dist/frontend/builtin-modules.js.map +1 -1
package/dist/frontend/cjs-syntax.js +52 -51
package/dist/frontend/cjs-syntax.js.map +1 -1
package/dist/frontend/contract-types.d.ts +3 -0
package/dist/frontend/contract-types.js +36 -7
package/dist/frontend/contract-types.js.map +1 -1
package/dist/frontend/experimental-import.d.ts +5 -1
package/dist/frontend/experimental-import.js +26 -7
package/dist/frontend/experimental-import.js.map +1 -1
package/dist/frontend/fork-target.js +20 -22
package/dist/frontend/fork-target.js.map +1 -1
package/dist/frontend/fork-target.test.js +2 -1
package/dist/frontend/fork-target.test.js.map +1 -1
package/dist/frontend/function-completion.js +6 -6
package/dist/frontend/function-completion.js.map +1 -1
package/dist/frontend/helper-tokens.js +15 -3
package/dist/frontend/helper-tokens.js.map +1 -1
package/dist/frontend/helper-tokens.test.js +7 -1
package/dist/frontend/helper-tokens.test.js.map +1 -1
package/dist/frontend/inferred-js-diagnostics.js +14 -17
package/dist/frontend/inferred-js-diagnostics.js.map +1 -1
package/dist/frontend/input-tracker.d.ts +3 -0
package/dist/frontend/input-tracker.js +32 -3
package/dist/frontend/input-tracker.js.map +1 -1
package/dist/frontend/lib-contract.js +36 -32
package/dist/frontend/lib-contract.js.map +1 -1
package/dist/frontend/lib-exports.js +3 -3
package/dist/frontend/lib-exports.js.map +1 -1
package/dist/frontend/lowering/array-values.d.ts +8 -3
package/dist/frontend/lowering/array-values.js +60 -11
package/dist/frontend/lowering/array-values.js.map +1 -1
package/dist/frontend/lowering/assert-instances.js +4 -4
package/dist/frontend/lowering/assert-instances.js.map +1 -1
package/dist/frontend/lowering/assertion-identity.d.ts +12 -0
package/dist/frontend/lowering/assertion-identity.js +70 -0
package/dist/frontend/lowering/assertion-identity.js.map +1 -0
package/dist/frontend/lowering/assertion-members.d.ts +28 -0
package/dist/frontend/lowering/assertion-members.js +185 -0
package/dist/frontend/lowering/assertion-members.js.map +1 -0
package/dist/frontend/lowering/binding-analysis.js +27 -20
package/dist/frontend/lowering/binding-analysis.js.map +1 -1
package/dist/frontend/lowering/builtin-calls.js +72 -4
package/dist/frontend/lowering/builtin-calls.js.map +1 -1
package/dist/frontend/lowering/builtin-function-fences.d.ts +14 -0
package/dist/frontend/lowering/builtin-function-fences.js +42 -0
package/dist/frontend/lowering/builtin-function-fences.js.map +1 -0
package/dist/frontend/lowering/builtins/arguments.js +1 -1
package/dist/frontend/lowering/builtins/arguments.js.map +1 -1
package/dist/frontend/lowering/builtins/async-context.js +53 -52
package/dist/frontend/lowering/builtins/async-context.js.map +1 -1
package/dist/frontend/lowering/builtins/atomics.js +6 -6
package/dist/frontend/lowering/builtins/atomics.js.map +1 -1
package/dist/frontend/lowering/builtins/blob.js +8 -6
package/dist/frontend/lowering/builtins/blob.js.map +1 -1
package/dist/frontend/lowering/builtins/builtin-class-dyn.d.ts +23 -0
package/dist/frontend/lowering/builtins/builtin-class-dyn.js +156 -0
package/dist/frontend/lowering/builtins/builtin-class-dyn.js.map +1 -0
package/dist/frontend/lowering/builtins/callable-aliases.js +45 -6
package/dist/frontend/lowering/builtins/callable-aliases.js.map +1 -1
package/dist/frontend/lowering/builtins/child-process-async.js +7 -7
package/dist/frontend/lowering/builtins/child-process-async.js.map +1 -1
package/dist/frontend/lowering/builtins/child-process-methods.d.ts +6 -4
package/dist/frontend/lowering/builtins/child-process-methods.js +310 -57
package/dist/frontend/lowering/builtins/child-process-methods.js.map +1 -1
package/dist/frontend/lowering/builtins/child-process-sync.js +16 -10
package/dist/frontend/lowering/builtins/child-process-sync.js.map +1 -1
package/dist/frontend/lowering/builtins/child-process.d.ts +6 -4
package/dist/frontend/lowering/builtins/child-process.js +85 -61
package/dist/frontend/lowering/builtins/child-process.js.map +1 -1
package/dist/frontend/lowering/builtins/class-values.d.ts +60 -0
package/dist/frontend/lowering/builtins/class-values.js +226 -0
package/dist/frontend/lowering/builtins/class-values.js.map +1 -0
package/dist/frontend/lowering/builtins/compression.d.ts +18 -0
package/dist/frontend/lowering/builtins/compression.js +230 -52
package/dist/frontend/lowering/builtins/compression.js.map +1 -1
package/dist/frontend/lowering/builtins/constants.d.ts +9 -1
package/dist/frontend/lowering/builtins/constants.js +28 -7
package/dist/frontend/lowering/builtins/constants.js.map +1 -1
package/dist/frontend/lowering/builtins/crypto.d.ts +19 -0
package/dist/frontend/lowering/builtins/crypto.js +223 -38
package/dist/frontend/lowering/builtins/crypto.js.map +1 -1
package/dist/frontend/lowering/builtins/dates.d.ts +7 -1
package/dist/frontend/lowering/builtins/dates.js +92 -16
package/dist/frontend/lowering/builtins/dates.js.map +1 -1
package/dist/frontend/lowering/builtins/disposable-stack.d.ts +18 -0
package/dist/frontend/lowering/builtins/disposable-stack.js +137 -0
package/dist/frontend/lowering/builtins/disposable-stack.js.map +1 -0
package/dist/frontend/lowering/builtins/environment.js +3 -3
package/dist/frontend/lowering/builtins/environment.js.map +1 -1
package/dist/frontend/lowering/builtins/errors.d.ts +14 -10
package/dist/frontend/lowering/builtins/errors.js +174 -6
package/dist/frontend/lowering/builtins/errors.js.map +1 -1
package/dist/frontend/lowering/builtins/filesystem-calls.d.ts +4 -0
package/dist/frontend/lowering/builtins/filesystem-calls.js +136 -113
package/dist/frontend/lowering/builtins/filesystem-calls.js.map +1 -1
package/dist/frontend/lowering/builtins/filesystem.d.ts +8 -0
package/dist/frontend/lowering/builtins/filesystem.js +213 -76
package/dist/frontend/lowering/builtins/filesystem.js.map +1 -1
package/dist/frontend/lowering/builtins/fs-glob.js +3 -3
package/dist/frontend/lowering/builtins/fs-glob.js.map +1 -1
package/dist/frontend/lowering/builtins/fs-streams.js +10 -11
package/dist/frontend/lowering/builtins/fs-streams.js.map +1 -1
package/dist/frontend/lowering/builtins/hash-stream.d.ts +12 -0
package/dist/frontend/lowering/builtins/hash-stream.js +80 -0
package/dist/frontend/lowering/builtins/hash-stream.js.map +1 -0
package/dist/frontend/lowering/builtins/ipc.js +45 -8
package/dist/frontend/lowering/builtins/ipc.js.map +1 -1
package/dist/frontend/lowering/builtins/json.js +232 -24
package/dist/frontend/lowering/builtins/json.js.map +1 -1
package/dist/frontend/lowering/builtins/key-object.js +4 -4
package/dist/frontend/lowering/builtins/key-object.js.map +1 -1
package/dist/frontend/lowering/builtins/module-bindings.d.ts +8 -0
package/dist/frontend/lowering/builtins/module-bindings.js +71 -22
package/dist/frontend/lowering/builtins/module-bindings.js.map +1 -1
package/dist/frontend/lowering/builtins/module-calls.js +67 -46
package/dist/frontend/lowering/builtins/module-calls.js.map +1 -1
package/dist/frontend/lowering/builtins/module-resolution.d.ts +4 -3
package/dist/frontend/lowering/builtins/module-resolution.js +24 -23
package/dist/frontend/lowering/builtins/module-resolution.js.map +1 -1
package/dist/frontend/lowering/builtins/navigator.d.ts +13 -0
package/dist/frontend/lowering/builtins/navigator.js +40 -0
package/dist/frontend/lowering/builtins/navigator.js.map +1 -0
package/dist/frontend/lowering/builtins/net-address.d.ts +19 -0
package/dist/frontend/lowering/builtins/net-address.js +156 -0
package/dist/frontend/lowering/builtins/net-address.js.map +1 -0
package/dist/frontend/lowering/builtins/numbers.js +25 -9
package/dist/frontend/lowering/builtins/numbers.js.map +1 -1
package/dist/frontend/lowering/builtins/operating-system.d.ts +4 -0
package/dist/frontend/lowering/builtins/operating-system.js +25 -12
package/dist/frontend/lowering/builtins/operating-system.js.map +1 -1
package/dist/frontend/lowering/builtins/performance.d.ts +12 -0
package/dist/frontend/lowering/builtins/performance.js +259 -8
package/dist/frontend/lowering/builtins/performance.js.map +1 -1
package/dist/frontend/lowering/builtins/process.d.ts +32 -1
package/dist/frontend/lowering/builtins/process.js +468 -99
package/dist/frontend/lowering/builtins/process.js.map +1 -1
package/dist/frontend/lowering/builtins/promises.d.ts +5 -1
package/dist/frontend/lowering/builtins/promises.js +326 -43
package/dist/frontend/lowering/builtins/promises.js.map +1 -1
package/dist/frontend/lowering/builtins/promisify-callback.d.ts +37 -0
package/dist/frontend/lowering/builtins/promisify-callback.js +320 -0
package/dist/frontend/lowering/builtins/promisify-callback.js.map +1 -0
package/dist/frontend/lowering/builtins/properties.js +37 -1
package/dist/frontend/lowering/builtins/properties.js.map +1 -1
package/dist/frontend/lowering/builtins/querystring.js +14 -14
package/dist/frontend/lowering/builtins/querystring.js.map +1 -1
package/dist/frontend/lowering/builtins/readline.d.ts +55 -13
package/dist/frontend/lowering/builtins/readline.js +931 -69
package/dist/frontend/lowering/builtins/readline.js.map +1 -1
package/dist/frontend/lowering/builtins/receiver-types.js +3 -5
package/dist/frontend/lowering/builtins/receiver-types.js.map +1 -1
package/dist/frontend/lowering/builtins/reflection.js +16 -14
package/dist/frontend/lowering/builtins/reflection.js.map +1 -1
package/dist/frontend/lowering/builtins/runtime-constructor.d.ts +26 -0
package/dist/frontend/lowering/builtins/runtime-constructor.js +165 -0
package/dist/frontend/lowering/builtins/runtime-constructor.js.map +1 -0
package/dist/frontend/lowering/builtins/strings.js +101 -12
package/dist/frontend/lowering/builtins/strings.js.map +1 -1
package/dist/frontend/lowering/builtins/text-codecs.js +41 -38
package/dist/frontend/lowering/builtins/text-codecs.js.map +1 -1
package/dist/frontend/lowering/builtins/timers.js +75 -30
package/dist/frontend/lowering/builtins/timers.js.map +1 -1
package/dist/frontend/lowering/builtins/url.d.ts +3 -0
package/dist/frontend/lowering/builtins/url.js +120 -17
package/dist/frontend/lowering/builtins/url.js.map +1 -1
package/dist/frontend/lowering/builtins/util-types.js +20 -4
package/dist/frontend/lowering/builtins/util-types.js.map +1 -1
package/dist/frontend/lowering/builtins/v8.d.ts +11 -0
package/dist/frontend/lowering/builtins/v8.js +105 -0
package/dist/frontend/lowering/builtins/v8.js.map +1 -0
package/dist/frontend/lowering/builtins/webassembly.d.ts +33 -0
package/dist/frontend/lowering/builtins/webassembly.js +388 -0
package/dist/frontend/lowering/builtins/webassembly.js.map +1 -0
package/dist/frontend/lowering/builtins/webcrypto.d.ts +20 -0
package/dist/frontend/lowering/builtins/webcrypto.js +112 -0
package/dist/frontend/lowering/builtins/webcrypto.js.map +1 -0
package/dist/frontend/lowering/builtins/workers.d.ts +16 -0
package/dist/frontend/lowering/builtins/workers.js +246 -3
package/dist/frontend/lowering/builtins/workers.js.map +1 -1
package/dist/frontend/lowering/call-arguments.js +69 -14
package/dist/frontend/lowering/call-arguments.js.map +1 -1
package/dist/frontend/lowering/call-signatures.d.ts +19 -1
package/dist/frontend/lowering/call-signatures.js +254 -47
package/dist/frontend/lowering/call-signatures.js.map +1 -1
package/dist/frontend/lowering/checked-promise-all.d.ts +3 -0
package/dist/frontend/lowering/checked-promise-all.js +1 -1
package/dist/frontend/lowering/checked-promise-all.js.map +1 -1
package/dist/frontend/lowering/cjs-exports-object.d.ts +53 -0
package/dist/frontend/lowering/cjs-exports-object.js +528 -0
package/dist/frontend/lowering/cjs-exports-object.js.map +1 -0
package/dist/frontend/lowering/cjs-inline-require.d.ts +86 -0
package/dist/frontend/lowering/cjs-inline-require.js +314 -0
package/dist/frontend/lowering/cjs-inline-require.js.map +1 -0
package/dist/frontend/lowering/cjs-tsc-interop.d.ts +28 -0
package/dist/frontend/lowering/cjs-tsc-interop.js +208 -0
package/dist/frontend/lowering/cjs-tsc-interop.js.map +1 -0
package/dist/frontend/lowering/class-attributes.d.ts +19 -0
package/dist/frontend/lowering/class-attributes.js +378 -0
package/dist/frontend/lowering/class-attributes.js.map +1 -0
package/dist/frontend/lowering/class-callbacks.d.ts +3 -1
package/dist/frontend/lowering/class-callbacks.js +21 -10
package/dist/frontend/lowering/class-callbacks.js.map +1 -1
package/dist/frontend/lowering/class-construction.js +49 -4
package/dist/frontend/lowering/class-construction.js.map +1 -1
package/dist/frontend/lowering/class-descriptors.d.ts +2 -0
package/dist/frontend/lowering/class-descriptors.js +8 -8
package/dist/frontend/lowering/class-descriptors.js.map +1 -1
package/dist/frontend/lowering/class-dynamic-dispatch.d.ts +64 -0
package/dist/frontend/lowering/class-dynamic-dispatch.js +1115 -89
package/dist/frontend/lowering/class-dynamic-dispatch.js.map +1 -1
package/dist/frontend/lowering/class-instance-constructor.js +1 -1
package/dist/frontend/lowering/class-instance-constructor.js.map +1 -1
package/dist/frontend/lowering/class-iterables.d.ts +11 -0
package/dist/frontend/lowering/class-iterables.js +31 -0
package/dist/frontend/lowering/class-iterables.js.map +1 -0
package/dist/frontend/lowering/class-method-mutations.js +73 -35
package/dist/frontend/lowering/class-method-mutations.js.map +1 -1
package/dist/frontend/lowering/class-method-values.js +56 -10
package/dist/frontend/lowering/class-method-values.js.map +1 -1
package/dist/frontend/lowering/class-protocol-dispatch.js +24 -22
package/dist/frontend/lowering/class-protocol-dispatch.js.map +1 -1
package/dist/frontend/lowering/class-protocols.d.ts +55 -0
package/dist/frontend/lowering/class-protocols.js +738 -22
package/dist/frontend/lowering/class-protocols.js.map +1 -1
package/dist/frontend/lowering/class-prototypes.d.ts +6 -0
package/dist/frontend/lowering/class-prototypes.js +80 -18
package/dist/frontend/lowering/class-prototypes.js.map +1 -1
package/dist/frontend/lowering/class-runtime-statics.js +1 -1
package/dist/frontend/lowering/class-runtime-statics.js.map +1 -1
package/dist/frontend/lowering/class-static-data.js +2 -2
package/dist/frontend/lowering/class-static-data.js.map +1 -1
package/dist/frontend/lowering/class-to-primitive.d.ts +25 -0
package/dist/frontend/lowering/class-to-primitive.js +261 -0
package/dist/frontend/lowering/class-to-primitive.js.map +1 -0
package/dist/frontend/lowering/class-unions.d.ts +25 -0
package/dist/frontend/lowering/class-unions.js +102 -1
package/dist/frontend/lowering/class-unions.js.map +1 -1
package/dist/frontend/lowering/code-generation.d.ts +14 -0
package/dist/frontend/lowering/code-generation.js +127 -0
package/dist/frontend/lowering/code-generation.js.map +1 -0
package/dist/frontend/lowering/coercions/function-adapters.d.ts +16 -2
package/dist/frontend/lowering/coercions/function-adapters.js +145 -3
package/dist/frontend/lowering/coercions/function-adapters.js.map +1 -1
package/dist/frontend/lowering/coercions/structural-plans.js +25 -3
package/dist/frontend/lowering/coercions/structural-plans.js.map +1 -1
package/dist/frontend/lowering/coercions/structural.js +35 -3
package/dist/frontend/lowering/coercions/structural.js.map +1 -1
package/dist/frontend/lowering/coercions/unions.d.ts +15 -0
package/dist/frontend/lowering/coercions/unions.js +57 -1
package/dist/frontend/lowering/coercions/unions.js.map +1 -1
package/dist/frontend/lowering/collection-ingestion.js +2 -2
package/dist/frontend/lowering/collection-ingestion.js.map +1 -1
package/dist/frontend/lowering/collection-narrowing.js +2 -4
package/dist/frontend/lowering/collection-narrowing.js.map +1 -1
package/dist/frontend/lowering/construction-escapes.js +8 -8
package/dist/frontend/lowering/construction-escapes.js.map +1 -1
package/dist/frontend/lowering/construction-escapes.test.js +4 -4
package/dist/frontend/lowering/construction-escapes.test.js.map +1 -1
package/dist/frontend/lowering/constructor-returns.d.ts +61 -0
package/dist/frontend/lowering/constructor-returns.js +477 -0
package/dist/frontend/lowering/constructor-returns.js.map +1 -0
package/dist/frontend/lowering/containers/array-callback-call.js +1 -1
package/dist/frontend/lowering/containers/array-callback-call.js.map +1 -1
package/dist/frontend/lowering/containers/array-callbacks.d.ts +9 -0
package/dist/frontend/lowering/containers/array-callbacks.js +266 -100
package/dist/frontend/lowering/containers/array-callbacks.js.map +1 -1
package/dist/frontend/lowering/containers/array-concat.js +1 -1
package/dist/frontend/lowering/containers/array-concat.js.map +1 -1
package/dist/frontend/lowering/containers/array-construction.d.ts +0 -1
package/dist/frontend/lowering/containers/array-construction.js +51 -13
package/dist/frontend/lowering/containers/array-construction.js.map +1 -1
package/dist/frontend/lowering/containers/array-from-async.d.ts +19 -0
package/dist/frontend/lowering/containers/array-from-async.js +427 -0
package/dist/frontend/lowering/containers/array-from-async.js.map +1 -0
package/dist/frontend/lowering/containers/array-methods.js +89 -77
package/dist/frontend/lowering/containers/array-methods.js.map +1 -1
package/dist/frontend/lowering/containers/array-pipelines.js +1 -0
package/dist/frontend/lowering/containers/array-pipelines.js.map +1 -1
package/dist/frontend/lowering/containers/bytes.js +161 -101
package/dist/frontend/lowering/containers/bytes.js.map +1 -1
package/dist/frontend/lowering/containers/callback-arguments.d.ts +9 -1
package/dist/frontend/lowering/containers/callback-arguments.js +55 -5
package/dist/frontend/lowering/containers/callback-arguments.js.map +1 -1
package/dist/frontend/lowering/containers/collection-grouping.d.ts +7 -8
package/dist/frontend/lowering/containers/collection-grouping.js +219 -27
package/dist/frontend/lowering/containers/collection-grouping.js.map +1 -1
package/dist/frontend/lowering/containers/collection-methods.js +81 -48
package/dist/frontend/lowering/containers/collection-methods.js.map +1 -1
package/dist/frontend/lowering/containers/dynamic-receivers.js +1 -1
package/dist/frontend/lowering/containers/dynamic-receivers.js.map +1 -1
package/dist/frontend/lowering/containers/exec-result-uses.js +2 -2
package/dist/frontend/lowering/containers/exec-result-uses.js.map +1 -1
package/dist/frontend/lowering/containers/for-of.d.ts +6 -0
package/dist/frontend/lowering/containers/for-of.js +19 -19
package/dist/frontend/lowering/containers/for-of.js.map +1 -1
package/dist/frontend/lowering/containers/indexed-objects.js +142 -57
package/dist/frontend/lowering/containers/indexed-objects.js.map +1 -1
package/dist/frontend/lowering/containers/iterator-helpers.d.ts +53 -4
package/dist/frontend/lowering/containers/iterator-helpers.js +1581 -462
package/dist/frontend/lowering/containers/iterator-helpers.js.map +1 -1
package/dist/frontend/lowering/containers/match-row-uses.d.ts +17 -0
package/dist/frontend/lowering/containers/match-row-uses.js +264 -0
package/dist/frontend/lowering/containers/match-row-uses.js.map +1 -0
package/dist/frontend/lowering/containers/string-and-regexp.d.ts +14 -0
package/dist/frontend/lowering/containers/string-and-regexp.js +419 -30
package/dist/frontend/lowering/containers/string-and-regexp.js.map +1 -1
package/dist/frontend/lowering/containers/string-replacement.js +1 -1
package/dist/frontend/lowering/containers/string-replacement.js.map +1 -1
package/dist/frontend/lowering/cycle-initialization.d.ts +4 -0
package/dist/frontend/lowering/cycle-initialization.js +39 -0
package/dist/frontend/lowering/cycle-initialization.js.map +1 -1
package/dist/frontend/lowering/deferred-module-initializers.js +47 -43
package/dist/frontend/lowering/deferred-module-initializers.js.map +1 -1
package/dist/frontend/lowering/devirtualize.d.ts +1 -1
package/dist/frontend/lowering/devirtualize.js +27 -7
package/dist/frontend/lowering/devirtualize.js.map +1 -1
package/dist/frontend/lowering/divergences.d.ts +0 -5
package/dist/frontend/lowering/divergences.js +238 -128
package/dist/frontend/lowering/divergences.js.map +1 -1
package/dist/frontend/lowering/dyn-streams.d.ts +25 -0
package/dist/frontend/lowering/dyn-streams.js +257 -0
package/dist/frontend/lowering/dyn-streams.js.map +1 -0
package/dist/frontend/lowering/error-methods.js +4 -1
package/dist/frontend/lowering/error-methods.js.map +1 -1
package/dist/frontend/lowering/error-name-order.d.ts +19 -0
package/dist/frontend/lowering/error-name-order.js +93 -0
package/dist/frontend/lowering/error-name-order.js.map +1 -0
package/dist/frontend/lowering/expressions/array-literals.d.ts +21 -0
package/dist/frontend/lowering/expressions/array-literals.js +703 -0
package/dist/frontend/lowering/expressions/array-literals.js.map +1 -0
package/dist/frontend/lowering/expressions/binary.d.ts +35 -0
package/dist/frontend/lowering/expressions/binary.js +2483 -0
package/dist/frontend/lowering/expressions/binary.js.map +1 -0
package/dist/frontend/lowering/expressions/element-access.d.ts +31 -0
package/dist/frontend/lowering/expressions/element-access.js +1797 -0
package/dist/frontend/lowering/expressions/element-access.js.map +1 -0
package/dist/frontend/lowering/expressions/evaluation-safety.js +4 -3
package/dist/frontend/lowering/expressions/evaluation-safety.js.map +1 -1
package/dist/frontend/lowering/expressions/hosted-narrowing.d.ts +38 -0
package/dist/frontend/lowering/expressions/hosted-narrowing.js +160 -0
package/dist/frontend/lowering/expressions/hosted-narrowing.js.map +1 -0
package/dist/frontend/lowering/expressions/identifiers.d.ts +4 -0
package/dist/frontend/lowering/expressions/identifiers.js +830 -0
package/dist/frontend/lowering/expressions/identifiers.js.map +1 -0
package/dist/frontend/lowering/expressions/keyed-field-targets.d.ts +40 -0
package/dist/frontend/lowering/expressions/keyed-field-targets.js +226 -0
package/dist/frontend/lowering/expressions/keyed-field-targets.js.map +1 -0
package/dist/frontend/lowering/expressions/narrowing.d.ts +37 -0
package/dist/frontend/lowering/expressions/narrowing.js +1322 -0
package/dist/frontend/lowering/expressions/narrowing.js.map +1 -0
package/dist/frontend/lowering/expressions/native-proxy.js +4 -4
package/dist/frontend/lowering/expressions/native-proxy.js.map +1 -1
package/dist/frontend/lowering/expressions/nullish-assignment.js +45 -0
package/dist/frontend/lowering/expressions/nullish-assignment.js.map +1 -1
package/dist/frontend/lowering/expressions/object-literals.d.ts +10 -0
package/dist/frontend/lowering/expressions/object-literals.js +253 -85
package/dist/frontend/lowering/expressions/object-literals.js.map +1 -1
package/dist/frontend/lowering/expressions/optional-chains.d.ts +2 -1
package/dist/frontend/lowering/expressions/optional-chains.js +91 -14
package/dist/frontend/lowering/expressions/optional-chains.js.map +1 -1
package/dist/frontend/lowering/expressions/property-access.d.ts +110 -0
package/dist/frontend/lowering/expressions/property-access.js +3544 -0
package/dist/frontend/lowering/expressions/property-access.js.map +1 -0
package/dist/frontend/lowering/expressions/relational.d.ts +28 -0
package/dist/frontend/lowering/expressions/relational.js +1679 -0
package/dist/frontend/lowering/expressions/relational.js.map +1 -0
package/dist/frontend/lowering/expressions/typeof.d.ts +22 -0
package/dist/frontend/lowering/expressions/typeof.js +538 -0
package/dist/frontend/lowering/expressions/typeof.js.map +1 -0
package/dist/frontend/lowering/expressions/union-fields.js +1 -1
package/dist/frontend/lowering/expressions/union-fields.js.map +1 -1
package/dist/frontend/lowering/expressions/updates.d.ts +21 -0
package/dist/frontend/lowering/expressions/updates.js +780 -0
package/dist/frontend/lowering/expressions/updates.js.map +1 -0
package/dist/frontend/lowering/function-context.d.ts +10 -0
package/dist/frontend/lowering/function-context.js +11 -1
package/dist/frontend/lowering/function-context.js.map +1 -1
package/dist/frontend/lowering/function-returns.js +52 -28
package/dist/frontend/lowering/function-returns.js.map +1 -1
package/dist/frontend/lowering/general-streams.d.ts +25 -0
package/dist/frontend/lowering/general-streams.js +108 -0
package/dist/frontend/lowering/general-streams.js.map +1 -0
package/dist/frontend/lowering/generator-dynamic-dispatch.d.ts +7 -0
package/dist/frontend/lowering/generator-dynamic-dispatch.js +172 -69
package/dist/frontend/lowering/generator-dynamic-dispatch.js.map +1 -1
package/dist/frontend/lowering/generic-functions.d.ts +39 -0
package/dist/frontend/lowering/generic-functions.js +393 -75
package/dist/frontend/lowering/generic-functions.js.map +1 -1
package/dist/frontend/lowering/import-meta.js +2 -2
package/dist/frontend/lowering/import-meta.js.map +1 -1
package/dist/frontend/lowering/intern-tables.js +10 -9
package/dist/frontend/lowering/intern-tables.js.map +1 -1
package/dist/frontend/lowering/iterator-adapters.d.ts +19 -0
package/dist/frontend/lowering/iterator-adapters.js +331 -3
package/dist/frontend/lowering/iterator-adapters.js.map +1 -1
package/dist/frontend/lowering/js-class-fields.d.ts +28 -0
package/dist/frontend/lowering/js-class-fields.js +170 -0
package/dist/frontend/lowering/js-class-fields.js.map +1 -0
package/dist/frontend/lowering/js-dynamic-objects.d.ts +15 -0
package/dist/frontend/lowering/js-dynamic-objects.js +299 -0
package/dist/frontend/lowering/js-dynamic-objects.js.map +1 -0
package/dist/frontend/lowering/js-dynamic-objects.test.d.ts +1 -0
package/dist/frontend/lowering/js-dynamic-objects.test.js +35 -0
package/dist/frontend/lowering/js-dynamic-objects.test.js.map +1 -0
package/dist/frontend/lowering/json-require.d.ts +22 -0
package/dist/frontend/lowering/json-require.js +131 -0
package/dist/frontend/lowering/json-require.js.map +1 -0
package/dist/frontend/lowering/key-order-witness.d.ts +44 -0
package/dist/frontend/lowering/key-order-witness.js +641 -0
package/dist/frontend/lowering/key-order-witness.js.map +1 -0
package/dist/frontend/lowering/key-order-witness.test.d.ts +1 -0
package/dist/frontend/lowering/key-order-witness.test.js +239 -0
package/dist/frontend/lowering/key-order-witness.test.js.map +1 -0
package/dist/frontend/lowering/lifetime-regions.js +7 -7
package/dist/frontend/lowering/lifetime-regions.js.map +1 -1
package/dist/frontend/lowering/lower-assert.js +61 -60
package/dist/frontend/lowering/lower-assert.js.map +1 -1
package/dist/frontend/lowering/lower-async-iteration.d.ts +10 -1
package/dist/frontend/lowering/lower-async-iteration.js +34 -6
package/dist/frontend/lowering/lower-async-iteration.js.map +1 -1
package/dist/frontend/lowering/lower-builtin-values.d.ts +5 -0
package/dist/frontend/lowering/lower-builtin-values.js +32 -3
package/dist/frontend/lowering/lower-builtin-values.js.map +1 -1
package/dist/frontend/lowering/lower-calls.js +1298 -452
package/dist/frontend/lowering/lower-calls.js.map +1 -1
package/dist/frontend/lowering/lower-classes.d.ts +50 -3
package/dist/frontend/lowering/lower-classes.js +1499 -456
package/dist/frontend/lowering/lower-classes.js.map +1 -1
package/dist/frontend/lowering/lower-comptime.d.ts +4 -2
package/dist/frontend/lowering/lower-comptime.js +111 -13
package/dist/frontend/lowering/lower-comptime.js.map +1 -1
package/dist/frontend/lowering/lower-console.js +13 -11
package/dist/frontend/lowering/lower-console.js.map +1 -1
package/dist/frontend/lowering/lower-dgram.d.ts +10 -0
package/dist/frontend/lowering/lower-dgram.js +179 -8
package/dist/frontend/lowering/lower-dgram.js.map +1 -1
package/dist/frontend/lowering/lower-enums.js +113 -14
package/dist/frontend/lowering/lower-enums.js.map +1 -1
package/dist/frontend/lowering/lower-event-emitter.d.ts +16 -7
package/dist/frontend/lowering/lower-event-emitter.js +268 -71
package/dist/frontend/lowering/lower-event-emitter.js.map +1 -1
package/dist/frontend/lowering/lower-event-target.js +2 -2
package/dist/frontend/lowering/lower-event-target.js.map +1 -1
package/dist/frontend/lowering/lower-expando.js +17 -13
package/dist/frontend/lowering/lower-expando.js.map +1 -1
package/dist/frontend/lowering/lower-exprs.d.ts +188 -186
package/dist/frontend/lowering/lower-exprs.js +1493 -12407
package/dist/frontend/lowering/lower-exprs.js.map +1 -1
package/dist/frontend/lowering/lower-functions.js +68 -22
package/dist/frontend/lowering/lower-functions.js.map +1 -1
package/dist/frontend/lowering/lower-generators.d.ts +6 -0
package/dist/frontend/lowering/lower-generators.js +29 -16
package/dist/frontend/lowering/lower-generators.js.map +1 -1
package/dist/frontend/lowering/lower-global-value.js +5 -1
package/dist/frontend/lowering/lower-global-value.js.map +1 -1
package/dist/frontend/lowering/lower-inspect.js +354 -99
package/dist/frontend/lowering/lower-inspect.js.map +1 -1
package/dist/frontend/lowering/lower-mixins.js +23 -20
package/dist/frontend/lowering/lower-mixins.js.map +1 -1
package/dist/frontend/lowering/lower-mock.d.ts +19 -2
package/dist/frontend/lowering/lower-mock.js +557 -74
package/dist/frontend/lowering/lower-mock.js.map +1 -1
package/dist/frontend/lowering/lower-modules.js +268 -61
package/dist/frontend/lowering/lower-modules.js.map +1 -1
package/dist/frontend/lowering/lower-namespaces.d.ts +6 -0
package/dist/frontend/lowering/lower-namespaces.js +45 -33
package/dist/frontend/lowering/lower-namespaces.js.map +1 -1
package/dist/frontend/lowering/lower-node-module.d.ts +16 -0
package/dist/frontend/lowering/lower-node-module.js +147 -14
package/dist/frontend/lowering/lower-node-module.js.map +1 -1
package/dist/frontend/lowering/lower-server.d.ts +6 -6
package/dist/frontend/lowering/lower-server.js +638 -105
package/dist/frontend/lowering/lower-server.js.map +1 -1
package/dist/frontend/lowering/lower-stdlib.d.ts +4 -0
package/dist/frontend/lowering/lower-stdlib.js +151 -109
package/dist/frontend/lowering/lower-stdlib.js.map +1 -1
package/dist/frontend/lowering/lower-stmts.d.ts +28 -2
package/dist/frontend/lowering/lower-stmts.js +1589 -398
package/dist/frontend/lowering/lower-stmts.js.map +1 -1
package/dist/frontend/lowering/lower-stream.d.ts +4 -3
package/dist/frontend/lowering/lower-stream.js +714 -75
package/dist/frontend/lowering/lower-stream.js.map +1 -1
package/dist/frontend/lowering/lower-test.d.ts +3 -0
package/dist/frontend/lowering/lower-test.js +574 -100
package/dist/frontend/lowering/lower-test.js.map +1 -1
package/dist/frontend/lowering/lower-timers.js +80 -32
package/dist/frontend/lowering/lower-timers.js.map +1 -1
package/dist/frontend/lowering/lower-url.js +1 -1
package/dist/frontend/lowering/lower-url.js.map +1 -1
package/dist/frontend/lowering/lowerer.d.ts +409 -26
package/dist/frontend/lowering/lowerer.js +1918 -305
package/dist/frontend/lowering/lowerer.js.map +1 -1
package/dist/frontend/lowering/lowerer.test.js +10 -4
package/dist/frontend/lowering/lowerer.test.js.map +1 -1
package/dist/frontend/lowering/maybe-promise.d.ts +46 -0
package/dist/frontend/lowering/maybe-promise.js +249 -0
package/dist/frontend/lowering/maybe-promise.js.map +1 -0
package/dist/frontend/lowering/module-member-this.d.ts +3 -0
package/dist/frontend/lowering/module-member-this.js +262 -0
package/dist/frontend/lowering/module-member-this.js.map +1 -0
package/dist/frontend/lowering/module-namespace-elements.js +1 -1
package/dist/frontend/lowering/module-namespace-elements.js.map +1 -1
package/dist/frontend/lowering/nan-coded-reads.d.ts +3 -0
package/dist/frontend/lowering/nan-coded-reads.js +45 -32
package/dist/frontend/lowering/nan-coded-reads.js.map +1 -1
package/dist/frontend/lowering/narrowing-stability.d.ts +18 -3
package/dist/frontend/lowering/narrowing-stability.js +104 -32
package/dist/frontend/lowering/narrowing-stability.js.map +1 -1
package/dist/frontend/lowering/native-ffi.js +11 -11
package/dist/frontend/lowering/native-ffi.js.map +1 -1
package/dist/frontend/lowering/null-prototype.d.ts +13 -0
package/dist/frontend/lowering/null-prototype.js +33 -0
package/dist/frontend/lowering/null-prototype.js.map +1 -0
package/dist/frontend/lowering/object-factory-new.js +6 -8
package/dist/frontend/lowering/object-factory-new.js.map +1 -1
package/dist/frontend/lowering/private-brands.d.ts +46 -0
package/dist/frontend/lowering/private-brands.js +265 -0
package/dist/frontend/lowering/private-brands.js.map +1 -0
package/dist/frontend/lowering/promise-executor-adapter.d.ts +11 -0
package/dist/frontend/lowering/promise-executor-adapter.js +87 -0
package/dist/frontend/lowering/promise-executor-adapter.js.map +1 -0
package/dist/frontend/lowering/require-initialization.d.ts +32 -0
package/dist/frontend/lowering/require-initialization.js +246 -0
package/dist/frontend/lowering/require-initialization.js.map +1 -0
package/dist/frontend/lowering/runtime-optional-bounds.js +7 -7
package/dist/frontend/lowering/runtime-optional-bounds.js.map +1 -1
package/dist/frontend/lowering/runtime-optional-elements.js +12 -12
package/dist/frontend/lowering/runtime-optional-elements.js.map +1 -1
package/dist/frontend/lowering/runtime-optional-guards.js +10 -10
package/dist/frontend/lowering/runtime-optional-guards.js.map +1 -1
package/dist/frontend/lowering/runtime-optional-guards.test.js +1 -1
package/dist/frontend/lowering/runtime-optional-guards.test.js.map +1 -1
package/dist/frontend/lowering/runtime-optional-ownership.js +10 -9
package/dist/frontend/lowering/runtime-optional-ownership.js.map +1 -1
package/dist/frontend/lowering/runtime-optional-provenance.js +2 -2
package/dist/frontend/lowering/runtime-optional-provenance.js.map +1 -1
package/dist/frontend/lowering/runtime-optional-records.d.ts +35 -0
package/dist/frontend/lowering/runtime-optional-records.js +205 -32
package/dist/frontend/lowering/runtime-optional-records.js.map +1 -1
package/dist/frontend/lowering/runtime-optional-records.test.js +19 -1
package/dist/frontend/lowering/runtime-optional-records.test.js.map +1 -1
package/dist/frontend/lowering/sanitize-class-types.test.js +2 -2
package/dist/frontend/lowering/split-consumers.js +4 -4
package/dist/frontend/lowering/split-consumers.js.map +1 -1
package/dist/frontend/lowering/static-function-names.d.ts +28 -0
package/dist/frontend/lowering/static-function-names.js +212 -0
package/dist/frontend/lowering/static-function-names.js.map +1 -0
package/dist/frontend/lowering/static-this.js +6 -6
package/dist/frontend/lowering/static-this.js.map +1 -1
package/dist/frontend/lowering/strict-mode.d.ts +5 -0
package/dist/frontend/lowering/strict-mode.js +31 -0
package/dist/frontend/lowering/strict-mode.js.map +1 -0
package/dist/frontend/lowering/string-index-bounds.js +10 -10
package/dist/frontend/lowering/string-index-bounds.js.map +1 -1
package/dist/frontend/lowering/string-index.d.ts +12 -0
package/dist/frontend/lowering/string-index.js +72 -1
package/dist/frontend/lowering/string-index.js.map +1 -1
package/dist/frontend/lowering/surfaces.d.ts +15 -6
package/dist/frontend/lowering/surfaces.js +278 -45
package/dist/frontend/lowering/surfaces.js.map +1 -1
package/dist/frontend/lowering/symbol-fields.d.ts +7 -0
package/dist/frontend/lowering/symbol-fields.js +204 -36
package/dist/frontend/lowering/symbol-fields.js.map +1 -1
package/dist/frontend/lowering/symbol-methods.d.ts +2 -1
package/dist/frontend/lowering/symbol-methods.js +24 -6
package/dist/frontend/lowering/symbol-methods.js.map +1 -1
package/dist/frontend/lowering/thread-slots.d.ts +13 -0
package/dist/frontend/lowering/thread-slots.js +208 -0
package/dist/frontend/lowering/thread-slots.js.map +1 -0
package/dist/frontend/lowering/typed-arguments.d.ts +74 -0
package/dist/frontend/lowering/typed-arguments.js +472 -0
package/dist/frontend/lowering/typed-arguments.js.map +1 -0
package/dist/frontend/lowering/union-retag.d.ts +8 -0
package/dist/frontend/lowering/union-retag.js +27 -0
package/dist/frontend/lowering/union-retag.js.map +1 -1
package/dist/frontend/lowering/union-retag.test.js +24 -1
package/dist/frontend/lowering/union-retag.test.js.map +1 -1
package/dist/frontend/lowering/var-hoisting.js +6 -6
package/dist/frontend/lowering/var-hoisting.js.map +1 -1
package/dist/frontend/lowering/width-lift.d.ts +4 -0
package/dist/frontend/mock-shapes.d.ts +5 -0
package/dist/frontend/mock-shapes.js +39 -7
package/dist/frontend/mock-shapes.js.map +1 -1
package/dist/frontend/module-source-candidates.js +1 -1
package/dist/frontend/module-source-candidates.js.map +1 -1
package/dist/frontend/module-source-candidates.test.js +2 -1
package/dist/frontend/module-source-candidates.test.js.map +1 -1
package/dist/frontend/module-syntax.js +8 -8
package/dist/frontend/module-syntax.js.map +1 -1
package/dist/frontend/npm-static-bundled-chunks.d.ts +51 -0
package/dist/frontend/npm-static-bundled-chunks.js +810 -0
package/dist/frontend/npm-static-bundled-chunks.js.map +1 -0
package/dist/frontend/npm-static-bundled-chunks.test.d.ts +1 -0
package/dist/frontend/npm-static-bundled-chunks.test.js +287 -0
package/dist/frontend/npm-static-bundled-chunks.test.js.map +1 -0
package/dist/frontend/npm-static-bundled-cjs.js +24 -23
package/dist/frontend/npm-static-bundled-cjs.js.map +1 -1
package/dist/frontend/npm-static-bundled-esm.d.ts +9 -0
package/dist/frontend/npm-static-bundled-esm.js +768 -0
package/dist/frontend/npm-static-bundled-esm.js.map +1 -0
package/dist/frontend/npm-static-bundled-esm.test.d.ts +1 -0
package/dist/frontend/npm-static-bundled-esm.test.js +207 -0
package/dist/frontend/npm-static-bundled-esm.test.js.map +1 -0
package/dist/frontend/npm-static-cjs-exports-alias.d.ts +2 -0
package/dist/frontend/npm-static-cjs-exports-alias.js +186 -0
package/dist/frontend/npm-static-cjs-exports-alias.js.map +1 -0
package/dist/frontend/npm-static-cjs-exports-alias.test.d.ts +1 -0
package/dist/frontend/npm-static-cjs-exports-alias.test.js +73 -0
package/dist/frontend/npm-static-cjs-exports-alias.test.js.map +1 -0
package/dist/frontend/npm-static-cjs-exports-var.d.ts +2 -0
package/dist/frontend/npm-static-cjs-exports-var.js +236 -0
package/dist/frontend/npm-static-cjs-exports-var.js.map +1 -0
package/dist/frontend/npm-static-declaration-syntax.js +102 -101
package/dist/frontend/npm-static-declaration-syntax.js.map +1 -1
package/dist/frontend/npm-static-prune.js +36 -24
package/dist/frontend/npm-static-prune.js.map +1 -1
package/dist/frontend/npm-static-rewrite-host.d.ts +4 -1
package/dist/frontend/npm-static-rewrite-host.js +14 -3
package/dist/frontend/npm-static-rewrite-host.js.map +1 -1
package/dist/frontend/npm-static-rewrite-syntax.d.ts +19 -0
package/dist/frontend/npm-static-rewrite-syntax.js +274 -101
package/dist/frontend/npm-static-rewrite-syntax.js.map +1 -1
package/dist/frontend/npm-static-subtyping.js +7 -9
package/dist/frontend/npm-static-subtyping.js.map +1 -1
package/dist/frontend/npm-static.d.ts +17 -1
package/dist/frontend/npm-static.js +167 -16
package/dist/frontend/npm-static.js.map +1 -1
package/dist/frontend/npm-static.test.js +22 -1
package/dist/frontend/npm-static.test.js.map +1 -1
package/dist/frontend/pipeline.js +164 -26
package/dist/frontend/pipeline.js.map +1 -1
package/dist/frontend/pipeline.test.js +22 -1
package/dist/frontend/pipeline.test.js.map +1 -1
package/dist/frontend/program-analysis.d.ts +6 -1
package/dist/frontend/program-analysis.js +7 -0
package/dist/frontend/program-analysis.js.map +1 -1
package/dist/frontend/program.d.ts +92 -2
package/dist/frontend/program.js +1557 -254
package/dist/frontend/program.js.map +1 -1
package/dist/frontend/program.test.js +76 -6
package/dist/frontend/program.test.js.map +1 -1
package/dist/frontend/resolve.js +36 -2
package/dist/frontend/resolve.js.map +1 -1
package/dist/frontend/resolve.test.js +49 -0
package/dist/frontend/resolve.test.js.map +1 -1
package/dist/frontend/services.d.ts +20 -1
package/dist/frontend/services.js +40 -3
package/dist/frontend/services.js.map +1 -1
package/dist/frontend/services.test.js +2 -1
package/dist/frontend/services.test.js.map +1 -1
package/dist/frontend/threads-import.js +1 -1
package/dist/frontend/threads-import.js.map +1 -1
package/dist/frontend/tier-analysis.d.ts +71 -0
package/dist/frontend/tier-analysis.js +522 -0
package/dist/frontend/tier-analysis.js.map +1 -0
package/dist/frontend/ts7/api-conformance.d.ts +234 -0
package/dist/frontend/ts7/api-conformance.js +7 -0
package/dist/frontend/ts7/api-conformance.js.map +1 -0
package/dist/frontend/ts7/ast-guards.generated.js +2 -1
package/dist/frontend/ts7/ast-guards.generated.js.map +1 -1
package/dist/frontend/ts7/ast-node.d.ts +47 -25
package/dist/frontend/ts7/ast-node.js +64 -18
package/dist/frontend/ts7/ast-node.js.map +1 -1
package/dist/frontend/ts7/ast-node.test.js +36 -12
package/dist/frontend/ts7/ast-node.test.js.map +1 -1
package/dist/frontend/ts7/ast-types.d.ts +10 -3
package/dist/frontend/ts7/ast-types.generated.d.ts +39 -39
package/dist/frontend/ts7/ast.d.ts +1 -0
package/dist/frontend/ts7/ast.js +3 -2
package/dist/frontend/ts7/ast.js.map +1 -1
package/dist/frontend/ts7/checker-backend.d.ts +23 -0
package/dist/frontend/ts7/checker-backend.js +88 -0
package/dist/frontend/ts7/checker-backend.js.map +1 -0
package/dist/frontend/ts7/checker-backend.test.d.ts +1 -0
package/dist/frontend/ts7/checker-backend.test.js +63 -0
package/dist/frontend/ts7/checker-backend.test.js.map +1 -0
package/dist/frontend/ts7/checker-cache.d.ts +0 -3
package/dist/frontend/ts7/checker-cache.js +0 -6
package/dist/frontend/ts7/checker-cache.js.map +1 -1
package/dist/frontend/ts7/checker.d.ts +18 -11
package/dist/frontend/ts7/checker.js +42 -55
package/dist/frontend/ts7/checker.js.map +1 -1
package/dist/frontend/ts7/checker.test.js +10 -7
package/dist/frontend/ts7/checker.test.js.map +1 -1
package/dist/frontend/ts7/diagnostic.d.ts +19 -0
package/dist/frontend/ts7/diagnostic.js +22 -0
package/dist/frontend/ts7/diagnostic.js.map +1 -0
package/dist/frontend/ts7/node-functions.d.ts +8 -0
package/dist/frontend/ts7/node-functions.js +18 -0
package/dist/frontend/ts7/node-functions.js.map +1 -0
package/dist/frontend/ts7/program-host.d.ts +5 -1
package/dist/frontend/ts7/program-host.js +12 -0
package/dist/frontend/ts7/program-host.js.map +1 -1
package/dist/frontend/ts7/rpc-api.d.ts +5 -1
package/dist/frontend/ts7/rpc-api.js +8 -1
package/dist/frontend/ts7/rpc-api.js.map +1 -1
package/dist/frontend/ts7/semantic-checker.d.ts +13 -6
package/dist/frontend/ts7/semantic-checker.js +26 -8
package/dist/frontend/ts7/semantic-checker.js.map +1 -1
package/dist/frontend/ts7/semantic-checker.test.js +12 -9
package/dist/frontend/ts7/semantic-checker.test.js.map +1 -1
package/dist/frontend/ts7/semantic-model.d.ts +54 -24
package/dist/frontend/ts7/semantic-model.js +88 -16
package/dist/frontend/ts7/semantic-model.js.map +1 -1
package/dist/frontend/ts7/semantic-model.test.js +4 -4
package/dist/frontend/ts7/semantic-model.test.js.map +1 -1
package/dist/frontend/ts7/semantic-types.d.ts +7 -3
package/dist/frontend/ts7/semantic-types.js +1 -1
package/dist/frontend/ts7/semantic-types.js.map +1 -1
package/dist/frontend/ts7/session.d.ts +11 -11
package/dist/frontend/ts7/session.js +8 -5
package/dist/frontend/ts7/session.js.map +1 -1
package/dist/frontend/ts7/session.test.js +9 -5
package/dist/frontend/ts7/session.test.js.map +1 -1
package/dist/frontend/ts7/source-parser.d.ts +6 -2
package/dist/frontend/ts7/source-parser.js +24 -3
package/dist/frontend/ts7/source-parser.js.map +1 -1
package/dist/frontend/ts7/source-parser.test.js +38 -17
package/dist/frontend/ts7/source-parser.test.js.map +1 -1
package/dist/frontend/type-mapper.d.ts +122 -2
package/dist/frontend/type-mapper.js +2612 -695
package/dist/frontend/type-mapper.js.map +1 -1
package/dist/frontend/type-only-imports.d.ts +28 -0
package/dist/frontend/type-only-imports.js +122 -0
package/dist/frontend/type-only-imports.js.map +1 -0
package/dist/frontend/worker-target.js +8 -8
package/dist/frontend/worker-target.js.map +1 -1
package/dist/index.d.ts +3 -1
package/dist/index.js +47 -10
package/dist/index.js.map +1 -1
package/dist/ir/analysis.js +4 -2
package/dist/ir/analysis.js.map +1 -1
package/dist/ir/api.d.ts +1 -1
package/dist/ir/api.js +1 -1
package/dist/ir/api.js.map +1 -1
package/dist/ir/array-length-stability.d.ts +30 -0
package/dist/ir/array-length-stability.js +236 -0
package/dist/ir/array-length-stability.js.map +1 -0
package/dist/ir/array-length-stability.test.d.ts +1 -0
package/dist/ir/array-length-stability.test.js +113 -0
package/dist/ir/array-length-stability.test.js.map +1 -0
package/dist/ir/build.d.ts +2 -2
package/dist/ir/build.js +1 -1
package/dist/ir/build.js.map +1 -1
package/dist/ir/builtin-effects.js +139 -0
package/dist/ir/builtin-effects.js.map +1 -1
package/dist/ir/builtin-signatures.d.ts +1 -1
package/dist/ir/builtin-signatures.js +655 -25
package/dist/ir/builtin-signatures.js.map +1 -1
package/dist/ir/byte-numbers.js +3 -0
package/dist/ir/byte-numbers.js.map +1 -1
package/dist/ir/callback-specialization.d.ts +37 -0
package/dist/ir/callback-specialization.js +459 -0
package/dist/ir/callback-specialization.js.map +1 -0
package/dist/ir/callback-specialization.test.d.ts +1 -0
package/dist/ir/callback-specialization.test.js +208 -0
package/dist/ir/callback-specialization.test.js.map +1 -0
package/dist/ir/capture-values.d.ts +0 -1
package/dist/ir/capture-values.js +51 -40
package/dist/ir/capture-values.js.map +1 -1
package/dist/ir/constant-globals.test.js +1 -1
package/dist/ir/constant-tables.test.js +1 -1
package/dist/ir/field-values.test.js +1 -1
package/dist/ir/final-fields.test.js +1 -1
package/dist/ir/function-references.test.js +10 -1
package/dist/ir/function-references.test.js.map +1 -1
package/dist/ir/init-only-globals.test.js +1 -1
package/dist/ir/initializer-bindings.test.js +1 -1
package/dist/ir/int32-slots.d.ts +14 -0
package/dist/ir/int32-slots.js +119 -14
package/dist/ir/int32-slots.js.map +1 -1
package/dist/ir/int32-slots.test.js +29 -1
package/dist/ir/int32-slots.test.js.map +1 -1
package/dist/ir/integer-loop-facts.d.ts +16 -6
package/dist/ir/integer-loop-facts.js +143 -38
package/dist/ir/integer-loop-facts.js.map +1 -1
package/dist/ir/integer-loops.d.ts +1 -1
package/dist/ir/integer-loops.js +39 -9
package/dist/ir/integer-loops.js.map +1 -1
package/dist/ir/integer-loops.test.js +104 -0
package/dist/ir/integer-loops.test.js.map +1 -1
package/dist/ir/integer-ranges.d.ts +3 -0
package/dist/ir/integer-ranges.js +4 -6
package/dist/ir/integer-ranges.js.map +1 -1
package/dist/ir/integer-ranges.test.js +142 -1
package/dist/ir/integer-ranges.test.js.map +1 -1
package/dist/ir/intrinsic-signatures.js +6 -0
package/dist/ir/intrinsic-signatures.js.map +1 -1
package/dist/ir/ir.d.ts +234 -58
package/dist/ir/ir.js +123 -12
package/dist/ir/ir.js.map +1 -1
package/dist/ir/ir.test.js +10 -0
package/dist/ir/ir.test.js.map +1 -1
package/dist/ir/jsval.d.ts +8 -0
package/dist/ir/jsval.js +365 -0
package/dist/ir/jsval.js.map +1 -0
package/dist/ir/jsval.test.d.ts +1 -0
package/dist/ir/jsval.test.js +239 -0
package/dist/ir/jsval.test.js.map +1 -0
package/dist/ir/runtime-features.d.ts +150 -33
package/dist/ir/runtime-features.js +672 -339
package/dist/ir/runtime-features.js.map +1 -1
package/dist/ir/runtime-features.test.js +62 -0
package/dist/ir/runtime-features.test.js.map +1 -1
package/dist/ir/scalar-records.test.js +1 -1
package/dist/ir/self-captures.d.ts +33 -0
package/dist/ir/self-captures.js +245 -0
package/dist/ir/self-captures.js.map +1 -0
package/dist/ir/self-captures.test.d.ts +1 -0
package/dist/ir/self-captures.test.js +135 -0
package/dist/ir/self-captures.test.js.map +1 -0
package/dist/ir/serialize.d.ts +1 -1
package/dist/ir/serialize.js +7 -4
package/dist/ir/serialize.js.map +1 -1
package/dist/ir/tiers.d.ts +26 -0
package/dist/ir/tiers.js +101 -0
package/dist/ir/tiers.js.map +1 -0
package/dist/ir/tiers.test.d.ts +1 -0
package/dist/ir/tiers.test.js +140 -0
package/dist/ir/tiers.test.js.map +1 -0
package/dist/ir/traverse.js +107 -94
package/dist/ir/traverse.js.map +1 -1
package/dist/ir/traverse.test.js +33 -30
package/dist/ir/traverse.test.js.map +1 -1
package/dist/ir/unshare.js +65 -3
package/dist/ir/unshare.js.map +1 -1
package/dist/ir/unshare.test.js +1 -1
package/dist/ir/validate.js +220 -71
package/dist/ir/validate.js.map +1 -1
package/dist/ir/validate.test.js +64 -9
package/dist/ir/validate.test.js.map +1 -1
package/dist/library/fence-eval.test.js +1 -1
package/dist/library/int-infer.test.js +4 -4
package/dist/library/ir-policy.js +18 -0
package/dist/library/ir-policy.js.map +1 -1
package/dist/library/library-cache.d.ts +1 -0
package/dist/library/library-cache.js.map +1 -1
package/dist/library/library-cache.test.js +5 -5
package/dist/library/library-profile.d.ts +4 -4
package/dist/library/library-profile.js +35 -7
package/dist/library/library-profile.js.map +1 -1
package/dist/library/prepare.js +13 -1
package/dist/library/prepare.js.map +1 -1
package/dist/native/cli.js +5 -0
package/dist/native/cli.js.map +1 -1
package/dist/native/compiler.js +2 -2
package/dist/native/compiler.js.map +1 -1
package/dist/native/compiler.test.js +2 -2
package/dist/native/prepare.js +7 -0
package/dist/native/prepare.js.map +1 -1
package/dist/native/sanitizer.test.js +12 -0
package/dist/native/sanitizer.test.js.map +1 -1
package/dist/native/toolchain.d.ts +2 -0
package/dist/native/toolchain.js +10 -1
package/dist/native/toolchain.js.map +1 -1
package/dist/native/toolchain.test.js +39 -1
package/dist/native/toolchain.test.js.map +1 -1
package/dist/startup-cache.d.ts +1 -0
package/dist/startup-cache.js +1 -0
package/dist/startup-cache.js.map +1 -1
package/dist/wasm/base64.d.ts +5 -0
package/dist/wasm/base64.js +62 -0
package/dist/wasm/base64.js.map +1 -0
package/dist/wasm/binary.d.ts +36 -0
package/dist/wasm/binary.js +1976 -0
package/dist/wasm/binary.js.map +1 -0
package/dist/wasm/binary.test.d.ts +1 -0
package/dist/wasm/binary.test.js +190 -0
package/dist/wasm/binary.test.js.map +1 -0
package/dist/wasm/discover.d.ts +38 -0
package/dist/wasm/discover.js +377 -0
package/dist/wasm/discover.js.map +1 -0
package/dist/wasm/discover.test.d.ts +1 -0
package/dist/wasm/discover.test.js +24 -0
package/dist/wasm/discover.test.js.map +1 -0
package/dist/wasm/module.d.ts +151 -0
package/dist/wasm/module.js +575 -0
package/dist/wasm/module.js.map +1 -0
package/dist/wasm/translate.d.ts +48 -0
package/dist/wasm/translate.js +2129 -0
package/dist/wasm/translate.js.map +1 -0
package/dist/wasm/translate.test.d.ts +1 -0
package/dist/wasm/translate.test.js +207 -0
package/dist/wasm/translate.test.js.map +1 -0
package/package.json +21 -20
package/surface-manifest.json +332 -36

package/dist/frontend/lowering/key-order-witness.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"key-order-witness.js","sourceRoot":"","sources":["../../../src/frontend/lowering/key-order-witness.ts"],"names":[],"mappings":"AA0CA,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AActF;;gEAEgE;AAChE,MAAM,OAAO,aAAa;IACP,QAAQ,GAAG,IAAI,GAAG,EAA6B,CAAC;IAChD,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpD;wCACoC;IAC3B,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,6CAA6C;IACpC,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,OAAO,CAAC,IAAY,EAAE,QAA2B;QAC/C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,IAAY,EAAE,aAAqB;QACtC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CAAC,IAAY;QAClB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9D,CAAC;IAED,SAAS,CAAC,IAAY;QACpB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,CAAC,IAAY;QACjB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;CACF;AAED,MAAM,YAAY,GAAG,CAAC,IAAY,EAAW,EAAE;IAC7C,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACvB,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;AAC/E,CAAC,CAAC;AAqCF;qEACqE;AACrE,SAAS,oBAAoB,CAAC,IAAmC;IAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,EAAE,KAAK,qBAAqB;QAAE,OAAO,KAAK,CAAC;IACjF,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,OAAO,CACL,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAC9F,CAAC;AACJ,CAAC;AAED;;;cAGc;AACd,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,GAA0B;IACjF,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC;IAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,MAAM,OAAO,GAAG,CAAC,OAAe,EAAc,EAAE;QAC9C,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3B,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,CAAC,GAAG;gBACF,QAAQ,EAAE,EAAE;gBACZ,MAAM,EAAE,EAAE;gBACV,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,IAAI,GAAG,EAAE;gBAClB,MAAM,EAAE,IAAI,GAAG,EAAE;gBACjB,OAAO,EAAE,IAAI,GAAG,EAAE;gBAClB,MAAM,EAAE,EAAE;aACX,CAAC;YACF,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,MAAM,cAAc,GAAG,CAAC,CAAS,EAAW,EAAE,CAC5C,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,cAAc,GAAG,CAAC,KAAa,EAAW,EAAE,CAChD,KAAK,CAAC,IAAI,KAAK,aAAa;QAC5B,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAE5F;+CAC2C;IAC3C;qDACiD;IACjD,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,GAAgB,EAAE,IAAiB,EAAQ,EAAE;QAC3E,MAAM,KAAK,GAAG,CAAC,CAAS,EAAW,EAAE;YACnC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC5C,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC3B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACnB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACpC,IAAI,KAAK,EAAE,CAAC;oBACV,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM;wBAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC5C,IAAI,KAAK,CAAC,UAAU;wBAAE,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;gBAChD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC5C,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC3B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE;oBAAE,KAAK,CAAC,GAAG,CAAC,CAAC;gBACxE,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC9C,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;gBAC7B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE;oBAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAClF,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,cAAc,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAClC,CAAC,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACd,CAAC,CAAC;IACF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,MAAe,EAAQ,EAAE;QACzD,IAAI,MAAM;YAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;;YAChD,QAAQ,CAAC,IAAI,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;IAClD,CAAC,CAAC;IAEF,uEAAuE;IACvE,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,OAAO,GAAG,GAAW,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9C;;wDAEoD;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA0C,CAAC;IAClE,MAAM,SAAS,GAAG,CAAC,GAAW,EAAiB,EAAE;QAC/C,IAAI,CAAC,GAAG,GAAG,CAAC;QACZ,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QACtE,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACrC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC;QACnB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,SAAS,CAAC;YACR,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC9B,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,OAAO,EAAE,CAAC;YAC3F,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACb,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;QACpB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAE,IAAY,EAAQ,EAAE;QAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,KAAK,EAAE,CAAC;YACjB,OAAO;QACT,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAClF,MAAM,KAAK,GACT,IAAI,CAAC,IAAI,KAAK,WAAW;YACzB,IAAI,CAAC,IAAI,KAAK,aAAa;YAC3B,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QAChE,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IACvE,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,CAAS,EAAQ,EAAE;QACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,WAAW,EAAE,CAAC;gBACjB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO;gBACrC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAClC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;gBACtC,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;oBAC7B,IAAI,KAAK,CAAC,QAAQ;wBAAE,SAAS;oBAC7B,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;wBACvC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;wBACzB,SAAS;oBACX,CAAC;oBACD,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAC5B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAC1B,IAAI,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC;wBAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC5D,CAAC;gBACD,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBACpC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,QAAQ,KAAK,SAAS;oBAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;qBACjD,IAAI,IAAI,KAAK,SAAS;oBAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;;oBAC3E,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;gBACrB,OAAO;YACT,CAAC;YACD,KAAK,aAAa,EAAE,CAAC;gBACnB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO;gBACrC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAClC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;gBAChB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;oBACzB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;gBAC5F,OAAO;YACT,CAAC;YACD,KAAK,YAAY;gBACf,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC7B,OAAO;YACT,KAAK,eAAe,CAAC;YACrB,KAAK,SAAS;gBACZ,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,OAAO;YACT,KAAK,cAAc;gBACjB,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC/B,OAAO;YACT,KAAK,SAAS;gBACZ,+DAA+D;gBAC/D,+DAA+D;gBAC/D,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI;oBAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACvD,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACzB,OAAO;YACT,KAAK,WAAW;gBACd,mEAAmE;gBACnE,6DAA6D;gBAC7D,oCAAoC;gBACpC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;oBAAE,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC9D,OAAO;YACT,KAAK,SAAS,CAAC;YACf,KAAK,cAAc,CAAC;YACpB,KAAK,gBAAgB,CAAC;YACtB,KAAK,gBAAgB;gBACnB,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACzB,OAAO;YACT,KAAK,UAAU;gBACb,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC;oBAAE,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACxD,OAAO;YACT,KAAK,eAAe,CAAC;YACrB,KAAK,aAAa,CAAC;YACnB,KAAK,cAAc;gBACjB,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC1B,OAAO;YACT;gBACE,OAAO;QACX,CAAC;IACH,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,EAAU,EAAQ,EAAE;QACrC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,WAAW;gBACd,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa;oBAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;gBAC/E,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;oBAC9B,KAAK,EAAE,EAAE,CAAC,KAAK;oBACf,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;oBAC1D,EAAE,EAAE,MAAM;oBACV,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC;oBAC1B,IAAI,EAAE,OAAO,EAAE;oBACf,GAAG;iBACJ,CAAC,CAAC;gBACH,OAAO;YACT,KAAK,SAAS;gBACZ,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI;oBAAE,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;gBACpD,OAAO;YACT,KAAK,QAAQ;gBACX,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;gBAC/B,OAAO;YACT;gBACE,OAAO;QACX,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,GAAG,EAAE,CAAC;QACN,SAAS,CAAC,CAAC,CAAC,CAAC;QACb,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,EAAU,EAAW,EAAE;QACnC,GAAG,EAAE,CAAC;QACN,SAAS,CAAC,EAAE,CAAC,CAAC;QACd,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC7F,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;YACtB,cAAc,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YAC/B,KAAK,CAAC,GAAG,EAAE,CAAC;YACZ,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,cAAc,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC;QACjB,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI;YAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACtB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;IAClB,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,aAAa;QAAE,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC;IAE3D,uEAAuE;IACvE,2DAA2D;IAC3D,MAAM,OAAO,GAAG,CAAC,KAAgC,EAA0B,EAAE,CAC3E,KAAK,KAAK,SAAS;QACnB,CAAC,KAAK,CAAC,KAAK;QACZ,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,aAAa,KAAK,SAAS;QACjC,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG,CAAC,KAAoB,EAAY,EAAE,CACjD,KAAK,CAAC,aAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,wEAAwE;IACxE,0EAA0E;IAC1E,qEAAqE;IACrE,2CAA2C;IAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE;QAAE,IAAI,CAAC,CAAC,OAAO;YAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;IAE/D,oEAAoE;IACpE,gCAAgC;IAChC,MAAM,WAAW,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE;QAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAClF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE;YAClC,MAAM,IAAI,GAAa,EAAE,CAAC;YAC1B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;oBAAE,OAAO,IAAI,CAAC;gBACxC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC3D,CAAC;YACD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,WAAW;QAAE,OAAO;IAEzB,uEAAuE;IACvE,MAAM,WAAW,GAAG,CAAC,EAAU,EAAE,GAAW,EAAW,EAAE;QACvD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QACxD,IAAI,CAAC,KAAK,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACxD,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACjC,OAAO,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC1E,CAAC,CAAC;IACF;;oBAEgB;IAChB,MAAM,SAAS,GAAG,CAAC,EAAU,EAAE,IAAuB,EAAkC,EAAE;QACxF,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAuB,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,WAAW,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC;QACtF,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,mEAAmE;QACnE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;YACtB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;gBACxE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACxB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACtE,KAAK,MAAM,CAAC,IAAI,MAAM;gBAAE,IAAI,CAAC,KAAK,KAAK;oBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAClE,CAAC;QACD,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAChE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9F,IAAI,WAAW,CAAC,IAAI,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACvC,qEAAqE;QACrE,8DAA8D;QAC9D,sEAAsE;QACtE,+BAA+B;QAC/B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI;gBAAE,OAAO,SAAS,CAAC;YAC/D,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,IACE,IAAI,KAAK,SAAS;gBAClB,IAAI,CAAC,KAAK,KAAK,CAAC;gBAChB,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;gBAChB,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;gBACpB,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG;gBAEhB,OAAO,SAAS,CAAC;YACnB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACd,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC9F,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACtB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;oBAAE,OAAO,SAAS,CAAC;gBACxC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;YACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YACrF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;gBACxC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,uEAAuE;IACvE;;;oCAGgC;IAChC,MAAM,gBAAgB,GAAG,CACvB,QAAoC,EACpC,MAA2B,EAC3B,QAAkC,EACf,EAAE;QACrB,MAAM,WAAW,GAAyC,EAAE,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC;YACrC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACrB,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAChF,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACtC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBAC7B,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;oBACf,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACzF,CAAC;QACH,CAAC;QACD,mEAAmE;QACnE,sEAAsE;QACtE,8CAA8C;QAC9C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC9C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC3B,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;gBAAE,OAAO;YAC/B,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACb,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC3B,IAAI,CAAC,CAAC,QAAQ;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QAC7D,MAAM,YAAY,GAAG,CAAC,EAAuB,EAAY,EAAE,CACzD,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;YACpC,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC5B,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;gBAC5B,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,mEAAmE;IACnE,MAAM,KAAK,GAAG,CAAC,KAAwB,EAAE,KAAkC,EAAY,EAAE;QACvF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAsB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC,CAAC,CAAC;QACpF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAiB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YACtD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;YACvB,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YACvB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACT,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACtD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;YAClD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACd,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,CAAC;gBAChC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,GAAG,CAAC,CAAC,CAAC;gBACtC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/D,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,GAAsB,EAAE,GAAuB,EAAQ,EAAE;QACtE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC;IAEF,uEAAuE;IACvE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,EAA0C,CAAC;IAC/D,MAAM,YAAY,GAAG,CAAC,EAAU,EAAY,EAAE;QAC5C,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,QAAQ,IAAI,CAAC,CAAC,QAAQ;YAC/B,KAAK,MAAM,CAAC,IAAI,QAAQ;gBAAE,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACzE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC7C,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC;IACF,2DAA2D;IAC3D,MAAM,UAAU,GAAG,CAAC,EAAU,EAAE,OAAqC,EAAY,EAAE;QACjF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACtC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxB,qEAAqE;QACrE,kCAAkC;QAClC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC;YAC7F,OAAO,SAAS,CAAC;QACnB,4DAA4D;QAC5D,6BAA6B;QAC7B,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAuB,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAClC,KAAK,MAAM,QAAQ,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YAC9D,IAAI,SAAS,KAAK,IAAI;gBAAE,OAAO,SAAS,CAAC;YACzC,KAAK,MAAM,GAAG,IAAI,SAAS;gBAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACjD,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC3C,KAAK,CACH,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAC1D,KAAK,CACN,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,OAAO,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACrE,IAAI,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAChD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,OAAO,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF;2DACuD;IACvD,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAE,QAAkB,EAAY,EAAE,CAC5D,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;IAEzD,+DAA+D;IAC/D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,CAAC,CAAS,EAAQ,EAAE;QACjC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACtB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACpB,OAAO,EAAE,CAAC;QACV,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACf,KAAK,MAAM,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,CAAC,CAAC,CAAC,CAAC;gBACV,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;YACjD,CAAC;iBAAM,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;QAC9E,CAAC;QACD,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,MAAM,GAAG,GAAa,EAAE,CAAC;YACzB,IAAI,CAAS,CAAC;YACd,GAAG,CAAC;gBACF,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;gBACjB,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAClB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACd,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE;YAClB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAY,EAAE;QACxC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/D,CAAC,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC1C,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7B,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACxE,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,EAAU,EAAY,EAAE,CACtC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAChE,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAC/D,MAAM,GAAG,IAAI,CAAC;YACd,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBACpC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;gBAC5B,MAAM,IAAI,GACR,IAAI,KAAK,SAAS;oBAChB,CAAC,CAAC,IAAI,KAAK,SAAS;oBACpB,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5E,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,MAAM,GAAG,KAAK,CAAC;oBACf,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC5E,CAAC;IAED,uEAAuE;IACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ;QAC7B,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;IACpE,KAAK,MAAM,IAAI,IAAI,aAAa;QAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;IAEzE,uEAAuE;IACvE,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC;QACpC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,SAAS;QAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7D,KAAK,CAAC,aAAa,GAAG,CAAC,GAAG,KAAK,CAAC,aAAc,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QACxF,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;AACH,CAAC"}

package/dist/frontend/lowering/key-order-witness.test.d.ts ADDED Viewed

	@@ -0,0 +1 @@
1	+ export {};

package/dist/frontend/lowering/key-order-witness.test.js ADDED Viewed

@@ -0,0 +1,239 @@
+import { expect, test } from "vitest";
+import { F64 } from "../../ir/ir.js";
+import { ShapeRegistry } from "../type-mapper.js";
+import { applyKeyOrderWitnesses, KeyOrderNotes, } from "./key-order-witness.js";
+const loc = { file: "order.ts", start: 0, end: 1 };
+/** `number | undefined`: the optional-field slot type. */
+const OPT = { kind: "union", unionId: "u0" };
+const num = (value) => ({ kind: "numLit", value, type: F64, loc });
+const absent = { kind: "fieldAbsent", unionId: "u0", type: OPT, loc };
+function fixture() {
+    const shapes = new ShapeRegistry();
+    const notes = new KeyOrderNotes();
+    const lowerer = {
+        shapes,
+        keyOrder: notes,
+        unions: new Map([["u0", { id: "u0", arms: [F64, { kind: "undefinedT" }] }]]),
+        classes: new Map(),
+        armTag: (unionId, arm) => unionId === "u0" && arm.kind === "undefinedT" ? 1 : -1,
+    };
+    const record = (fields, order) => ({
+        kind: "record",
+        shapeId: shapes.intern([...fields].sort((a, b) => (a[0] < b[0] ? -1 : 1)).map(([name, type]) => ({ name, type })), false, undefined, order),
+    });
+    const literal = (type, keys, segments) => {
+        const shape = shapes.get(type.shapeId);
+        const fields = keys.map((name) => ({ name, value: num(1) }));
+        for (const f of shape.fields)
+            if (!keys.includes(f.name))
+                fields.push({ name: f.name, value: absent });
+        return notes.literal({ kind: "recordLit", fields, type, loc }, segments ?? keys.map((name) => ({ kind: "key", name, definite: true })));
+    };
+    const run = (body) => {
+        const fn = { name: "main", params: [], returnType: F64, locals: [], body, loc };
+        applyKeyOrderWitnesses(lowerer, [fn]);
+    };
+    const order = (type) => shapes.get(type.shapeId)?.declaredOrder;
+    return { lowerer, shapes, notes, record, literal, run, order };
+}
+const observe = (value) => ({
+    kind: "exprStmt",
+    expr: { kind: "jsonStringify", value, type: { kind: "string" }, loc },
+    loc,
+});
+const decl = (localId, init) => ({ kind: "varDecl", localId, init, loc });
+const ref = (localId, type) => ({ kind: "varRef", localId, type, loc });
+const set = (obj, field) => ({
+    kind: "recordSet",
+    obj,
+    shapeId: obj.type.shapeId,
+    field,
+    value: num(2),
+    loc,
+});
+test("a shape takes the one order its literals write", () => {
+    const f = fixture();
+    const ab = f.record([
+        ["a", F64],
+        ["b", F64],
+    ], ["a", "b"]);
+    f.run([observe(f.literal(ab, ["b", "a"])), observe(f.literal(ab, ["b", "a"]))]);
+    expect(f.order(ab)).toEqual(["b", "a"]);
+    expect(f.notes.changed.has(ab.shapeId)).toBe(true);
+});
+test("literals that agree with the table leave the same array in place", () => {
+    const f = fixture();
+    const ab = f.record([
+        ["a", F64],
+        ["b", F64],
+    ], ["a", "b"]);
+    const before = f.order(ab);
+    f.run([observe(f.literal(ab, ["a", "b"]))]);
+    expect(f.order(ab)).toBe(before);
+    expect(f.notes.changed.size).toBe(0);
+});
+test("values built in two orders keep today's table", () => {
+    const f = fixture();
+    const ab = f.record([
+        ["a", F64],
+        ["b", F64],
+    ], ["a", "b"]);
+    f.run([observe(f.literal(ab, ["b", "a"])), observe(f.literal(ab, ["a", "b"]))]);
+    expect(f.order(ab)).toEqual(["a", "b"]);
+});
+test("an unobserved shape keeps today's table", () => {
+    const f = fixture();
+    const ab = f.record([
+        ["a", F64],
+        ["b", F64],
+    ], ["a", "b"]);
+    f.run([decl("x", f.literal(ab, ["b", "a"]))]);
+    expect(f.order(ab)).toEqual(["a", "b"]);
+});
+test("a synthesized construction pins today's table", () => {
+    const f = fixture();
+    const ab = f.record([
+        ["a", F64],
+        ["b", F64],
+    ], ["a", "b"]);
+    const synthesized = {
+        kind: "recordLit",
+        fields: [
+            { name: "a", value: num(1) },
+            { name: "b", value: num(2) },
+        ],
+        type: ab,
+        loc,
+    };
+    f.run([observe(f.literal(ab, ["b", "a"])), observe(synthesized)]);
+    expect(f.order(ab)).toEqual(["a", "b"]);
+});
+test("a checked conversion pins today's table", () => {
+    const f = fixture();
+    const ab = f.record([
+        ["a", F64],
+        ["b", F64],
+    ], ["a", "b"]);
+    const parsed = { kind: "dynCheck", value: ref("j", { kind: "dyn" }), type: ab, loc };
+    f.run([observe(f.literal(ab, ["b", "a"])), observe(parsed)]);
+    expect(f.order(ab)).toEqual(["a", "b"]);
+});
+test("a spread contributes its source's order, and an override keeps its position", () => {
+    const f = fixture();
+    const src = f.record([
+        ["a", F64],
+        ["b", F64],
+    ], ["a", "b"]);
+    const out = f.record([
+        ["a", F64],
+        ["b", F64],
+        ["c", F64],
+    ], ["a", "b", "c"]);
+    const spread = { kind: "spread", shapeId: src.shapeId, maybeAbsent: false };
+    f.run([
+        decl("s", f.literal(src, ["b", "a"])),
+        // { ...s, a: 1, c: 2 } — `a` stays where the spread put it.
+        observe(f.literal(out, ["a", "b", "c"], [
+            spread,
+            { kind: "key", name: "a", definite: true },
+            { kind: "key", name: "c", definite: true },
+        ])),
+    ]);
+    expect(f.order(out)).toEqual(["b", "a", "c"]);
+});
+test("a spread of a checked-conversion source cannot be ordered statically", () => {
+    const f = fixture();
+    const src = f.record([
+        ["a", F64],
+        ["b", F64],
+    ], ["a", "b"]);
+    const out = f.record([
+        ["a", F64],
+        ["b", F64],
+        ["c", F64],
+    ], ["c", "a", "b"]);
+    const parsed = { kind: "dynCheck", value: ref("j", { kind: "dyn" }), type: src, loc };
+    const spread = { kind: "spread", shapeId: src.shapeId, maybeAbsent: false };
+    f.run([
+        decl("s", parsed),
+        observe(f.literal(out, ["a", "b", "c"], [spread, { kind: "key", name: "c", definite: true }])),
+    ]);
+    expect(f.order(out)).toEqual(["c", "a", "b"]);
+});
+test("a late-only optional key follows the keys values are built with", () => {
+    const f = fixture();
+    const o = f.record([
+        ["a", OPT],
+        ["b", F64],
+    ], ["a", "b"]);
+    f.run([decl("o", f.literal(o, ["b"])), set(ref("o", o), "a"), observe(ref("o", o))]);
+    expect(f.order(o)).toEqual(["b", "a"]);
+});
+test("straight-line writes of late-only keys keep program order", () => {
+    const f = fixture();
+    const o = f.record([
+        ["id", F64],
+        ["x", OPT],
+        ["y", OPT],
+    ], ["id", "x", "y"]);
+    f.run([
+        decl("o", f.literal(o, ["id"])),
+        set(ref("o", o), "y"),
+        set(ref("o", o), "x"),
+        observe(ref("o", o)),
+    ]);
+    expect(f.order(o)).toEqual(["id", "y", "x"]);
+});
+test("late-only keys written through different bindings keep today's table", () => {
+    const f = fixture();
+    const o = f.record([
+        ["id", F64],
+        ["x", OPT],
+        ["y", OPT],
+    ], ["id", "x", "y"]);
+    f.run([
+        decl("o", f.literal(o, ["id"])),
+        set(ref("o", o), "y"),
+        set(ref("p", o), "x"),
+        observe(ref("o", o)),
+    ]);
+    expect(f.order(o)).toEqual(["id", "x", "y"]);
+});
+test("a late-only key written in a loop over an outer binding keeps today's table", () => {
+    const f = fixture();
+    const o = f.record([
+        ["id", F64],
+        ["x", OPT],
+        ["y", OPT],
+    ], ["id", "x", "y"]);
+    f.run([
+        decl("o", f.literal(o, ["id"])),
+        set(ref("o", o), "y"),
+        {
+            kind: "while",
+            cond: { kind: "boolLit", value: false, type: { kind: "bool" }, loc },
+            body: [set(ref("o", o), "x")],
+            loc,
+        },
+        observe(ref("o", o)),
+    ]);
+    expect(f.order(o)).toEqual(["id", "x", "y"]);
+});
+test("re-adding a key a literal creates earlier keeps today's table", () => {
+    const f = fixture();
+    const o = f.record([
+        ["a", OPT],
+        ["b", F64],
+    ], ["a", "b"]);
+    const del = {
+        kind: "recordSet",
+        obj: ref("o", o),
+        shapeId: o.shapeId,
+        field: "a",
+        value: absent,
+        loc,
+    };
+    f.run([decl("o", f.literal(o, ["a", "b"])), del, set(ref("o", o), "a"), observe(ref("o", o))]);
+    expect(f.order(o)).toEqual(["a", "b"]);
+});
+//# sourceMappingURL=key-order-witness.test.js.map

package/dist/frontend/lowering/key-order-witness.test.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"key-order-witness.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/key-order-witness.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAA0D,MAAM,gBAAgB,CAAC;AAC7F,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EACL,sBAAsB,EACtB,aAAa,GAEd,MAAM,wBAAwB,CAAC;AAGhC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACnD,0DAA0D;AAC1D,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACrD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAY9E,SAAS,OAAO;IACd,MAAM,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,aAAa,EAAE,CAAC;IAClC,MAAM,OAAO,GAAG;QACd,MAAM;QACN,QAAQ,EAAE,KAAK;QACf,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5E,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,MAAM,EAAE,CAAC,OAAe,EAAE,GAAW,EAAU,EAAE,CAC/C,OAAO,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACnC,CAAC;IACxB,MAAM,MAAM,GAAG,CAAC,MAA0B,EAAE,KAAe,EAA+B,EAAE,CAAC,CAAC;QAC5F,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,MAAM,CAAC,MAAM,CACpB,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAC1F,KAAK,EACL,SAAS,EACT,KAAK,CACN;KACF,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,IAAc,EAAE,QAA4B,EAAU,EAAE;QACrF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAE,IAAoC,CAAC,OAAO,CAAE,CAAC;QACzE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM;YAC1B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3E,OAAO,KAAK,CAAC,OAAO,CAClB,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EACxC,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CACxE,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,IAAc,EAAQ,EAAE;QACnC,MAAM,EAAE,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC5F,sBAAsB,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAiC,EAAwB,EAAE,CACxE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;IAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IAC1C,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE;IACrE,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAClG,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAChG,MAAM,GAAG,GAAG,CAAC,GAAW,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACnD,IAAI,EAAE,WAAW;IACjB,GAAG;IACH,OAAO,EAAG,GAAG,CAAC,IAAoC,CAAC,OAAO;IAC1D,KAAK;IACL,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACb,GAAG;CACJ,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC1D,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CACjB;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,GAAG,EAAE,GAAG,CAAC,CACX,CAAC;IACF,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACxC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CACjB;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,GAAG,EAAE,GAAG,CAAC,CACX,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+CAA+C,EAAE,GAAG,EAAE;IACzD,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CACjB;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,GAAG,EAAE,GAAG,CAAC,CACX,CAAC;IACF,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACnD,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CACjB;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,GAAG,EAAE,GAAG,CAAC,CACX,CAAC;IACF,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+CAA+C,EAAE,GAAG,EAAE;IACzD,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CACjB;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,GAAG,EAAE,GAAG,CAAC,CACX,CAAC;IACF,MAAM,WAAW,GAAW;QAC1B,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;YAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;SAC7B;QACD,IAAI,EAAE,EAAE;QACR,GAAG;KACJ,CAAC;IACF,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACnD,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CACjB;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,GAAG,EAAE,GAAG,CAAC,CACX,CAAC;IACF,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;IAC7F,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;IACvF,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAClB;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,GAAG,EAAE,GAAG,CAAC,CACX,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAClB;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAChB,CAAC;IACF,MAAM,MAAM,GAAoB,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAC7F,CAAC,CAAC,GAAG,CAAC;QACJ,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrC,4DAA4D;QAC5D,OAAO,CACL,CAAC,CAAC,OAAO,CACP,GAAG,EACH,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,MAAM;YACN,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE;YAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE;SAC3C,CACF,CACF;KACF,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAClB;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,GAAG,EAAE,GAAG,CAAC,CACX,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAClB;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAChB,CAAC;IACF,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC9F,MAAM,MAAM,GAAoB,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAC7F,CAAC,CAAC,GAAG,CAAC;QACJ,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;QACjB,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;KAC/F,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAChB;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,GAAG,EAAE,GAAG,CAAC,CACX,CAAC;IACF,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACzC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAChB;QACE,CAAC,IAAI,EAAE,GAAG,CAAC;QACX,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CACjB,CAAC;IACF,CAAC,CAAC,GAAG,CAAC;QACJ,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/B,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;QACrB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;QACrB,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;KACrB,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAChB;QACE,CAAC,IAAI,EAAE,GAAG,CAAC;QACX,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CACjB,CAAC;IACF,CAAC,CAAC,GAAG,CAAC;QACJ,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/B,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;QACrB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;QACrB,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;KACrB,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;IACvF,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAChB;QACE,CAAC,IAAI,EAAE,GAAG,CAAC;QACX,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CACjB,CAAC;IACF,CAAC,CAAC,GAAG,CAAC;QACJ,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/B,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;QACrB;YACE,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE;YACpE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7B,GAAG;SACJ;QACD,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;KACrB,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAChB;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,EACD,CAAC,GAAG,EAAE,GAAG,CAAC,CACX,CAAC;IACF,MAAM,GAAG,GAAW;QAClB,IAAI,EAAE,WAAW;QACjB,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;QAChB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,KAAK,EAAE,GAAG;QACV,KAAK,EAAE,MAAM;QACb,GAAG;KACJ,CAAC;IACF,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/F,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACzC,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/lifetime-regions.js CHANGED Viewed

@@ -73,8 +73,8 @@ export function lowerLifetimeRegionNew(lowerer, expr) {
         return null;
     if (experimentalImportOf(lowerer.program, expr.expression) !== "LifetimeRegion")
         return null;
-    if ((expr.arguments?.length ?? 0) !== 0)
-        lowerer.noLowering(`new LifetimeRegion with ${expr.arguments.length} arguments`, expr);
+    if ((expr.arguments?.nodes.length ?? 0) !== 0)
+        lowerer.noLowering(`new LifetimeRegion with ${expr.arguments.nodes.length} arguments`, expr);
     const type = lifetimeRegionType(lowerer);
     return { kind: "new", className: LIFETIME_REGION_CLASS, args: [], type, loc: locOf(expr) };
 }
@@ -96,8 +96,8 @@ export function lowerLifetimeRegionCall(lowerer, expr) {
         lowerer.noLowering(`LifetimeRegion.${member}?.() calls`, expr, `call region.${member}() directly`);
     const region = lowerer.coerceInto(callee.expression, lowerer.lowerExpr(callee.expression), type);
     if (member === "release") {
-        if (expr.arguments.length !== 0)
-            lowerer.noLowering(`LifetimeRegion.release with ${expr.arguments.length} arguments`, expr);
+        if (expr.arguments.nodes.length !== 0)
+            lowerer.noLowering(`LifetimeRegion.release with ${expr.arguments.nodes.length} arguments`, expr);
         return {
             kind: "intrinsic",
             name: "region.release",
@@ -115,9 +115,9 @@ export function lowerLifetimeRegionCall(lowerer, expr) {
             loc,
         };
     }
-    const arg = expr.arguments[0];
-    if (expr.arguments.length !== 1 || arg === undefined || ts.isSpreadElement(arg))
-        lowerer.noLowering(`LifetimeRegion.run with ${expr.arguments.length} arguments`, expr);
+    const arg = expr.arguments.nodes[0];
+    if (expr.arguments.nodes.length !== 1 || arg === undefined || ts.isSpreadElement(arg))
+        lowerer.noLowering(`LifetimeRegion.run with ${expr.arguments.nodes.length} arguments`, expr);
     const resultTs = lowerer.typeOf(expr);
     const mapped = resultTs.flags & ts.TypeFlags.Void ? VOID : lowerer.mapTypeOf(resultTs);
     if (mapped === null)

package/dist/frontend/lowering/lifetime-regions.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"lifetime-regions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lifetime-regions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;iCAeiC;AACjC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAE5D,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACzF,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,MAAM,CAAC,MAAM,qBAAqB,GAAG,iBAAiB,CAAC;AACvD,MAAM,YAAY,GAAG,SAAS,CAAC;AAE/B,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAEpE;gCACgC;AAChC,MAAM,UAAU,kBAAkB,CAAC,OAAgB;IACjD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,qBAAqB,EAAE,CAAC;IAC1E,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,IAAI,GAAc;QACtB,GAAG,EAAE;YACH,IAAI,EAAE,qBAAqB;YAC3B,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC3C,GAAG,EAAE,WAAW;SACjB;QACD,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,IAAI,EAAE,IAAI;QACV,cAAc,EAAE,IAAI;QACpB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;QACd,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;QACd,eAAe,EAAE,EAAE;QACnB,YAAY,EAAE,EAAE;KACjB,CAAC;IACF,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACjD,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC;IACnC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACnF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI,EAAE,IAAI,qBAAqB,cAAc;QAC7C,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QACnD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC9D,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,IAAI;gBACT,SAAS,EAAE,qBAAqB;gBAChC,KAAK,EAAE,YAAY;gBACnB,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;gBAC1F,GAAG,EAAE,WAAW;aACjB;SACF;QACD,GAAG,EAAE,WAAW;KACjB,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8BAA8B;AAC9B,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,IAAsB;IAC7E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,oBAAoB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC7F,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;~~QACrC~~,OAAO,CAAC,UAAU,CAAC,2BAA2B,IAAI,CAAC,SAAU,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;~~IAC1F~~,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAC7F,CAAC;AAED,+CAA+C;AAC/C,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAuB;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC1F,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,sEAAsE;IACtE,sDAAsD;IACtD,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS;QACrC,OAAO,CAAC,UAAU,CAChB,kBAAkB,MAAM,YAAY,EACpC,IAAI,EACJ,eAAe,MAAM,aAAa,CACnC,CAAC;IACJ,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;IACjG,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;~~YAC7B~~,OAAO,CAAC,UAAU,~~CAAC~~,+BAA+B,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,~~EAAE~~,IAAI,~~CAAC~~,CAAC;~~QAC7F~~,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,MAAM;oBACX,SAAS,EAAE,qBAAqB;oBAChC,KAAK,EAAE,YAAY;oBACnB,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;aACF;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;~~IAC9B~~,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;~~QAC7E~~,OAAO,CAAC,UAAU,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;~~IACzF~~,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACvF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,MAAO,CAAC;IACpB,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,EAAE,GAAG,CAA8B,CAAC;IAC5D,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,GAAI,EAAE,OAAO,CAAC,SAAS,CAAC,GAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IACrE,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC;QACvC,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;QAClB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,OAAgB,EAAE,MAAiC,EAAE,GAAW;IACjF,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,qBAAqB,QAAQ,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC;IAC9E,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;IACvB,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAChG,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAClG,MAAM,OAAO,GACX,GAAG,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC;YACE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SACrC;QACH,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7C,MAAM,EAAE,GAAe;QACrB,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE;YACtD,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE;SAC9C;QACD,UAAU,EAAE,GAAG;QACf,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YACjE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YACxD,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;SACtD;QACD,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,MAAM;gBACf,IAAI,EAAE;oBACJ,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC;oBAC7B,SAAS,EAAE,qBAAqB;oBAChC,KAAK,EAAE,YAAY;oBACnB,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;oBACxB,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,OAAO;gBAChB,SAAS,EAAE,IAAI;gBACf,YAAY,EAAE,IAAI;gBAClB,WAAW,EAAE;oBACX;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC5E,GAAG;qBACJ;iBACF;gBACD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;IACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC"}
1	+ {"version":3,"file":"lifetime-regions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lifetime-regions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;iCAeiC;AACjC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAE5D,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACzF,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,MAAM,CAAC,MAAM,qBAAqB,GAAG,iBAAiB,CAAC;AACvD,MAAM,YAAY,GAAG,SAAS,CAAC;AAE/B,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAEpE;gCACgC;AAChC,MAAM,UAAU,kBAAkB,CAAC,OAAgB;IACjD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,qBAAqB,EAAE,CAAC;IAC1E,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,IAAI,GAAc;QACtB,GAAG,EAAE;YACH,IAAI,EAAE,qBAAqB;YAC3B,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC3C,GAAG,EAAE,WAAW;SACjB;QACD,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,IAAI,EAAE,IAAI;QACV,cAAc,EAAE,IAAI;QACpB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;QACd,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;QACd,eAAe,EAAE,EAAE;QACnB,YAAY,EAAE,EAAE;KACjB,CAAC;IACF,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACjD,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC;IACnC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACnF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI,EAAE,IAAI,qBAAqB,cAAc;QAC7C,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QACnD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC9D,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,IAAI;gBACT,SAAS,EAAE,qBAAqB;gBAChC,KAAK,EAAE,YAAY;gBACnB,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;gBAC1F,GAAG,EAAE,WAAW;aACjB;SACF;QACD,GAAG,EAAE,WAAW;KACjB,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8BAA8B;AAC9B,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,IAAsB;IAC7E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,oBAAoB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC7F,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;QAC3C,OAAO,CAAC,UAAU,CAAC,2BAA2B,IAAI,CAAC,SAAU,CAAC,KAAK,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAChG,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAC7F,CAAC;AAED,+CAA+C;AAC/C,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAuB;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC1F,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,sEAAsE;IACtE,sDAAsD;IACtD,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS;QACrC,OAAO,CAAC,UAAU,CAChB,kBAAkB,MAAM,YAAY,EACpC,IAAI,EACJ,eAAe,MAAM,aAAa,CACnC,CAAC;IACJ,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;IACjG,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YACnC,OAAO,CAAC,UAAU,CAChB,+BAA+B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,YAAY,EACtE,IAAI,CACL,CAAC;QACJ,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,MAAM;oBACX,SAAS,EAAE,qBAAqB;oBAChC,KAAK,EAAE,YAAY;oBACnB,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;aACF;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QACnF,OAAO,CAAC,UAAU,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAC/F,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACvF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,MAAO,CAAC;IACpB,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,EAAE,GAAG,CAA8B,CAAC;IAC5D,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,GAAI,EAAE,OAAO,CAAC,SAAS,CAAC,GAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IACrE,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC;QACvC,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;QAClB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,OAAgB,EAAE,MAAiC,EAAE,GAAW;IACjF,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,qBAAqB,QAAQ,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC;IAC9E,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;IACvB,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAChG,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAClG,MAAM,OAAO,GACX,GAAG,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC;YACE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SACrC;QACH,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7C,MAAM,EAAE,GAAe;QACrB,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE;YACtD,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE;SAC9C;QACD,UAAU,EAAE,GAAG;QACf,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YACjE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YACxD,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;SACtD;QACD,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,MAAM;gBACf,IAAI,EAAE;oBACJ,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC;oBAC7B,SAAS,EAAE,qBAAqB;oBAChC,KAAK,EAAE,YAAY;oBACnB,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;oBACxB,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,OAAO;gBAChB,SAAS,EAAE,IAAI;gBACf,YAAY,EAAE,IAAI;gBAClB,WAAW,EAAE;oBACX;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC5E,GAAG;qBACJ;iBACF;gBACD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;IACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC"}