npm - @scriptc/compiler - Versions diffs - 0.4.5 → 0.4.6 - Mend

@scriptc/compiler 0.4.5 → 0.4.6

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

package/ambient/node-fallback/assert-strict.d.ts +47 -0
package/ambient/node-fallback/assert.d.ts +86 -0
package/ambient/node-fallback/async_hooks.d.ts +41 -0
package/ambient/node-fallback/buffer.d.ts +23 -0
package/ambient/node-fallback/child_process.d.ts +242 -0
package/ambient/node-fallback/cluster.d.ts +17 -0
package/ambient/node-fallback/constants.d.ts +15 -0
package/ambient/node-fallback/crypto.d.ts +837 -0
package/ambient/node-fallback/dgram.d.ts +58 -0
package/ambient/node-fallback/diagnostics_channel.d.ts +87 -0
package/ambient/node-fallback/dns-promises.d.ts +27 -0
package/ambient/node-fallback/dns.d.ts +65 -0
package/ambient/node-fallback/events.d.ts +60 -0
package/ambient/node-fallback/fs-promises.d.ts +225 -0
package/ambient/node-fallback/fs.d.ts +641 -0
package/ambient/node-fallback/graceful-fs.d.ts +9 -0
package/ambient/node-fallback/http.d.ts +326 -0
package/ambient/node-fallback/http2.d.ts +816 -0
package/ambient/node-fallback/https.d.ts +59 -0
package/ambient/node-fallback/module.d.ts +10 -0
package/ambient/node-fallback/net.d.ts +374 -0
package/ambient/node-fallback/os.d.ts +288 -0
package/ambient/node-fallback/path-posix.d.ts +22 -0
package/ambient/node-fallback/path-win32.d.ts +22 -0
package/ambient/node-fallback/path.d.ts +55 -0
package/ambient/node-fallback/process.d.ts +11 -0
package/ambient/node-fallback/punycode.d.ts +18 -0
package/ambient/node-fallback/querystring.d.ts +55 -0
package/ambient/node-fallback/stream-consumers.d.ts +21 -0
package/ambient/node-fallback/stream-promises.d.ts +28 -0
package/ambient/node-fallback/stream-web.d.ts +36 -0
package/ambient/node-fallback/stream.d.ts +644 -0
package/ambient/node-fallback/string_decoder.d.ts +20 -0
package/ambient/node-fallback/test.d.ts +236 -0
package/ambient/node-fallback/timers-promises.d.ts +31 -0
package/ambient/node-fallback/timers.d.ts +28 -0
package/ambient/node-fallback/tls.d.ts +169 -0
package/ambient/node-fallback/url.d.ts +95 -0
package/ambient/node-fallback/util-types.d.ts +50 -0
package/ambient/node-fallback/util.d.ts +416 -0
package/ambient/node-fallback/v8.d.ts +43 -0
package/ambient/node-fallback/worker_threads.d.ts +113 -0
package/ambient/node-fallback/zlib.d.ts +422 -0
package/ambient/scriptc-node-fallback.d.ts +224 -6688
package/dist/backend/cycle-analysis.js +4 -0
package/dist/backend/cycle-analysis.js.map +1 -1
package/dist/backend/executable-features.d.ts +1 -1
package/dist/backend/executable-features.js +15 -2
package/dist/backend/executable-features.js.map +1 -1
package/dist/backend/huge-text.d.ts +16 -0
package/dist/backend/huge-text.js +103 -0
package/dist/backend/huge-text.js.map +1 -0
package/dist/backend/huge-text.test.d.ts +1 -0
package/dist/backend/huge-text.test.js +73 -0
package/dist/backend/huge-text.test.js.map +1 -0
package/dist/backend/library-pack.js +1 -1
package/dist/backend/library-pack.js.map +1 -1
package/dist/backend/link-plan-core.d.ts +10 -0
package/dist/backend/link-plan-core.js +14 -2
package/dist/backend/link-plan-core.js.map +1 -1
package/dist/backend/link-plan-core.test.d.ts +1 -0
package/dist/backend/link-plan-core.test.js +20 -0
package/dist/backend/link-plan-core.test.js.map +1 -0
package/dist/backend/link-plan.d.ts +8 -0
package/dist/backend/link-plan.js +7 -0
package/dist/backend/link-plan.js.map +1 -1
package/dist/backend/linker.js +37 -14
package/dist/backend/linker.js.map +1 -1
package/dist/backend/lld.d.ts +13 -0
package/dist/backend/lld.js +18 -1
package/dist/backend/lld.js.map +1 -1
package/dist/backend/lld.test.js +7 -1
package/dist/backend/lld.test.js.map +1 -1
package/dist/backend/llvm/alloc.d.ts +2 -0
package/dist/backend/llvm/alloc.js +1 -1
package/dist/backend/llvm/alloc.js.map +1 -1
package/dist/backend/llvm/arenas.d.ts +78 -0
package/dist/backend/llvm/arenas.js +313 -0
package/dist/backend/llvm/arenas.js.map +1 -0
package/dist/backend/llvm/arenas.test.d.ts +1 -0
package/dist/backend/llvm/arenas.test.js +140 -0
package/dist/backend/llvm/arenas.test.js.map +1 -0
package/dist/backend/llvm/blocks.d.ts +11 -1
package/dist/backend/llvm/blocks.js +23 -5
package/dist/backend/llvm/blocks.js.map +1 -1
package/dist/backend/llvm/bytes-headers.d.ts +19 -0
package/dist/backend/llvm/bytes-headers.js +55 -0
package/dist/backend/llvm/bytes-headers.js.map +1 -0
package/dist/backend/llvm/bytes-loop-versions.d.ts +4 -3
package/dist/backend/llvm/bytes-loop-versions.js +42 -7
package/dist/backend/llvm/bytes-loop-versions.js.map +1 -1
package/dist/backend/llvm/bytes-loop-versions.test.js +39 -4
package/dist/backend/llvm/bytes-loop-versions.test.js.map +1 -1
package/dist/backend/llvm/call-lifetimes.d.ts +5 -0
package/dist/backend/llvm/call-lifetimes.js +43 -8
package/dist/backend/llvm/call-lifetimes.js.map +1 -1
package/dist/backend/llvm/call-lifetimes.test.js +26 -0
package/dist/backend/llvm/call-lifetimes.test.js.map +1 -1
package/dist/backend/llvm/checked-narrows.d.ts +3 -0
package/dist/backend/llvm/checked-narrows.js +8 -1
package/dist/backend/llvm/checked-narrows.js.map +1 -1
package/dist/backend/llvm/class-unions.d.ts +21 -0
package/dist/backend/llvm/class-unions.js +141 -0
package/dist/backend/llvm/class-unions.js.map +1 -0
package/dist/backend/llvm/class-unions.test.d.ts +1 -0
package/dist/backend/llvm/class-unions.test.js +137 -0
package/dist/backend/llvm/class-unions.test.js.map +1 -0
package/dist/backend/llvm/classes.d.ts +46 -8
package/dist/backend/llvm/classes.js +259 -32
package/dist/backend/llvm/classes.js.map +1 -1
package/dist/backend/llvm/classes.test.js +4 -0
package/dist/backend/llvm/classes.test.js.map +1 -1
package/dist/backend/llvm/common.d.ts +23 -0
package/dist/backend/llvm/common.js +34 -0
package/dist/backend/llvm/common.js.map +1 -1
package/dist/backend/llvm/constant-callbacks.test.js +39 -0
package/dist/backend/llvm/constant-callbacks.test.js.map +1 -1
package/dist/backend/llvm/constant-choices.d.ts +32 -0
package/dist/backend/llvm/constant-choices.js +209 -0
package/dist/backend/llvm/constant-choices.js.map +1 -0
package/dist/backend/llvm/constant-choices.test.d.ts +1 -0
package/dist/backend/llvm/constant-choices.test.js +94 -0
package/dist/backend/llvm/constant-choices.test.js.map +1 -0
package/dist/backend/llvm/counted-loops.d.ts +14 -2
package/dist/backend/llvm/counted-loops.js +60 -7
package/dist/backend/llvm/counted-loops.js.map +1 -1
package/dist/backend/llvm/counted-loops.test.d.ts +1 -0
package/dist/backend/llvm/counted-loops.test.js +34 -0
package/dist/backend/llvm/counted-loops.test.js.map +1 -0
package/dist/backend/llvm/cpu-dispatch.d.ts +26 -0
package/dist/backend/llvm/cpu-dispatch.js +279 -0
package/dist/backend/llvm/cpu-dispatch.js.map +1 -0
package/dist/backend/llvm/dense-array-access.d.ts +13 -2
package/dist/backend/llvm/dense-array-access.js +60 -6
package/dist/backend/llvm/dense-array-access.js.map +1 -1
package/dist/backend/llvm/dyn-handle-tags.test.js +40 -14
package/dist/backend/llvm/dyn-handle-tags.test.js.map +1 -1
package/dist/backend/llvm/dyn.d.ts +28 -2
package/dist/backend/llvm/dyn.js +176 -27
package/dist/backend/llvm/dyn.js.map +1 -1
package/dist/backend/llvm/emit-function.js +25 -3
package/dist/backend/llvm/emit-function.js.map +1 -1
package/dist/backend/llvm/emit-journal.d.ts +1 -0
package/dist/backend/llvm/emit-journal.js.map +1 -1
package/dist/backend/llvm/emit-module.d.ts +5 -3
package/dist/backend/llvm/emit-module.js +362 -74
package/dist/backend/llvm/emit-module.js.map +1 -1
package/dist/backend/llvm/emit-statements.js +327 -59
package/dist/backend/llvm/emit-statements.js.map +1 -1
package/dist/backend/llvm/emitter.d.ts +223 -33
package/dist/backend/llvm/emitter.js +713 -100
package/dist/backend/llvm/emitter.js.map +1 -1
package/dist/backend/llvm/emitter.test.js +20 -1
package/dist/backend/llvm/emitter.test.js.map +1 -1
package/dist/backend/llvm/expr-async.js +32 -6
package/dist/backend/llvm/expr-async.js.map +1 -1
package/dist/backend/llvm/expr-bytes.d.ts +9 -1
package/dist/backend/llvm/expr-bytes.js +105 -9
package/dist/backend/llvm/expr-bytes.js.map +1 -1
package/dist/backend/llvm/expr-callbacks.d.ts +1 -1
package/dist/backend/llvm/expr-callbacks.js +29 -22
package/dist/backend/llvm/expr-callbacks.js.map +1 -1
package/dist/backend/llvm/expr-calls.d.ts +0 -4
package/dist/backend/llvm/expr-calls.js +116 -14
package/dist/backend/llvm/expr-calls.js.map +1 -1
package/dist/backend/llvm/expr-containers.js +77 -12
package/dist/backend/llvm/expr-containers.js.map +1 -1
package/dist/backend/llvm/expr-context.d.ts +22 -0
package/dist/backend/llvm/expr-control.d.ts +4 -0
package/dist/backend/llvm/expr-control.js +485 -426
package/dist/backend/llvm/expr-control.js.map +1 -1
package/dist/backend/llvm/expr-dispatch.js +4 -0
package/dist/backend/llvm/expr-dispatch.js.map +1 -1
package/dist/backend/llvm/expr-dynamic.js +3 -3
package/dist/backend/llvm/expr-dynamic.js.map +1 -1
package/dist/backend/llvm/expr-primitives.d.ts +6 -0
package/dist/backend/llvm/expr-primitives.js +119 -58
package/dist/backend/llvm/expr-primitives.js.map +1 -1
package/dist/backend/llvm/expr-primitives.test.js +11 -2
package/dist/backend/llvm/expr-primitives.test.js.map +1 -1
package/dist/backend/llvm/expr-records.d.ts +36 -4
package/dist/backend/llvm/expr-records.js +249 -37
package/dist/backend/llvm/expr-records.js.map +1 -1
package/dist/backend/llvm/expr-stream-bridges.js +124 -7
package/dist/backend/llvm/expr-stream-bridges.js.map +1 -1
package/dist/backend/llvm/expr-stream-bridges.test.js +1 -1
package/dist/backend/llvm/expr-stream-bridges.test.js.map +1 -1
package/dist/backend/llvm/expr-stream-callbacks.js +13 -14
package/dist/backend/llvm/expr-stream-callbacks.js.map +1 -1
package/dist/backend/llvm/frame-escapes.d.ts +11 -0
package/dist/backend/llvm/frame-escapes.js +219 -0
package/dist/backend/llvm/frame-escapes.js.map +1 -0
package/dist/backend/llvm/function-layout.d.ts +15 -0
package/dist/backend/llvm/function-layout.js +40 -0
package/dist/backend/llvm/function-layout.js.map +1 -0
package/dist/backend/llvm/heap-census.d.ts +34 -0
package/dist/backend/llvm/heap-census.js +163 -0
package/dist/backend/llvm/heap-census.js.map +1 -0
package/dist/backend/llvm/inline-arrays.d.ts +41 -0
package/dist/backend/llvm/inline-arrays.js +195 -0
package/dist/backend/llvm/inline-arrays.js.map +1 -0
package/dist/backend/llvm/int32-kind-loops.js +2 -0
package/dist/backend/llvm/int32-kind-loops.js.map +1 -1
package/dist/backend/llvm/integer-clones.d.ts +32 -5
package/dist/backend/llvm/integer-clones.js +237 -44
package/dist/backend/llvm/integer-clones.js.map +1 -1
package/dist/backend/llvm/integer-clones.test.js +120 -0
package/dist/backend/llvm/integer-clones.test.js.map +1 -1
package/dist/backend/llvm/iterative-teardown.test.d.ts +1 -0
package/dist/backend/llvm/iterative-teardown.test.js +62 -0
package/dist/backend/llvm/iterative-teardown.test.js.map +1 -0
package/dist/backend/llvm/js-ic.js +246 -62
package/dist/backend/llvm/js-ic.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 +2 -2
package/dist/backend/llvm/lib-datagram.js.map +1 -1
package/dist/backend/llvm/lib-dispatch.js +153 -16
package/dist/backend/llvm/lib-dispatch.js.map +1 -1
package/dist/backend/llvm/lib-filesystem.d.ts +8 -0
package/dist/backend/llvm/lib-filesystem.js +48 -4
package/dist/backend/llvm/lib-filesystem.js.map +1 -1
package/dist/backend/llvm/lib-http2.js +4 -3
package/dist/backend/llvm/lib-http2.js.map +1 -1
package/dist/backend/llvm/lib-lookup.js +1 -1
package/dist/backend/llvm/lib-lookup.js.map +1 -1
package/dist/backend/llvm/lib-network.js +15 -1
package/dist/backend/llvm/lib-network.js.map +1 -1
package/dist/backend/llvm/lib-process.js +32 -8
package/dist/backend/llvm/lib-process.js.map +1 -1
package/dist/backend/llvm/lib-shared.d.ts +3 -0
package/dist/backend/llvm/lib-shared.js +191 -28
package/dist/backend/llvm/lib-shared.js.map +1 -1
package/dist/backend/llvm/lib-stream.js +1 -1
package/dist/backend/llvm/lib-stream.js.map +1 -1
package/dist/backend/llvm/local-array-reads.js +15 -1
package/dist/backend/llvm/local-array-reads.js.map +1 -1
package/dist/backend/llvm/local-array-reads.test.js +1 -1
package/dist/backend/llvm/local-array-reads.test.js.map +1 -1
package/dist/backend/llvm/local-extents.d.ts +22 -0
package/dist/backend/llvm/local-extents.js +102 -0
package/dist/backend/llvm/local-extents.js.map +1 -1
package/dist/backend/llvm/local-union-storage.js +15 -2
package/dist/backend/llvm/local-union-storage.js.map +1 -1
package/dist/backend/llvm/local-union-storage.test.js +1 -1
package/dist/backend/llvm/local-union-storage.test.js.map +1 -1
package/dist/backend/llvm/loop-callees.d.ts +21 -0
package/dist/backend/llvm/loop-callees.js +119 -0
package/dist/backend/llvm/loop-callees.js.map +1 -0
package/dist/backend/llvm/loop-callees.test.d.ts +1 -0
package/dist/backend/llvm/loop-callees.test.js +65 -0
package/dist/backend/llvm/loop-callees.test.js.map +1 -0
package/dist/backend/llvm/loop-entry-versions.d.ts +17 -0
package/dist/backend/llvm/loop-entry-versions.js +185 -0
package/dist/backend/llvm/loop-entry-versions.js.map +1 -0
package/dist/backend/llvm/map-number-lookup.js.map +1 -1
package/dist/backend/llvm/map-number-lookup.test.js +13 -4
package/dist/backend/llvm/map-number-lookup.test.js.map +1 -1
package/dist/backend/llvm/map-read-lifetimes.d.ts +11 -0
package/dist/backend/llvm/map-read-lifetimes.js +51 -1
package/dist/backend/llvm/map-read-lifetimes.js.map +1 -1
package/dist/backend/llvm/map-read-lifetimes.test.js +6 -3
package/dist/backend/llvm/map-read-lifetimes.test.js.map +1 -1
package/dist/backend/llvm/nullable-unions.d.ts +67 -10
package/dist/backend/llvm/nullable-unions.js +218 -22
package/dist/backend/llvm/nullable-unions.js.map +1 -1
package/dist/backend/llvm/nullable-unions.test.js +124 -1
package/dist/backend/llvm/nullable-unions.test.js.map +1 -1
package/dist/backend/llvm/periodic-guards.d.ts +16 -0
package/dist/backend/llvm/periodic-guards.js +91 -0
package/dist/backend/llvm/periodic-guards.js.map +1 -0
package/dist/backend/llvm/periodic-guards.test.d.ts +1 -0
package/dist/backend/llvm/periodic-guards.test.js +64 -0
package/dist/backend/llvm/periodic-guards.test.js.map +1 -0
package/dist/backend/llvm/publish.d.ts +12 -2
package/dist/backend/llvm/publish.js +15 -8
package/dist/backend/llvm/publish.js.map +1 -1
package/dist/backend/llvm/rebound-parameters.d.ts +4 -1
package/dist/backend/llvm/rebound-parameters.js +17 -1
package/dist/backend/llvm/rebound-parameters.js.map +1 -1
package/dist/backend/llvm/receivers.d.ts +7 -0
package/dist/backend/llvm/receivers.js +77 -10
package/dist/backend/llvm/receivers.js.map +1 -1
package/dist/backend/llvm/record-union-keys.test.js +29 -0
package/dist/backend/llvm/record-union-keys.test.js.map +1 -1
package/dist/backend/llvm/record-views.d.ts +29 -0
package/dist/backend/llvm/record-views.js +249 -0
package/dist/backend/llvm/record-views.js.map +1 -0
package/dist/backend/llvm/record-views.test.d.ts +1 -0
package/dist/backend/llvm/record-views.test.js +118 -0
package/dist/backend/llvm/record-views.test.js.map +1 -0
package/dist/backend/llvm/reference-writes.js +21 -0
package/dist/backend/llvm/reference-writes.js.map +1 -1
package/dist/backend/llvm/reference-writes.test.js +42 -0
package/dist/backend/llvm/reference-writes.test.js.map +1 -1
package/dist/backend/llvm/regex-matchers.d.ts +5 -1
package/dist/backend/llvm/regex-matchers.js +173 -21
package/dist/backend/llvm/regex-matchers.js.map +1 -1
package/dist/backend/llvm/regex-matchers.test.js +39 -1
package/dist/backend/llvm/regex-matchers.test.js.map +1 -1
package/dist/backend/llvm/region-groups.d.ts +67 -0
package/dist/backend/llvm/region-groups.js +1719 -0
package/dist/backend/llvm/region-groups.js.map +1 -0
package/dist/backend/llvm/region-groups.test.d.ts +1 -0
package/dist/backend/llvm/region-groups.test.js +197 -0
package/dist/backend/llvm/region-groups.test.js.map +1 -0
package/dist/backend/llvm/region-ir.d.ts +31 -0
package/dist/backend/llvm/region-ir.js +256 -0
package/dist/backend/llvm/region-ir.js.map +1 -0
package/dist/backend/llvm/region-sites.d.ts +20 -0
package/dist/backend/llvm/region-sites.js +327 -0
package/dist/backend/llvm/region-sites.js.map +1 -0
package/dist/backend/llvm/region-sites.test.d.ts +1 -0
package/dist/backend/llvm/region-sites.test.js +216 -0
package/dist/backend/llvm/region-sites.test.js.map +1 -0
package/dist/backend/llvm/repr-report.d.ts +9 -0
package/dist/backend/llvm/repr-report.js +143 -0
package/dist/backend/llvm/repr-report.js.map +1 -0
package/dist/backend/llvm/repr-report.test.d.ts +1 -0
package/dist/backend/llvm/repr-report.test.js +62 -0
package/dist/backend/llvm/repr-report.test.js.map +1 -0
package/dist/backend/llvm/runtime-registries.test.d.ts +1 -0
package/dist/backend/llvm/runtime-registries.test.js +88 -0
package/dist/backend/llvm/runtime-registries.test.js.map +1 -0
package/dist/backend/llvm/serialized-ir-emission.test.js +1 -0
package/dist/backend/llvm/serialized-ir-emission.test.js.map +1 -1
package/dist/backend/llvm/shape-union-tags.test.d.ts +1 -0
package/dist/backend/llvm/shape-union-tags.test.js +75 -0
package/dist/backend/llvm/shape-union-tags.test.js.map +1 -0
package/dist/backend/llvm/shapes.d.ts +60 -10
package/dist/backend/llvm/shapes.js +233 -51
package/dist/backend/llvm/shapes.js.map +1 -1
package/dist/backend/llvm/shapes.test.js +37 -18
package/dist/backend/llvm/shapes.test.js.map +1 -1
package/dist/backend/llvm/speculative-integers.d.ts +3 -0
package/dist/backend/llvm/speculative-integers.js +20 -8
package/dist/backend/llvm/speculative-integers.js.map +1 -1
package/dist/backend/llvm/split.js +6 -1
package/dist/backend/llvm/split.js.map +1 -1
package/dist/backend/llvm/split.test.js +23 -0
package/dist/backend/llvm/split.test.js.map +1 -1
package/dist/backend/llvm/stack-callbacks.js +4 -2
package/dist/backend/llvm/stack-callbacks.js.map +1 -1
package/dist/backend/llvm/stack-objects.d.ts +12 -3
package/dist/backend/llvm/stack-objects.js +110 -22
package/dist/backend/llvm/stack-objects.js.map +1 -1
package/dist/backend/llvm/stack-objects.test.js +144 -0
package/dist/backend/llvm/stack-objects.test.js.map +1 -1
package/dist/backend/llvm/stack-unions.test.js +24 -1
package/dist/backend/llvm/stack-unions.test.js.map +1 -1
package/dist/backend/llvm/string-lifetimes.js +2 -1
package/dist/backend/llvm/string-lifetimes.js.map +1 -1
package/dist/backend/llvm/string-lifetimes.test.js +1 -1
package/dist/backend/llvm/string-lifetimes.test.js.map +1 -1
package/dist/backend/llvm/string-reads.d.ts +4 -0
package/dist/backend/llvm/string-reads.js +27 -0
package/dist/backend/llvm/string-reads.js.map +1 -1
package/dist/backend/llvm/test-boxed-unions.d.ts +10 -8
package/dist/backend/llvm/test-boxed-unions.js +20 -25
package/dist/backend/llvm/test-boxed-unions.js.map +1 -1
package/dist/backend/llvm/union-repr.js +9 -8
package/dist/backend/llvm/union-repr.js.map +1 -1
package/dist/backend/llvm/union-retype.test.js +45 -2
package/dist/backend/llvm/union-retype.test.js.map +1 -1
package/dist/backend/llvm/unwind-abi.d.ts +20 -8
package/dist/backend/llvm/unwind-abi.js +177 -70
package/dist/backend/llvm/unwind-abi.js.map +1 -1
package/dist/backend/llvm/unwind-abi.test.js +90 -3
package/dist/backend/llvm/unwind-abi.test.js.map +1 -1
package/dist/backend/llvm/walk-borrows.d.ts +3 -2
package/dist/backend/llvm/walk-borrows.js +2 -2
package/dist/backend/llvm/walk-borrows.js.map +1 -1
package/dist/backend/llvm/walk-borrows.test.js +18 -0
package/dist/backend/llvm/walk-borrows.test.js.map +1 -1
package/dist/backend/llvm/walkers.d.ts +14 -1
package/dist/backend/llvm/walkers.js +103 -11
package/dist/backend/llvm/walkers.js.map +1 -1
package/dist/backend/llvm/wrapping-sums.d.ts +26 -6
package/dist/backend/llvm/wrapping-sums.js +64 -12
package/dist/backend/llvm/wrapping-sums.js.map +1 -1
package/dist/backend/loop-polls.d.ts +4 -2
package/dist/backend/loop-polls.js +11 -2
package/dist/backend/loop-polls.js.map +1 -1
package/dist/backend/mangle.d.ts +0 -5
package/dist/backend/mangle.js +0 -9
package/dist/backend/mangle.js.map +1 -1
package/dist/backend/may-throw.d.ts +10 -9
package/dist/backend/may-throw.js +189 -27
package/dist/backend/may-throw.js.map +1 -1
package/dist/backend/may-throw.test.js +44 -7
package/dist/backend/may-throw.test.js.map +1 -1
package/dist/backend/native/compiler-fingerprint.d.ts +5 -0
package/dist/backend/native/compiler-fingerprint.js +62 -16
package/dist/backend/native/compiler-fingerprint.js.map +1 -1
package/dist/backend/native/contracts.d.ts +31 -8
package/dist/backend/native/executable.js +56 -32
package/dist/backend/native/executable.js.map +1 -1
package/dist/backend/native/library.js +3 -4
package/dist/backend/native/library.js.map +1 -1
package/dist/backend/native/object-merge.d.ts +3 -1
package/dist/backend/native/object-merge.js +24 -11
package/dist/backend/native/object-merge.js.map +1 -1
package/dist/backend/native/program-shards.js +6 -3
package/dist/backend/native/program-shards.js.map +1 -1
package/dist/backend/native/runtime-inputs.d.ts +1 -1
package/dist/backend/native/runtime-inputs.js +3 -0
package/dist/backend/native/runtime-inputs.js.map +1 -1
package/dist/backend/native/vendor.d.ts +1 -1
package/dist/backend/native-codegen-core.d.ts +15 -6
package/dist/backend/native-codegen-core.js +20 -9
package/dist/backend/native-codegen-core.js.map +1 -1
package/dist/backend/native-codegen.js +51 -5
package/dist/backend/native-codegen.js.map +1 -1
package/dist/backend/native-codegen.test.js +82 -8
package/dist/backend/native-codegen.test.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/native-profile.d.ts +68 -4
package/dist/backend/native-profile.js +86 -14
package/dist/backend/native-profile.js.map +1 -1
package/dist/backend/native-profile.test.js +127 -4
package/dist/backend/native-profile.test.js.map +1 -1
package/dist/backend/native-toolchain.d.ts +1 -1
package/dist/backend/native-toolchain.js +1 -1
package/dist/backend/native-toolchain.js.map +1 -1
package/dist/backend/native-toolchain.test.js +58 -4
package/dist/backend/native-toolchain.test.js.map +1 -1
package/dist/backend/native-tools.d.ts +17 -3
package/dist/backend/native-tools.js +12 -4
package/dist/backend/native-tools.js.map +1 -1
package/dist/backend/native-tools.test.d.ts +1 -0
package/dist/backend/native-tools.test.js +76 -0
package/dist/backend/native-tools.test.js.map +1 -0
package/dist/backend/object-localize.js +69 -9
package/dist/backend/object-localize.js.map +1 -1
package/dist/backend/object-localize.test.js +99 -10
package/dist/backend/object-localize.test.js.map +1 -1
package/dist/backend/publication.d.ts +2 -0
package/dist/backend/publication.js +4 -0
package/dist/backend/publication.js.map +1 -1
package/dist/backend/runtime-abi.d.ts +2 -2
package/dist/backend/runtime-abi.js +2 -2
package/dist/backend/runtime-pack-core.d.ts +19 -0
package/dist/backend/runtime-pack-core.js +23 -3
package/dist/backend/runtime-pack-core.js.map +1 -1
package/dist/backend/runtime-pack-targets.test.js +1 -1
package/dist/backend/runtime-pack.test.js +48 -2
package/dist/backend/runtime-pack.test.js.map +1 -1
package/dist/backend/target-cpu.d.ts +2 -0
package/dist/backend/target-cpu.js +4 -0
package/dist/backend/target-cpu.js.map +1 -1
package/dist/backend/target-diagnostics.js +1 -19
package/dist/backend/target-diagnostics.js.map +1 -1
package/dist/backend/target-diagnostics.test.js +1 -1
package/dist/backend/target-diagnostics.test.js.map +1 -1
package/dist/backend/targets.d.ts +28 -0
package/dist/backend/targets.js +70 -0
package/dist/backend/targets.js.map +1 -1
package/dist/backend/targets.test.js +75 -1
package/dist/backend/targets.test.js.map +1 -1
package/dist/backend/vendor-archives.d.ts +1 -1
package/dist/backend/vendor-archives.js +25 -12
package/dist/backend/vendor-archives.js.map +1 -1
package/dist/backend/vendor-inputs.d.ts +15 -2
package/dist/backend/vendor-inputs.js +59 -3
package/dist/backend/vendor-inputs.js.map +1 -1
package/dist/backend/vendor-inputs.test.d.ts +1 -0
package/dist/backend/vendor-inputs.test.js +74 -0
package/dist/backend/vendor-inputs.test.js.map +1 -0
package/dist/cli/command.js +95 -5
package/dist/cli/command.js.map +1 -1
package/dist/cli/host.d.ts +3 -0
package/dist/cli/output-options.d.ts +3 -0
package/dist/cli/output-options.js +8 -2
package/dist/cli/output-options.js.map +1 -1
package/dist/cli/usage.d.ts +28 -1
package/dist/cli/usage.js +56 -6
package/dist/cli/usage.js.map +1 -1
package/dist/compat/fetch-profile.d.ts +3 -0
package/dist/compat/fetch-profile.js +23 -3
package/dist/compat/fetch-profile.js.map +1 -1
package/dist/compile-types.d.ts +45 -0
package/dist/contracts/check.js +70 -2
package/dist/contracts/check.js.map +1 -1
package/dist/contracts/int32-elements.d.ts +2 -1
package/dist/contracts/int32-elements.js.map +1 -1
package/dist/coverage/report.d.ts +5 -1
package/dist/coverage/report.js +83 -2
package/dist/coverage/report.js.map +1 -1
package/dist/coverage/verdict-cache.d.ts +2 -0
package/dist/coverage/verdict-cache.js +5 -10
package/dist/coverage/verdict-cache.js.map +1 -1
package/dist/diagnostics/codes.d.ts +145 -0
package/dist/diagnostics/codes.js +159 -0
package/dist/diagnostics/codes.js.map +1 -0
package/dist/diagnostics/codes.test.d.ts +1 -0
package/dist/diagnostics/codes.test.js +78 -0
package/dist/diagnostics/codes.test.js.map +1 -0
package/dist/diagnostics/diagnostic.d.ts +101 -2
package/dist/diagnostics/diagnostic.js +155 -0
package/dist/diagnostics/diagnostic.js.map +1 -1
package/dist/diagnostics/dynamic-slots.d.ts +23 -0
package/dist/diagnostics/dynamic-slots.js +29 -0
package/dist/diagnostics/dynamic-slots.js.map +1 -0
package/dist/diagnostics/dynamic-tier.d.ts +6 -0
package/dist/diagnostics/dynamic-tier.js +8 -1
package/dist/diagnostics/dynamic-tier.js.map +1 -1
package/dist/diagnostics/envelope.d.ts +43 -1
package/dist/diagnostics/envelope.js +19 -1
package/dist/diagnostics/envelope.js.map +1 -1
package/dist/diagnostics/envelope.test.js.map +1 -1
package/dist/diagnostics/render.d.ts +3 -1
package/dist/diagnostics/render.js +27 -6
package/dist/diagnostics/render.js.map +1 -1
package/dist/executable/executable-cache.d.ts +41 -0
package/dist/executable/executable-cache.js +39 -1
package/dist/executable/executable-cache.js.map +1 -1
package/dist/executable/executable-cache.test.js +4 -1
package/dist/executable/executable-cache.test.js.map +1 -1
package/dist/executable/prepare.d.ts +2 -1
package/dist/executable/prepare.js +421 -10
package/dist/executable/prepare.js.map +1 -1
package/dist/frontend/analysis.js +1 -0
package/dist/frontend/analysis.js.map +1 -1
package/dist/frontend/canon-map.d.ts +17 -0
package/dist/frontend/canon-map.js +177 -0
package/dist/frontend/canon-map.js.map +1 -0
package/dist/frontend/canon.d.ts +122 -0
package/dist/frontend/canon.js +462 -0
package/dist/frontend/canon.js.map +1 -0
package/dist/frontend/contract-types.d.ts +9 -1
package/dist/frontend/contract-types.js +46 -4
package/dist/frontend/contract-types.js.map +1 -1
package/dist/frontend/decl-projection.d.ts +3 -0
package/dist/frontend/decl-projection.js +121 -3
package/dist/frontend/decl-projection.js.map +1 -1
package/dist/frontend/dts-paths.d.ts +17 -4
package/dist/frontend/dts-paths.js +149 -5
package/dist/frontend/dts-paths.js.map +1 -1
package/dist/frontend/fork-target.js +4 -4
package/dist/frontend/fork-target.js.map +1 -1
package/dist/frontend/fork-target.test.js +3 -3
package/dist/frontend/fork-target.test.js.map +1 -1
package/dist/frontend/heritage-elements.d.ts +15 -0
package/dist/frontend/heritage-elements.js +18 -0
package/dist/frontend/heritage-elements.js.map +1 -0
package/dist/frontend/heritage-elements.test.d.ts +1 -0
package/dist/frontend/heritage-elements.test.js +68 -0
package/dist/frontend/heritage-elements.test.js.map +1 -0
package/dist/frontend/input-tracker.d.ts +20 -0
package/dist/frontend/input-tracker.js +74 -4
package/dist/frontend/input-tracker.js.map +1 -1
package/dist/frontend/input-tracker.test.js +66 -0
package/dist/frontend/input-tracker.test.js.map +1 -1
package/dist/frontend/lowering/any-collection-residue.d.ts +9 -0
package/dist/frontend/lowering/any-collection-residue.js +42 -0
package/dist/frontend/lowering/any-collection-residue.js.map +1 -0
package/dist/frontend/lowering/array-values.d.ts +44 -2
package/dist/frontend/lowering/array-values.js +193 -3
package/dist/frontend/lowering/array-values.js.map +1 -1
package/dist/frontend/lowering/builtin-namespaces.d.ts +6 -2
package/dist/frontend/lowering/builtin-namespaces.js +28 -6
package/dist/frontend/lowering/builtin-namespaces.js.map +1 -1
package/dist/frontend/lowering/builtins/array-classes.d.ts +69 -0
package/dist/frontend/lowering/builtins/array-classes.js +729 -0
package/dist/frontend/lowering/builtins/array-classes.js.map +1 -0
package/dist/frontend/lowering/builtins/callable-aliases.js +4 -0
package/dist/frontend/lowering/builtins/callable-aliases.js.map +1 -1
package/dist/frontend/lowering/builtins/child-process-methods.js +34 -0
package/dist/frontend/lowering/builtins/child-process-methods.js.map +1 -1
package/dist/frontend/lowering/builtins/disposable-stack.js +1 -3
package/dist/frontend/lowering/builtins/disposable-stack.js.map +1 -1
package/dist/frontend/lowering/builtins/errors.d.ts +13 -9
package/dist/frontend/lowering/builtins/errors.js +136 -56
package/dist/frontend/lowering/builtins/errors.js.map +1 -1
package/dist/frontend/lowering/builtins/filesystem-calls.d.ts +1 -0
package/dist/frontend/lowering/builtins/filesystem-calls.js +85 -4
package/dist/frontend/lowering/builtins/filesystem-calls.js.map +1 -1
package/dist/frontend/lowering/builtins/filesystem.d.ts +11 -6
package/dist/frontend/lowering/builtins/filesystem.js +270 -24
package/dist/frontend/lowering/builtins/filesystem.js.map +1 -1
package/dist/frontend/lowering/builtins/json.js +7 -1
package/dist/frontend/lowering/builtins/json.js.map +1 -1
package/dist/frontend/lowering/builtins/mime.d.ts +25 -0
package/dist/frontend/lowering/builtins/mime.js +167 -0
package/dist/frontend/lowering/builtins/mime.js.map +1 -0
package/dist/frontend/lowering/builtins/module-bindings.d.ts +3 -0
package/dist/frontend/lowering/builtins/module-bindings.js +6 -0
package/dist/frontend/lowering/builtins/module-bindings.js.map +1 -1
package/dist/frontend/lowering/builtins/module-calls.js +79 -12
package/dist/frontend/lowering/builtins/module-calls.js.map +1 -1
package/dist/frontend/lowering/builtins/module-resolution.d.ts +7 -4
package/dist/frontend/lowering/builtins/module-resolution.js +115 -13
package/dist/frontend/lowering/builtins/module-resolution.js.map +1 -1
package/dist/frontend/lowering/builtins/navigator.d.ts +3 -1
package/dist/frontend/lowering/builtins/navigator.js +22 -8
package/dist/frontend/lowering/builtins/navigator.js.map +1 -1
package/dist/frontend/lowering/builtins/process.js +49 -9
package/dist/frontend/lowering/builtins/process.js.map +1 -1
package/dist/frontend/lowering/builtins/promises.js +18 -3
package/dist/frontend/lowering/builtins/promises.js.map +1 -1
package/dist/frontend/lowering/builtins/promisify-callback.d.ts +6 -2
package/dist/frontend/lowering/builtins/promisify-callback.js +19 -6
package/dist/frontend/lowering/builtins/promisify-callback.js.map +1 -1
package/dist/frontend/lowering/builtins/properties.js +23 -5
package/dist/frontend/lowering/builtins/properties.js.map +1 -1
package/dist/frontend/lowering/builtins/web-streams-dyn.d.ts +42 -0
package/dist/frontend/lowering/builtins/web-streams-dyn.js +321 -0
package/dist/frontend/lowering/builtins/web-streams-dyn.js.map +1 -0
package/dist/frontend/lowering/builtins/x509.js +35 -5
package/dist/frontend/lowering/builtins/x509.js.map +1 -1
package/dist/frontend/lowering/call-arguments.d.ts +14 -1
package/dist/frontend/lowering/call-arguments.js +84 -70
package/dist/frontend/lowering/call-arguments.js.map +1 -1
package/dist/frontend/lowering/call-signatures.js +108 -24
package/dist/frontend/lowering/call-signatures.js.map +1 -1
package/dist/frontend/lowering/class-attributes.js +6 -5
package/dist/frontend/lowering/class-attributes.js.map +1 -1
package/dist/frontend/lowering/class-dynamic-dispatch.js +40 -19
package/dist/frontend/lowering/class-dynamic-dispatch.js.map +1 -1
package/dist/frontend/lowering/class-dynamic-dispatch.test.js +1 -0
package/dist/frontend/lowering/class-dynamic-dispatch.test.js.map +1 -1
package/dist/frontend/lowering/class-protocol-dispatch.js +4 -0
package/dist/frontend/lowering/class-protocol-dispatch.js.map +1 -1
package/dist/frontend/lowering/class-protocols.d.ts +61 -1
package/dist/frontend/lowering/class-protocols.js +297 -21
package/dist/frontend/lowering/class-protocols.js.map +1 -1
package/dist/frontend/lowering/class-to-primitive.d.ts +3 -2
package/dist/frontend/lowering/class-to-primitive.js +15 -5
package/dist/frontend/lowering/class-to-primitive.js.map +1 -1
package/dist/frontend/lowering/coercions/asserted.d.ts +16 -0
package/dist/frontend/lowering/coercions/asserted.js +79 -0
package/dist/frontend/lowering/coercions/asserted.js.map +1 -0
package/dist/frontend/lowering/coercions/function-adapters.d.ts +13 -0
package/dist/frontend/lowering/coercions/function-adapters.js +70 -3
package/dist/frontend/lowering/coercions/function-adapters.js.map +1 -1
package/dist/frontend/lowering/coercions/state.d.ts +23 -0
package/dist/frontend/lowering/coercions/state.js +9 -0
package/dist/frontend/lowering/coercions/state.js.map +1 -1
package/dist/frontend/lowering/coercions/structural-plans.js +67 -1
package/dist/frontend/lowering/coercions/structural-plans.js.map +1 -1
package/dist/frontend/lowering/coercions/structural.d.ts +10 -0
package/dist/frontend/lowering/coercions/structural.js +134 -4
package/dist/frontend/lowering/coercions/structural.js.map +1 -1
package/dist/frontend/lowering/coercions/unions.d.ts +11 -0
package/dist/frontend/lowering/coercions/unions.js +83 -4
package/dist/frontend/lowering/coercions/unions.js.map +1 -1
package/dist/frontend/lowering/completion-callbacks.js +3 -2
package/dist/frontend/lowering/completion-callbacks.js.map +1 -1
package/dist/frontend/lowering/containers/array-callbacks.d.ts +10 -0
package/dist/frontend/lowering/containers/array-callbacks.js +224 -81
package/dist/frontend/lowering/containers/array-callbacks.js.map +1 -1
package/dist/frontend/lowering/containers/array-concat.d.ts +5 -2
package/dist/frontend/lowering/containers/array-concat.js +76 -7
package/dist/frontend/lowering/containers/array-concat.js.map +1 -1
package/dist/frontend/lowering/containers/array-construction.d.ts +9 -4
package/dist/frontend/lowering/containers/array-construction.js +112 -100
package/dist/frontend/lowering/containers/array-construction.js.map +1 -1
package/dist/frontend/lowering/containers/array-methods.js +193 -45
package/dist/frontend/lowering/containers/array-methods.js.map +1 -1
package/dist/frontend/lowering/containers/array-pipelines.d.ts +3 -0
package/dist/frontend/lowering/containers/array-pipelines.js +81 -13
package/dist/frontend/lowering/containers/array-pipelines.js.map +1 -1
package/dist/frontend/lowering/containers/callback-arguments.d.ts +1 -0
package/dist/frontend/lowering/containers/callback-arguments.js +28 -2
package/dist/frontend/lowering/containers/callback-arguments.js.map +1 -1
package/dist/frontend/lowering/containers/collection-methods.js +13 -3
package/dist/frontend/lowering/containers/collection-methods.js.map +1 -1
package/dist/frontend/lowering/containers/filter-predicates.js +34 -3
package/dist/frontend/lowering/containers/filter-predicates.js.map +1 -1
package/dist/frontend/lowering/containers/indexed-objects.d.ts +34 -1
package/dist/frontend/lowering/containers/indexed-objects.js +131 -72
package/dist/frontend/lowering/containers/indexed-objects.js.map +1 -1
package/dist/frontend/lowering/cycle-initialization.js +43 -6
package/dist/frontend/lowering/cycle-initialization.js.map +1 -1
package/dist/frontend/lowering/decl-origin.d.ts +49 -0
package/dist/frontend/lowering/decl-origin.js +402 -0
package/dist/frontend/lowering/decl-origin.js.map +1 -0
package/dist/frontend/lowering/deferred-module-initializers.d.ts +2 -0
package/dist/frontend/lowering/deferred-module-initializers.js +7 -0
package/dist/frontend/lowering/deferred-module-initializers.js.map +1 -1
package/dist/frontend/lowering/divergences.js +5 -0
package/dist/frontend/lowering/divergences.js.map +1 -1
package/dist/frontend/lowering/dynamic-tier.d.ts +8 -2
package/dist/frontend/lowering/dynamic-tier.js +111 -3
package/dist/frontend/lowering/dynamic-tier.js.map +1 -1
package/dist/frontend/lowering/expressions/array-literals.d.ts +14 -1
package/dist/frontend/lowering/expressions/array-literals.js +43 -5
package/dist/frontend/lowering/expressions/array-literals.js.map +1 -1
package/dist/frontend/lowering/expressions/asserted-receiver.d.ts +48 -0
package/dist/frontend/lowering/expressions/asserted-receiver.js +233 -0
package/dist/frontend/lowering/expressions/asserted-receiver.js.map +1 -0
package/dist/frontend/lowering/expressions/binary.js +136 -1
package/dist/frontend/lowering/expressions/binary.js.map +1 -1
package/dist/frontend/lowering/expressions/element-access.d.ts +7 -0
package/dist/frontend/lowering/expressions/element-access.js +363 -12
package/dist/frontend/lowering/expressions/element-access.js.map +1 -1
package/dist/frontend/lowering/expressions/identifiers.d.ts +3 -0
package/dist/frontend/lowering/expressions/identifiers.js +78 -62
package/dist/frontend/lowering/expressions/identifiers.js.map +1 -1
package/dist/frontend/lowering/expressions/message-listeners.d.ts +3 -0
package/dist/frontend/lowering/expressions/message-listeners.js +19 -0
package/dist/frontend/lowering/expressions/message-listeners.js.map +1 -0
package/dist/frontend/lowering/expressions/narrowing.js +224 -6
package/dist/frontend/lowering/expressions/narrowing.js.map +1 -1
package/dist/frontend/lowering/expressions/nullish-assignment.js +5 -2
package/dist/frontend/lowering/expressions/nullish-assignment.js.map +1 -1
package/dist/frontend/lowering/expressions/object-literals.d.ts +1 -1
package/dist/frontend/lowering/expressions/object-literals.js +282 -24
package/dist/frontend/lowering/expressions/object-literals.js.map +1 -1
package/dist/frontend/lowering/expressions/property-access.d.ts +15 -3
package/dist/frontend/lowering/expressions/property-access.js +397 -74
package/dist/frontend/lowering/expressions/property-access.js.map +1 -1
package/dist/frontend/lowering/expressions/relational.js +202 -70
package/dist/frontend/lowering/expressions/relational.js.map +1 -1
package/dist/frontend/lowering/expressions/typeof.js +9 -1
package/dist/frontend/lowering/expressions/typeof.js.map +1 -1
package/dist/frontend/lowering/expressions/union-fields.d.ts +28 -8
package/dist/frontend/lowering/expressions/union-fields.js +168 -14
package/dist/frontend/lowering/expressions/union-fields.js.map +1 -1
package/dist/frontend/lowering/frozen-records.d.ts +8 -0
package/dist/frontend/lowering/frozen-records.js +56 -9
package/dist/frontend/lowering/frozen-records.js.map +1 -1
package/dist/frontend/lowering/function-context.d.ts +3 -0
package/dist/frontend/lowering/function-context.js +4 -1
package/dist/frontend/lowering/function-context.js.map +1 -1
package/dist/frontend/lowering/function-returns.d.ts +4 -0
package/dist/frontend/lowering/function-returns.js +231 -2
package/dist/frontend/lowering/function-returns.js.map +1 -1
package/dist/frontend/lowering/generator-delegation.js +3 -2
package/dist/frontend/lowering/generator-delegation.js.map +1 -1
package/dist/frontend/lowering/generator-dynamic-dispatch.d.ts +26 -0
package/dist/frontend/lowering/generator-dynamic-dispatch.js +294 -2
package/dist/frontend/lowering/generator-dynamic-dispatch.js.map +1 -1
package/dist/frontend/lowering/generic-functions.d.ts +10 -0
package/dist/frontend/lowering/generic-functions.js +67 -7
package/dist/frontend/lowering/generic-functions.js.map +1 -1
package/dist/frontend/lowering/global-values.d.ts +37 -0
package/dist/frontend/lowering/global-values.js +395 -0
package/dist/frontend/lowering/global-values.js.map +1 -0
package/dist/frontend/lowering/handle-properties.js +3 -2
package/dist/frontend/lowering/handle-properties.js.map +1 -1
package/dist/frontend/lowering/handle-properties.test.d.ts +1 -0
package/dist/frontend/lowering/handle-properties.test.js +25 -0
package/dist/frontend/lowering/handle-properties.test.js.map +1 -0
package/dist/frontend/lowering/import-meta.d.ts +3 -0
package/dist/frontend/lowering/import-meta.js +8 -3
package/dist/frontend/lowering/import-meta.js.map +1 -1
package/dist/frontend/lowering/iterator-adapters.js +3 -3
package/dist/frontend/lowering/iterator-adapters.js.map +1 -1
package/dist/frontend/lowering/key-order-witness.d.ts +2 -0
package/dist/frontend/lowering/key-order-witness.js +10 -0
package/dist/frontend/lowering/key-order-witness.js.map +1 -1
package/dist/frontend/lowering/lower-array-sort.d.ts +5 -1
package/dist/frontend/lowering/lower-array-sort.js +16 -2
package/dist/frontend/lowering/lower-array-sort.js.map +1 -1
package/dist/frontend/lowering/lower-builtin-values.d.ts +7 -0
package/dist/frontend/lowering/lower-builtin-values.js +65 -16
package/dist/frontend/lowering/lower-builtin-values.js.map +1 -1
package/dist/frontend/lowering/lower-calls.js +222 -24
package/dist/frontend/lowering/lower-calls.js.map +1 -1
package/dist/frontend/lowering/lower-classes.d.ts +6 -0
package/dist/frontend/lowering/lower-classes.js +154 -20
package/dist/frontend/lowering/lower-classes.js.map +1 -1
package/dist/frontend/lowering/lower-console.js +25 -2
package/dist/frontend/lowering/lower-console.js.map +1 -1
package/dist/frontend/lowering/lower-exprs.d.ts +29 -0
package/dist/frontend/lowering/lower-exprs.js +544 -24
package/dist/frontend/lowering/lower-exprs.js.map +1 -1
package/dist/frontend/lowering/lower-functions.js +93 -18
package/dist/frontend/lowering/lower-functions.js.map +1 -1
package/dist/frontend/lowering/lower-global-value.d.ts +4 -1
package/dist/frontend/lowering/lower-global-value.js +10 -3
package/dist/frontend/lowering/lower-global-value.js.map +1 -1
package/dist/frontend/lowering/lower-inspect.d.ts +44 -4
package/dist/frontend/lowering/lower-inspect.js +723 -26
package/dist/frontend/lowering/lower-inspect.js.map +1 -1
package/dist/frontend/lowering/lower-modules.d.ts +3 -1
package/dist/frontend/lowering/lower-modules.js +189 -24
package/dist/frontend/lowering/lower-modules.js.map +1 -1
package/dist/frontend/lowering/lower-namespaces.d.ts +7 -0
package/dist/frontend/lowering/lower-namespaces.js +23 -0
package/dist/frontend/lowering/lower-namespaces.js.map +1 -1
package/dist/frontend/lowering/lower-node-island.d.ts +74 -0
package/dist/frontend/lowering/lower-node-island.js +1931 -0
package/dist/frontend/lowering/lower-node-island.js.map +1 -0
package/dist/frontend/lowering/lower-server.js +44 -0
package/dist/frontend/lowering/lower-server.js.map +1 -1
package/dist/frontend/lowering/lower-shared-modules.d.ts +27 -0
package/dist/frontend/lowering/lower-shared-modules.js +611 -0
package/dist/frontend/lowering/lower-shared-modules.js.map +1 -0
package/dist/frontend/lowering/lower-stdlib.js +85 -9
package/dist/frontend/lowering/lower-stdlib.js.map +1 -1
package/dist/frontend/lowering/lower-stmts.d.ts +2 -6
package/dist/frontend/lowering/lower-stmts.js +781 -143
package/dist/frontend/lowering/lower-stmts.js.map +1 -1
package/dist/frontend/lowering/lower-stream.js +548 -36
package/dist/frontend/lowering/lower-stream.js.map +1 -1
package/dist/frontend/lowering/lower-timers.js +9 -0
package/dist/frontend/lowering/lower-timers.js.map +1 -1
package/dist/frontend/lowering/lowerer.d.ts +514 -10
package/dist/frontend/lowering/lowerer.js +2667 -163
package/dist/frontend/lowering/lowerer.js.map +1 -1
package/dist/frontend/lowering/lowerer.test.js +44 -1
package/dist/frontend/lowering/lowerer.test.js.map +1 -1
package/dist/frontend/lowering/maybe-promise.d.ts +6 -0
package/dist/frontend/lowering/maybe-promise.js +13 -0
package/dist/frontend/lowering/maybe-promise.js.map +1 -1
package/dist/frontend/lowering/module-namespace-elements.d.ts +12 -0
package/dist/frontend/lowering/module-namespace-elements.js +114 -18
package/dist/frontend/lowering/module-namespace-elements.js.map +1 -1
package/dist/frontend/lowering/nan-coded-reads.d.ts +11 -0
package/dist/frontend/lowering/nan-coded-reads.js +45 -2
package/dist/frontend/lowering/nan-coded-reads.js.map +1 -1
package/dist/frontend/lowering/narrowing-stability.d.ts +4 -0
package/dist/frontend/lowering/narrowing-stability.js +14 -6
package/dist/frontend/lowering/narrowing-stability.js.map +1 -1
package/dist/frontend/lowering/receiver-returns.d.ts +3 -0
package/dist/frontend/lowering/receiver-returns.js +134 -0
package/dist/frontend/lowering/receiver-returns.js.map +1 -0
package/dist/frontend/lowering/record-inherited.d.ts +26 -0
package/dist/frontend/lowering/record-inherited.js +807 -0
package/dist/frontend/lowering/record-inherited.js.map +1 -0
package/dist/frontend/lowering/runtime-optional-elements.d.ts +31 -1
package/dist/frontend/lowering/runtime-optional-elements.js +105 -13
package/dist/frontend/lowering/runtime-optional-elements.js.map +1 -1
package/dist/frontend/lowering/runtime-optional-guards.d.ts +3 -0
package/dist/frontend/lowering/runtime-optional-guards.js +35 -7
package/dist/frontend/lowering/runtime-optional-guards.js.map +1 -1
package/dist/frontend/lowering/runtime-optional-guards.test.js +59 -1
package/dist/frontend/lowering/runtime-optional-guards.test.js.map +1 -1
package/dist/frontend/lowering/stable-names.d.ts +8 -0
package/dist/frontend/lowering/stable-names.js +22 -0
package/dist/frontend/lowering/stable-names.js.map +1 -1
package/dist/frontend/lowering/stable-names.test.d.ts +1 -0
package/dist/frontend/lowering/stable-names.test.js +16 -0
package/dist/frontend/lowering/stable-names.test.js.map +1 -0
package/dist/frontend/lowering/static-typeof.d.ts +5 -4
package/dist/frontend/lowering/static-typeof.js +10 -4
package/dist/frontend/lowering/static-typeof.js.map +1 -1
package/dist/frontend/lowering/structural-instances.d.ts +22 -0
package/dist/frontend/lowering/structural-instances.js +282 -0
package/dist/frontend/lowering/structural-instances.js.map +1 -0
package/dist/frontend/lowering/surfaces.d.ts +3 -0
package/dist/frontend/lowering/surfaces.js +108 -12
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 +32 -0
package/dist/frontend/lowering/symbol-fields.js.map +1 -1
package/dist/frontend/lowering/type-failure.d.ts +17 -0
package/dist/frontend/lowering/type-failure.js +163 -0
package/dist/frontend/lowering/type-failure.js.map +1 -0
package/dist/frontend/lowering/typed-arguments.d.ts +5 -6
package/dist/frontend/lowering/typed-arguments.js +10 -2
package/dist/frontend/lowering/typed-arguments.js.map +1 -1
package/dist/frontend/lowering/union-narrow.d.ts +9 -1
package/dist/frontend/lowering/union-narrow.js +31 -2
package/dist/frontend/lowering/union-narrow.js.map +1 -1
package/dist/frontend/lowering/union-retag.test.js +42 -2
package/dist/frontend/lowering/union-retag.test.js.map +1 -1
package/dist/frontend/lowering/unit-journal.d.ts +194 -0
package/dist/frontend/lowering/unit-journal.js +556 -0
package/dist/frontend/lowering/unit-journal.js.map +1 -0
package/dist/frontend/lowering/unit-journal.test.d.ts +1 -0
package/dist/frontend/lowering/unit-journal.test.js +335 -0
package/dist/frontend/lowering/unit-journal.test.js.map +1 -0
package/dist/frontend/lowering/width-lift.d.ts +19 -0
package/dist/frontend/node-api-import.d.ts +21 -0
package/dist/frontend/node-api-import.js +88 -0
package/dist/frontend/node-api-import.js.map +1 -0
package/dist/frontend/npm-static-type-exports-host.js +4 -3
package/dist/frontend/npm-static-type-exports-host.js.map +1 -1
package/dist/frontend/npm-static.js +9 -2
package/dist/frontend/npm-static.js.map +1 -1
package/dist/frontend/package-shims.d.ts +6 -2
package/dist/frontend/package-shims.js +13 -2
package/dist/frontend/package-shims.js.map +1 -1
package/dist/frontend/pipeline.d.ts +11 -4
package/dist/frontend/pipeline.js +249 -26
package/dist/frontend/pipeline.js.map +1 -1
package/dist/frontend/process-fork.d.ts +3 -0
package/dist/frontend/process-fork.js.map +1 -1
package/dist/frontend/program-analysis.d.ts +6 -0
package/dist/frontend/program-analysis.js +4 -0
package/dist/frontend/program-analysis.js.map +1 -1
package/dist/frontend/program.d.ts +12 -1
package/dist/frontend/program.js +256 -36
package/dist/frontend/program.js.map +1 -1
package/dist/frontend/resolve.js +8 -2
package/dist/frontend/resolve.js.map +1 -1
package/dist/frontend/shape-inference/analyze.d.ts +23 -1
package/dist/frontend/shape-inference/analyze.js +982 -97
package/dist/frontend/shape-inference/analyze.js.map +1 -1
package/dist/frontend/shape-inference/constant-graphs.d.ts +2 -0
package/dist/frontend/shape-inference/constant-graphs.js +39 -4
package/dist/frontend/shape-inference/constant-graphs.js.map +1 -1
package/dist/frontend/shape-inference/domain.d.ts +2 -0
package/dist/frontend/shape-inference/domain.js.map +1 -1
package/dist/frontend/shape-inference/fallback.d.ts +17 -0
package/dist/frontend/shape-inference/fallback.js +303 -0
package/dist/frontend/shape-inference/fallback.js.map +1 -0
package/dist/frontend/shape-inference/index.d.ts +75 -1
package/dist/frontend/shape-inference/index.js +531 -2
package/dist/frontend/shape-inference/index.js.map +1 -1
package/dist/frontend/shape-inference/inferred-checks.d.ts +2 -0
package/dist/frontend/shape-inference/inferred-checks.js +90 -0
package/dist/frontend/shape-inference/inferred-checks.js.map +1 -0
package/dist/frontend/shape-inference/memo.d.ts +30 -0
package/dist/frontend/shape-inference/memo.js +99 -0
package/dist/frontend/shape-inference/memo.js.map +1 -0
package/dist/frontend/shape-inference/overlay.d.ts +81 -0
package/dist/frontend/shape-inference/overlay.js +1160 -0
package/dist/frontend/shape-inference/overlay.js.map +1 -0
package/dist/frontend/shape-inference/registry.test.d.ts +1 -0
package/dist/frontend/shape-inference/registry.test.js +34 -0
package/dist/frontend/shape-inference/registry.test.js.map +1 -0
package/dist/frontend/shape-inference/report.js +42 -8
package/dist/frontend/shape-inference/report.js.map +1 -1
package/dist/frontend/shape-inference/static-objects.d.ts +29 -0
package/dist/frontend/shape-inference/static-objects.js +1951 -0
package/dist/frontend/shape-inference/static-objects.js.map +1 -0
package/dist/frontend/tier-analysis.d.ts +53 -1
package/dist/frontend/tier-analysis.js +133 -0
package/dist/frontend/tier-analysis.js.map +1 -1
package/dist/frontend/ts7/api.js +4 -2
package/dist/frontend/ts7/api.js.map +1 -1
package/dist/frontend/ts7/ast-node.d.ts +9 -0
package/dist/frontend/ts7/ast-node.js +42 -10
package/dist/frontend/ts7/ast-node.js.map +1 -1
package/dist/frontend/ts7/ast-node.test.js +23 -0
package/dist/frontend/ts7/ast-node.test.js.map +1 -1
package/dist/frontend/ts7/ast-wire-protocols.test.d.ts +1 -0
package/dist/frontend/ts7/ast-wire-protocols.test.js +93 -0
package/dist/frontend/ts7/ast-wire-protocols.test.js.map +1 -0
package/dist/frontend/ts7/ast-wire.d.ts +18 -0
package/dist/frontend/ts7/ast-wire.js +66 -4
package/dist/frontend/ts7/ast-wire.js.map +1 -1
package/dist/frontend/ts7/checker-server.d.ts +12 -11
package/dist/frontend/ts7/checker-server.js +28 -12
package/dist/frontend/ts7/checker-server.js.map +1 -1
package/dist/frontend/ts7/checker-server.test.js +8 -3
package/dist/frontend/ts7/checker-server.test.js.map +1 -1
package/dist/frontend/ts7/checker.d.ts +4 -0
package/dist/frontend/ts7/checker.js +9 -0
package/dist/frontend/ts7/checker.js.map +1 -1
package/dist/frontend/ts7/checker.test.js +216 -205
package/dist/frontend/ts7/checker.test.js.map +1 -1
package/dist/frontend/ts7/lib-diagnostics.d.ts +71 -4
package/dist/frontend/ts7/lib-diagnostics.js +337 -20
package/dist/frontend/ts7/lib-diagnostics.js.map +1 -1
package/dist/frontend/ts7/lib-diagnostics.test.js +268 -5
package/dist/frontend/ts7/lib-diagnostics.test.js.map +1 -1
package/dist/frontend/ts7/native-api.d.ts +4 -0
package/dist/frontend/ts7/native-api.js +36 -1
package/dist/frontend/ts7/native-api.js.map +1 -1
package/dist/frontend/ts7/program-host.d.ts +19 -2
package/dist/frontend/ts7/program-host.js +69 -9
package/dist/frontend/ts7/program-host.js.map +1 -1
package/dist/frontend/ts7/program-host.test.js +42 -1
package/dist/frontend/ts7/program-host.test.js.map +1 -1
package/dist/frontend/ts7/rpc-filesystem.d.ts +4 -2
package/dist/frontend/ts7/rpc-filesystem.js +23 -2
package/dist/frontend/ts7/rpc-filesystem.js.map +1 -1
package/dist/frontend/ts7/rpc-filesystem.test.js +28 -2
package/dist/frontend/ts7/rpc-filesystem.test.js.map +1 -1
package/dist/frontend/ts7/semantic-checker.js +73 -5
package/dist/frontend/ts7/semantic-checker.js.map +1 -1
package/dist/frontend/ts7/semantic-checker.test.js +106 -74
package/dist/frontend/ts7/semantic-checker.test.js.map +1 -1
package/dist/frontend/ts7/semantic-json.d.ts +2 -6
package/dist/frontend/ts7/semantic-model-71.test.d.ts +1 -0
package/dist/frontend/ts7/semantic-model-71.test.js +131 -0
package/dist/frontend/ts7/semantic-model-71.test.js.map +1 -0
package/dist/frontend/ts7/semantic-model.d.ts +121 -3
package/dist/frontend/ts7/semantic-model.js +245 -8
package/dist/frontend/ts7/semantic-model.js.map +1 -1
package/dist/frontend/ts7/session.d.ts +19 -1
package/dist/frontend/ts7/session.js +111 -11
package/dist/frontend/ts7/session.js.map +1 -1
package/dist/frontend/ts7/session.test.js +259 -239
package/dist/frontend/ts7/session.test.js.map +1 -1
package/dist/frontend/ts7/test-servers.d.ts +12 -0
package/dist/frontend/ts7/test-servers.js +16 -0
package/dist/frontend/ts7/test-servers.js.map +1 -0
package/dist/frontend/tsc-codes.js +6 -3
package/dist/frontend/tsc-codes.js.map +1 -1
package/dist/frontend/type-mapper.d.ts +61 -1
package/dist/frontend/type-mapper.js +577 -28
package/dist/frontend/type-mapper.js.map +1 -1
package/dist/frontend/type-patches/command.d.ts +19 -0
package/dist/frontend/type-patches/command.js +352 -0
package/dist/frontend/type-patches/command.js.map +1 -0
package/dist/frontend/type-patches/layer.d.ts +45 -0
package/dist/frontend/type-patches/layer.js +409 -0
package/dist/frontend/type-patches/layer.js.map +1 -0
package/dist/frontend/type-patches/locate.d.ts +41 -0
package/dist/frontend/type-patches/locate.js +914 -0
package/dist/frontend/type-patches/locate.js.map +1 -0
package/dist/frontend/type-patches/locate.test.d.ts +1 -0
package/dist/frontend/type-patches/locate.test.js +179 -0
package/dist/frontend/type-patches/locate.test.js.map +1 -0
package/dist/frontend/type-patches/selector.d.ts +43 -0
package/dist/frontend/type-patches/selector.js +126 -0
package/dist/frontend/type-patches/selector.js.map +1 -0
package/dist/frontend/type-patches/selector.test.d.ts +1 -0
package/dist/frontend/type-patches/selector.test.js +56 -0
package/dist/frontend/type-patches/selector.test.js.map +1 -0
package/dist/frontend/type-patches/semver.d.ts +19 -0
package/dist/frontend/type-patches/semver.js +221 -0
package/dist/frontend/type-patches/semver.js.map +1 -0
package/dist/frontend/type-patches/semver.test.d.ts +1 -0
package/dist/frontend/type-patches/semver.test.js +47 -0
package/dist/frontend/type-patches/semver.test.js.map +1 -0
package/dist/frontend/worker-target.test.js +2 -2
package/dist/frontend/worker-target.test.js.map +1 -1
package/dist/index.d.ts +4 -1
package/dist/index.js +292 -27
package/dist/index.js.map +1 -1
package/dist/ir/builtin-effects.js +51 -5
package/dist/ir/builtin-effects.js.map +1 -1
package/dist/ir/builtin-signatures.d.ts +4 -3
package/dist/ir/builtin-signatures.js +277 -12
package/dist/ir/builtin-signatures.js.map +1 -1
package/dist/ir/callback-specialization.js +108 -67
package/dist/ir/callback-specialization.js.map +1 -1
package/dist/ir/capture-values.d.ts +7 -1
package/dist/ir/capture-values.js +28 -5
package/dist/ir/capture-values.js.map +1 -1
package/dist/ir/char-unit-locals.js +38 -42
package/dist/ir/char-unit-locals.js.map +1 -1
package/dist/ir/expression-inlining.js +12 -6
package/dist/ir/expression-inlining.js.map +1 -1
package/dist/ir/fields.generated.d.ts +751 -0
package/dist/ir/fields.generated.js +2071 -0
package/dist/ir/fields.generated.js.map +1 -0
package/dist/ir/fields.test.d.ts +1 -0
package/dist/ir/fields.test.js +113 -0
package/dist/ir/fields.test.js.map +1 -0
package/dist/ir/function-references.js +4 -0
package/dist/ir/function-references.js.map +1 -1
package/dist/ir/function-references.test.js +25 -0
package/dist/ir/function-references.test.js.map +1 -1
package/dist/ir/inline-array-sources.d.ts +15 -0
package/dist/ir/inline-array-sources.js +1825 -0
package/dist/ir/inline-array-sources.js.map +1 -0
package/dist/ir/inline-arrays.d.ts +41 -0
package/dist/ir/inline-arrays.js +533 -0
package/dist/ir/inline-arrays.js.map +1 -0
package/dist/ir/inline-arrays.test.d.ts +1 -0
package/dist/ir/inline-arrays.test.js +225 -0
package/dist/ir/inline-arrays.test.js.map +1 -0
package/dist/ir/int32-slots.d.ts +6 -0
package/dist/ir/int32-slots.js +154 -16
package/dist/ir/int32-slots.js.map +1 -1
package/dist/ir/int32-slots.test.js +48 -0
package/dist/ir/int32-slots.test.js.map +1 -1
package/dist/ir/integer-loops.d.ts +12 -0
package/dist/ir/integer-loops.js +23 -0
package/dist/ir/integer-loops.js.map +1 -1
package/dist/ir/integer-ranges.d.ts +7 -1
package/dist/ir/integer-ranges.js +29 -2
package/dist/ir/integer-ranges.js.map +1 -1
package/dist/ir/intrinsic-signatures.js +2 -1
package/dist/ir/intrinsic-signatures.js.map +1 -1
package/dist/ir/ir.d.ts +103 -5
package/dist/ir/ir.js +38 -4
package/dist/ir/ir.js.map +1 -1
package/dist/ir/ir.test.js +134 -1
package/dist/ir/ir.test.js.map +1 -1
package/dist/ir/jsval.js +211 -29
package/dist/ir/jsval.js.map +1 -1
package/dist/ir/jsval.test.js +120 -0
package/dist/ir/jsval.test.js.map +1 -1
package/dist/ir/loop-entry-ranges.d.ts +38 -0
package/dist/ir/loop-entry-ranges.js +259 -0
package/dist/ir/loop-entry-ranges.js.map +1 -0
package/dist/ir/loop-entry-ranges.test.d.ts +1 -0
package/dist/ir/loop-entry-ranges.test.js +191 -0
package/dist/ir/loop-entry-ranges.test.js.map +1 -0
package/dist/ir/node-index.d.ts +3 -0
package/dist/ir/node-index.js +6 -0
package/dist/ir/node-index.js.map +1 -1
package/dist/ir/numeric-call-specialization.d.ts +9 -6
package/dist/ir/numeric-call-specialization.js +164 -34
package/dist/ir/numeric-call-specialization.js.map +1 -1
package/dist/ir/paired-while-loops.js +23 -19
package/dist/ir/paired-while-loops.js.map +1 -1
package/dist/ir/parameter-versions.js +6 -3
package/dist/ir/parameter-versions.js.map +1 -1
package/dist/ir/receiver-readers.d.ts +10 -0
package/dist/ir/receiver-readers.js +65 -28
package/dist/ir/receiver-readers.js.map +1 -1
package/dist/ir/row-pairs.d.ts +9 -1
package/dist/ir/row-pairs.js +136 -43
package/dist/ir/row-pairs.js.map +1 -1
package/dist/ir/row-pairs.test.js +25 -5
package/dist/ir/row-pairs.test.js.map +1 -1
package/dist/ir/runtime-features.d.ts +33 -1
package/dist/ir/runtime-features.js +104 -6
package/dist/ir/runtime-features.js.map +1 -1
package/dist/ir/runtime-features.test.js +13 -0
package/dist/ir/runtime-features.test.js.map +1 -1
package/dist/ir/saturating-loop-jams.d.ts +24 -0
package/dist/ir/saturating-loop-jams.js +420 -0
package/dist/ir/saturating-loop-jams.js.map +1 -0
package/dist/ir/saturating-loop-jams.test.d.ts +1 -0
package/dist/ir/saturating-loop-jams.test.js +196 -0
package/dist/ir/saturating-loop-jams.test.js.map +1 -0
package/dist/ir/scalar-records.js +9 -3
package/dist/ir/scalar-records.js.map +1 -1
package/dist/ir/self-captures.js +2 -1
package/dist/ir/self-captures.js.map +1 -1
package/dist/ir/serialize.d.ts +5 -1
package/dist/ir/serialize.js +7 -1
package/dist/ir/serialize.js.map +1 -1
package/dist/ir/traverse.js +3 -0
package/dist/ir/traverse.js.map +1 -1
package/dist/ir/validate.js +91 -9
package/dist/ir/validate.js.map +1 -1
package/dist/library/ir-policy.js +1 -0
package/dist/library/ir-policy.js.map +1 -1
package/dist/native/cache.js +2 -0
package/dist/native/cache.js.map +1 -1
package/dist/native/cli.js +54 -7
package/dist/native/cli.js.map +1 -1
package/dist/native/compiler.d.ts +3 -0
package/dist/native/compiler.js +173 -36
package/dist/native/compiler.js.map +1 -1
package/dist/native/compiler.test.js +86 -3
package/dist/native/compiler.test.js.map +1 -1
package/dist/native/executable-cache.d.ts +20 -2
package/dist/native/executable-cache.js +17 -10
package/dist/native/executable-cache.js.map +1 -1
package/dist/native/executable-cache.test.js +38 -1
package/dist/native/executable-cache.test.js.map +1 -1
package/dist/native/linker-job.d.ts +71 -0
package/dist/native/linker-job.js +242 -0
package/dist/native/linker-job.js.map +1 -0
package/dist/native/linker-job.test.d.ts +1 -0
package/dist/native/linker-job.test.js +349 -0
package/dist/native/linker-job.test.js.map +1 -0
package/dist/native/prepare.js +15 -2
package/dist/native/prepare.js.map +1 -1
package/dist/native/sanitizer.js +10 -15
package/dist/native/sanitizer.js.map +1 -1
package/dist/native/sanitizer.test.js +152 -66
package/dist/native/sanitizer.test.js.map +1 -1
package/dist/native/toolchain.d.ts +11 -2
package/dist/native/toolchain.js +43 -17
package/dist/native/toolchain.js.map +1 -1
package/dist/native/toolchain.test.js +75 -0
package/dist/native/toolchain.test.js.map +1 -1
package/dist/node-islands/boundary.d.ts +37 -0
package/dist/node-islands/boundary.js +135 -0
package/dist/node-islands/boundary.js.map +1 -0
package/dist/node-islands/classify.js +1 -1
package/dist/node-islands/classify.js.map +1 -1
package/dist/node-islands/effect-gate.d.ts +11 -0
package/dist/node-islands/effect-gate.js +746 -0
package/dist/node-islands/effect-gate.js.map +1 -0
package/dist/node-islands/effect-gate.test.d.ts +1 -0
package/dist/node-islands/effect-gate.test.js +152 -0
package/dist/node-islands/effect-gate.test.js.map +1 -0
package/dist/node-islands/libnode-pack.d.ts +68 -0
package/dist/node-islands/libnode-pack.js +199 -0
package/dist/node-islands/libnode-pack.js.map +1 -0
package/dist/node-islands/libnode-pack.test.d.ts +1 -0
package/dist/node-islands/libnode-pack.test.js +258 -0
package/dist/node-islands/libnode-pack.test.js.map +1 -0
package/dist/node-islands/libnode.d.ts +32 -0
package/dist/node-islands/libnode.js +212 -0
package/dist/node-islands/libnode.js.map +1 -0
package/dist/node-islands/libnode.test.d.ts +1 -0
package/dist/node-islands/libnode.test.js +170 -0
package/dist/node-islands/libnode.test.js.map +1 -0
package/dist/node-islands/modules.d.ts +96 -0
package/dist/node-islands/modules.js +803 -0
package/dist/node-islands/modules.js.map +1 -0
package/dist/node-islands/modules.test.d.ts +1 -0
package/dist/node-islands/modules.test.js +276 -0
package/dist/node-islands/modules.test.js.map +1 -0
package/dist/node-islands/resolve.d.ts +8 -0
package/dist/node-islands/resolve.js +10 -0
package/dist/node-islands/resolve.js.map +1 -0
package/dist/node-islands/snapshot.d.ts +16 -0
package/dist/node-islands/snapshot.js +486 -0
package/dist/node-islands/snapshot.js.map +1 -0
package/dist/node-islands/snapshot.test.d.ts +1 -0
package/dist/node-islands/snapshot.test.js +56 -0
package/dist/node-islands/snapshot.test.js.map +1 -0
package/dist/project-config.d.ts +37 -1
package/dist/project-config.js +159 -7
package/dist/project-config.js.map +1 -1
package/dist/project-config.test.js +153 -0
package/dist/project-config.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/package.json +24 -21
package/surface-manifest.json +47 -7

package/dist/frontend/shape-inference/constant-graphs.d.ts CHANGED Viewed

@@ -22,6 +22,8 @@ export interface Candidate {
     /** Whether the creating syntax is a plain data literal. */
     readonly plain: boolean;
     readonly inPackage: boolean;
+    /** The per-call-site clone that allocates it ("" outside clones). */
+    readonly ctx?: string;
 }
 export interface ConstantObject {
     readonly site: Candidate;

package/dist/frontend/shape-inference/constant-graphs.js CHANGED Viewed

@@ -120,6 +120,33 @@ export function computeConstantGraphs(analysis) {
         onceMemo.set(fn, result);
         return result;
     };
+    // A per-call-site clone (analyze.ts siteClone) runs once when its one
+    // call site runs once: its caller is module code, or another such clone.
+    const edgesToInfo = new Map();
+    for (const e of analysis.calls) {
+        let l = edgesToInfo.get(e.callee);
+        if (l === undefined)
+            edgesToInfo.set(e.callee, (l = []));
+        l.push(e);
+    }
+    const onceInfoMemo = new Map();
+    const onceInfo = (info) => {
+        if (ts.isSourceFile(info.node))
+            return true;
+        if (!info.ctx.includes("@S"))
+            return once(info.node);
+        const known = onceInfoMemo.get(info);
+        if (known !== undefined)
+            return known;
+        onceInfoMemo.set(info, false);
+        const edges = edgesToInfo.get(info) ?? [];
+        const result = !escapedNodes.has(info.node) &&
+            edges.length > 0 &&
+            new Set(edges.map((e) => e.site)).size === 1 &&
+            edges.every((e) => !e.inLoop && e.caller !== null && !inLoop(e.site, e.caller.node) && onceInfo(e.caller));
+        onceInfoMemo.set(info, result);
+        return result;
+    };
     // Whether every call of a function comes from once-only code outside
     // loops, through any number of call sites: an init factory, whose
     // allocations are one object per call site (schema builders called at
@@ -169,6 +196,7 @@ export function computeConstantGraphs(analysis) {
                 site.spreads.length > 0 ||
                 site.keys === null),
             inPackage: site.inPackage,
+            ctx: site.ctx,
         });
     }
     const inPackage = (n) => npmStaticPackageOfPath(n.getSourceFile().fileName) !== null;
@@ -201,7 +229,12 @@ export function computeConstantGraphs(analysis) {
         // A function object is created where its expression or declaration
         // runs; its prototype with it.
         const owner = ownerFunction(site.node);
-        if (!once(owner) || inLoop(site.node, owner)) {
+        // Allocated in a per-call-site clone: once when that clone runs once.
+        const cloneOwner = site.ctx !== undefined && site.ctx !== ""
+            ? infosByNode.get(owner)?.find((i) => i.ctx === site.ctx)
+            : undefined;
+        const runsOnce = cloneOwner !== undefined ? onceInfo(cloneOwner) : once(owner);
+        if (!runsOnce || inLoop(site.node, owner)) {
             const factory = !inLoop(site.node, owner) && initOnly(owner);
             if (site.inPackage || factory)
                 nearMisses.push({
@@ -283,11 +316,13 @@ export function computeConstantGraphs(analysis) {
     for (const op of analysis.ops) {
         if (op.kind !== "read" || op.name === null)
             continue;
-        const atoms = analysis.nodes[op.recv].atoms;
-        const constant = [...atoms].filter((a) => constantKeys.get(a)?.has(op.name) === true);
+        // A nullish receiver throws (absent keys read undefined in the analysis).
+        const optional = (op.node.flags & ts.NodeFlags.OptionalChain) !== 0;
+        const atoms = [...analysis.nodes[op.recv].atoms].filter((a) => optional || !(a.kind === "prim" && (a.label === "undefined" || a.label === "null")));
+        const constant = atoms.filter((a) => constantKeys.get(a)?.has(op.name) === true);
         if (constant.length === 0)
             continue;
-        if (atoms.size === 1) {
+        if (atoms.length === 1) {
             foldableReads++;
             const p = op.node.parent;
             if (p !== undefined && ts.isCallExpression(p) && p.expression === op.node)

package/dist/frontend/shape-inference/constant-graphs.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"constant-graphs.js","sourceRoot":"","sources":["../../../src/frontend/shape-inference/constant-graphs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;sCAesC;AACtC,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AA8D1D,SAAS,MAAM,CAAC,CAAO;IACrB,OAAO,CACL,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;QACpB,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtB,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtB,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtB,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CACpB,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,SAAS,aAAa,CAAC,CAAO;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACrD,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjC,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAK,CAAqB,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,CAAC,CAAC,aAAa,EAAE,CAAC;AAC3B,CAAC;AAED,6DAA6D;AAC7D,SAAS,MAAM,CAAC,CAAO,EAAE,KAAW;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM;QAAE,IAAI,MAAM,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAChG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,GAAG,CAAC,CAAO;IAClB,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC;IACtE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,6BAA6B,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;AACvH,CAAC;AAED,yEAAyE;AACzE,SAAS,YAAY,CAAC,KAAW;IAC/B,IAAI,MAAM,GAAqB,KAAK,CAAC,MAAM,CAAC;IAC5C,OAAO,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5F,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACzE,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;IACrC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B;QAC5F,OAAO,IAAI,CAAC;IACd,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IACnD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;IAC7B,IAAI,EAAE,GAAqB,MAAM,CAAC,MAAM,CAAC;IACzC,OAAO,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,EAAE,CAAC;QAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC;IAC5E,IACE,EAAE,KAAK,SAAS;QAChB,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACzB,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAClD,EAAE,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB,CAAC;QAChE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,IAAI;QAE1B,OAAO,IAAI,CAAC;IACd,KAAK,IAAI,CAAC,GAAqB,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QAC5E,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACxD,OAAO,IAAI,KAAK,IAAI,IAAI,EAAE,IAAI,IAAI,KAAK,GAAG,IAAI,cAAc,IAAI,IAAI,KAAK,GAAG,IAAI,QAAQ,CAAC;QAC3F,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAAE,MAAM;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,eAAe,GAA4B,IAAI,GAAG,CAAC;IACvD,eAAe;IACf,QAAQ;IACR,gBAAgB;IAChB,gBAAgB;IAChB,QAAQ;IACR,OAAO;CACR,CAAC,CAAC;AAEH,MAAM,UAAU,qBAAqB,CAAC,QAAuB;IAC3D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAwB,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QAC/C,IAAI,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,SAAS;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2C,CAAC;IACnE,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACZ,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAO,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEtF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC1C,MAAM,IAAI,GAAG,CAAC,EAAQ,EAAW,EAAE;QACjC,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QACrC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,2BAA2B;QACpD,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACpC,IACE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,EAC5C,CAAC;YACD,MAAM,GAAG,KAAK,CAAC,KAAK,CAClB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAC1F,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,qEAAqE;IACrE,kEAAkE;IAClE,sEAAsE;IACtE,0BAA0B;IAC1B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC9C,MAAM,QAAQ,GAAG,CAAC,EAAQ,EAAW,EAAE;QACrC,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QACrC,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACpC,MAAM,MAAM,GACV,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,KAAK,CAAC,KAAK,CACT,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,MAAM;gBACT,CAAC,CAAC,MAAM,KAAK,IAAI;gBACjB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC9B,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CACnD,CAAC;QACJ,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC7B,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAc,CAAC;IACxC,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC,KAAK,EAAE,CAAC;YAC/C,IAAI,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC,KAAK,SAAS;gBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAChD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACb,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,MAAM,UAAU,GAAe,EAAE,CAAC;IAClC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAqB,CAAC;IAClD,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QACrC,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE;YACrB,KAAK,EAAE,CAAC,CACN,IAAI,CAAC,WAAW;gBAChB,IAAI,CAAC,cAAc;gBACnB,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBACvB,IAAI,CAAC,IAAI,KAAK,IAAI,CACnB;YACD,SAAS,EAAE,IAAI,CAAC,SAAS;SAC1B,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,CAAO,EAAW,EAAE,CACrC,sBAAsB,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;IAC9D,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAClE,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,SAAS,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAChD,UAAU,CAAC,IAAI,CAAC;YACd,IAAI;YACJ,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;SAChC,CAAC,CAAC;QACH,IAAI,KAAK,KAAK,SAAS;YACrB,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,CAAC,aAAa,CAAC;gBACrB,KAAK,EAAE,IAAI;gBACX,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;aAChC,CAAC,CAAC;IACP,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,mEAAmE;QACnE,+BAA+B;QAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC7D,IAAI,IAAI,CAAC,SAAS,IAAI,OAAO;gBAC3B,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI;oBACJ,GAAG,EAAE,IAAI;oBACT,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,sBAAsB;oBACvD,MAAM,EAAE,OAAO;wBACb,CAAC,CAAC,0BAA0B,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,cAAc;wBACpH,CAAC,CAAC,cAAc,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;iBAC3F,CAAC,CAAC;YACL,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;YACvE,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI;gBACJ,GAAG,EAAE,IAAI;gBACT,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,iDAAiD;aAC1D,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI;gBACJ,GAAG,EAAE,IAAI;gBACT,IAAI,EAAE,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,kBAAkB;gBAC/E,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,OAAO,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE;aACpD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5C,sDAAsD;QACtD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;QAChD,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,qEAAqE;YACrE,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,aAAa,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI;gBAAE,SAAS;YACrF,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACpD,MAAM,EAAE,GAAG,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;gBAAE,SAAS;YAC/C,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,SAAS;YACvC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE;gBACvB,IAAI;gBACJ,GAAG,EAAE,EAAE,CAAC,IAAI;gBACZ,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,oBAAoB;gBACjE,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;aACrB,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,MAAM,EAAE;YAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAkB,CAAC;QAC7E,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;YAClC,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YACnC,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,MAAM,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAE,CAAC,KAAK,CAAC,CAAC;YACtE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAClC,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,aAAa,GAAG,CAAC,EACnB,aAAa,GAAG,CAAC,EACjB,UAAU,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;QAC9B,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS;QACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC,KAAK,CAAC;QAC7C,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,IAAK,CAAC,KAAK,IAAI,CAAC,CAAC;QACvF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrB,aAAa,EAAE,CAAC;YAChB,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;YACzB,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,KAAK,EAAE,CAAC,IAAI;gBAAE,aAAa,EAAE,CAAC;QAC7F,CAAC;;YAAM,UAAU,EAAE,CAAC;IACtB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACjF,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,mBAAmB,CAAC,QAAuB,EAAE,MAAsB;IACjF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,IAAe,EAAU,EAAE,CACxC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;IACzE,MAAM,KAAK,GAAG,IAAI,GAAG,EAA6D,CAAC;IACnF,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE;QAC5B,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACvE,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO;QAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU;QAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAQ,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO;QAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;YACtB,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;IAC/F,MAAM,QAAQ,GAAG,CAAC,CAAiB,EAAE,KAAa,EAAE,IAAe,EAAU,EAAE;QAC7E,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC/B,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBACvB,OAAO,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7F,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;YACvB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;YAC5D,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACZ,OAAO,GAAG,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YACzD,CAAC;YACD,OAAO,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACtF,CAAC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC9F,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAC/D,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CACR,YAAY,QAAQ,CAAC,KAAK,SAAS,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,KAAK,CAAC,MAAM,QAAQ,CAC3I,CAAC;IACF,KAAK,CAAC,IAAI,CACR,oBAAoB,MAAM,CAAC,OAAO,CAAC,MAAM,iBAAiB,MAAM,CAAC,UAAU,CAAC,MAAM,oBAAoB,MAAM,CAAC,aAAa,WAAW,MAAM,CAAC,aAAa,2BAA2B,MAAM,CAAC,UAAU,EAAE,CACxM,CAAC;IACF,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1E,KAAK,CAAC,IAAI,CACR,GAAG,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,sBAAsB,MAAM,yBAAyB,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAC/I,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1B,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC1C,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtF,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACvF,KAAK,CAAC,IAAI,CACR,eAAe,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,GAAG,CAChG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
1	+ {"version":3,"file":"constant-graphs.js","sourceRoot":"","sources":["../../../src/frontend/shape-inference/constant-graphs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;sCAesC;AACtC,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAgE1D,SAAS,MAAM,CAAC,CAAO;IACrB,OAAO,CACL,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;QACpB,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtB,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtB,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtB,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CACpB,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,SAAS,aAAa,CAAC,CAAO;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACrD,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjC,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAK,CAAqB,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,CAAC,CAAC,aAAa,EAAE,CAAC;AAC3B,CAAC;AAED,6DAA6D;AAC7D,SAAS,MAAM,CAAC,CAAO,EAAE,KAAW;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM;QAAE,IAAI,MAAM,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAChG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,GAAG,CAAC,CAAO;IAClB,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC;IACtE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,6BAA6B,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;AACvH,CAAC;AAED,yEAAyE;AACzE,SAAS,YAAY,CAAC,KAAW;IAC/B,IAAI,MAAM,GAAqB,KAAK,CAAC,MAAM,CAAC;IAC5C,OAAO,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5F,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACzE,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;IACrC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B;QAC5F,OAAO,IAAI,CAAC;IACd,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IACnD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;IAC7B,IAAI,EAAE,GAAqB,MAAM,CAAC,MAAM,CAAC;IACzC,OAAO,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,EAAE,CAAC;QAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC;IAC5E,IACE,EAAE,KAAK,SAAS;QAChB,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACzB,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAClD,EAAE,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB,CAAC;QAChE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,IAAI;QAE1B,OAAO,IAAI,CAAC;IACd,KAAK,IAAI,CAAC,GAAqB,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QAC5E,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACxD,OAAO,IAAI,KAAK,IAAI,IAAI,EAAE,IAAI,IAAI,KAAK,GAAG,IAAI,cAAc,IAAI,IAAI,KAAK,GAAG,IAAI,QAAQ,CAAC;QAC3F,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAAE,MAAM;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,eAAe,GAA4B,IAAI,GAAG,CAAC;IACvD,eAAe;IACf,QAAQ;IACR,gBAAgB;IAChB,gBAAgB;IAChB,QAAQ;IACR,OAAO;CACR,CAAC,CAAC;AAEH,MAAM,UAAU,qBAAqB,CAAC,QAAuB;IAC3D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAwB,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QAC/C,IAAI,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,SAAS;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2C,CAAC;IACnE,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACZ,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAO,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEtF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC1C,MAAM,IAAI,GAAG,CAAC,EAAQ,EAAW,EAAE;QACjC,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QACrC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,2BAA2B;QACpD,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACpC,IACE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,EAC5C,CAAC;YACD,MAAM,GAAG,KAAK,CAAC,KAAK,CAClB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAC1F,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,sEAAsE;IACtE,yEAAyE;IACzE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAmD,CAAC;IAC/E,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,SAAS;YAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACzD,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACZ,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAyB,CAAC;IACtD,MAAM,QAAQ,GAAG,CAAC,IAAkB,EAAW,EAAE;QAC/C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1C,MAAM,MAAM,GACV,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAC5B,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;YAC5C,KAAK,CAAC,KAAK,CACT,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CACzF,CAAC;QACJ,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/B,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,qEAAqE;IACrE,kEAAkE;IAClE,sEAAsE;IACtE,0BAA0B;IAC1B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC9C,MAAM,QAAQ,GAAG,CAAC,EAAQ,EAAW,EAAE;QACrC,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QACrC,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACpC,MAAM,MAAM,GACV,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,KAAK,CAAC,KAAK,CACT,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,MAAM;gBACT,CAAC,CAAC,MAAM,KAAK,IAAI;gBACjB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC9B,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CACnD,CAAC;QACJ,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC7B,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAc,CAAC;IACxC,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC,KAAK,EAAE,CAAC;YAC/C,IAAI,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC,KAAK,SAAS;gBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAChD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACb,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,MAAM,UAAU,GAAe,EAAE,CAAC;IAClC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAqB,CAAC;IAClD,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QACrC,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE;YACrB,KAAK,EAAE,CAAC,CACN,IAAI,CAAC,WAAW;gBAChB,IAAI,CAAC,cAAc;gBACnB,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBACvB,IAAI,CAAC,IAAI,KAAK,IAAI,CACnB;YACD,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,GAAG,EAAE,IAAI,CAAC,GAAG;SACd,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,CAAO,EAAW,EAAE,CACrC,sBAAsB,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;IAC9D,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAClE,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,SAAS,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAChD,UAAU,CAAC,IAAI,CAAC;YACd,IAAI;YACJ,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;SAChC,CAAC,CAAC;QACH,IAAI,KAAK,KAAK,SAAS;YACrB,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,CAAC,aAAa,CAAC;gBACrB,KAAK,EAAE,IAAI;gBACX,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;aAChC,CAAC,CAAC;IACP,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,mEAAmE;QACnE,+BAA+B;QAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,sEAAsE;QACtE,MAAM,UAAU,GACd,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,KAAK,EAAE;YACvC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC;YACzD,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,QAAQ,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/E,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC7D,IAAI,IAAI,CAAC,SAAS,IAAI,OAAO;gBAC3B,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI;oBACJ,GAAG,EAAE,IAAI;oBACT,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,sBAAsB;oBACvD,MAAM,EAAE,OAAO;wBACb,CAAC,CAAC,0BAA0B,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,cAAc;wBACpH,CAAC,CAAC,cAAc,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;iBAC3F,CAAC,CAAC;YACL,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;YACvE,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI;gBACJ,GAAG,EAAE,IAAI;gBACT,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,iDAAiD;aAC1D,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI;gBACJ,GAAG,EAAE,IAAI;gBACT,IAAI,EAAE,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,kBAAkB;gBAC/E,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,OAAO,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE;aACpD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5C,sDAAsD;QACtD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;QAChD,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,qEAAqE;YACrE,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,aAAa,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI;gBAAE,SAAS;YACrF,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACpD,MAAM,EAAE,GAAG,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;gBAAE,SAAS;YAC/C,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,SAAS;YACvC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE;gBACvB,IAAI;gBACJ,GAAG,EAAE,EAAE,CAAC,IAAI;gBACZ,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,oBAAoB;gBACjE,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;aACrB,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,MAAM,EAAE;YAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAkB,CAAC;QAC7E,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;YAClC,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YACnC,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,MAAM,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAE,CAAC,KAAK,CAAC,CAAC;YACtE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAClC,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,aAAa,GAAG,CAAC,EACnB,aAAa,GAAG,CAAC,EACjB,UAAU,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;QAC9B,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS;QACrD,0EAA0E;QAC1E,MAAM,QAAQ,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC,KAAK,CAAC,CAAC,MAAM,CACtD,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,WAAW,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAC3F,CAAC;QACF,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,IAAK,CAAC,KAAK,IAAI,CAAC,CAAC;QAClF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,aAAa,EAAE,CAAC;YAChB,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;YACzB,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,KAAK,EAAE,CAAC,IAAI;gBAAE,aAAa,EAAE,CAAC;QAC7F,CAAC;;YAAM,UAAU,EAAE,CAAC;IACtB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACjF,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,mBAAmB,CAAC,QAAuB,EAAE,MAAsB;IACjF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,IAAe,EAAU,EAAE,CACxC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;IACzE,MAAM,KAAK,GAAG,IAAI,GAAG,EAA6D,CAAC;IACnF,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE;QAC5B,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACvE,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO;QAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU;QAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAQ,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO;QAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;YACtB,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;IAC/F,MAAM,QAAQ,GAAG,CAAC,CAAiB,EAAE,KAAa,EAAE,IAAe,EAAU,EAAE;QAC7E,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC/B,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBACvB,OAAO,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7F,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;YACvB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;YAC5D,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACZ,OAAO,GAAG,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YACzD,CAAC;YACD,OAAO,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACtF,CAAC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC9F,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAC/D,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CACR,YAAY,QAAQ,CAAC,KAAK,SAAS,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,KAAK,CAAC,MAAM,QAAQ,CAC3I,CAAC;IACF,KAAK,CAAC,IAAI,CACR,oBAAoB,MAAM,CAAC,OAAO,CAAC,MAAM,iBAAiB,MAAM,CAAC,UAAU,CAAC,MAAM,oBAAoB,MAAM,CAAC,aAAa,WAAW,MAAM,CAAC,aAAa,2BAA2B,MAAM,CAAC,UAAU,EAAE,CACxM,CAAC;IACF,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1E,KAAK,CAAC,IAAI,CACR,GAAG,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,sBAAsB,MAAM,yBAAyB,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAC/I,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1B,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC1C,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtF,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACvF,KAAK,CAAC,IAAI,CACR,eAAe,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,GAAG,CAChG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/frontend/shape-inference/domain.d.ts CHANGED Viewed

@@ -15,6 +15,8 @@ export interface Atom {
     /** function atoms: the analysis context of the function's clone (a
      * method's receiver class), "" for the context-insensitive default. */
     readonly ctx?: string | undefined;
+    /** prim `boolean` atoms of a literal: its value. */
+    readonly literal?: boolean | undefined;
 }
 export declare class AtomTable {
     readonly atoms: Atom[];

package/dist/frontend/shape-inference/domain.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"domain.js","sourceRoot":"","sources":["../../../src/frontend/shape-inference/domain.ts"],"names":[],"mappings":"~~AA0CA~~,MAAM,OAAO,SAAS;IACX,KAAK,GAAW,EAAE,CAAC;IACX,KAAK,GAAG,IAAI,GAAG,EAAgB,CAAC;IAEjD,MAAM,CAAC,GAAW,EAAE,IAAsC;QACxD,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;YAC7B,IAAI,GAAG,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;mEACmE;AACnE,MAAM,CAAC,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC;IACnE,aAAa;IACb,gBAAgB;IAChB,eAAe;IACf,sBAAsB;IACtB,gBAAgB;IAChB,UAAU;IACV,SAAS;IACT,kBAAkB;IAClB,kBAAkB;IAClB,kBAAkB;IAClB,kBAAkB;IAClB,WAAW;CACZ,CAAC,CAAC;AAEH,kFAAkF;AAClF,MAAM,CAAC,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC;IAC1D,QAAQ;IACR,OAAO;IACP,MAAM;IACN,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,KAAK;IACL,KAAK;IACL,SAAS;IACT,SAAS;IACT,OAAO;IACP,WAAW;IACX,YAAY;IACZ,aAAa;IACb,MAAM;IACN,QAAQ;IACR,SAAS;IACT,SAAS;IACT,UAAU;IACV,YAAY;IACZ,OAAO;IACP,UAAU;IACV,oBAAoB;IACpB,oBAAoB;IACpB,WAAW;IACX,WAAW;IACX,QAAQ;IACR,OAAO;CACR,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,qBAAqB,GAAsC,IAAI,GAAG,CAG7E;IACA,CAAC,IAAI,EAAE,QAAQ,CAAC;IAChB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,YAAY,EAAE,QAAQ,CAAC;IACxB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,eAAe,EAAE,QAAQ,CAAC;IAC3B,CAAC,OAAO,EAAE,OAAO,CAAC;IAClB,CAAC,UAAU,EAAE,OAAO,CAAC;IACrB,CAAC,WAAW,EAAE,QAAQ,CAAC;IACvB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,UAAU,EAAE,QAAQ,CAAC;IACtB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,YAAY,EAAE,QAAQ,CAAC;IACxB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,OAAO,EAAE,QAAQ,CAAC;IACnB,CAAC,OAAO,EAAE,OAAO,CAAC;IAClB,CAAC,YAAY,EAAE,SAAS,CAAC;IACzB,CAAC,WAAW,EAAE,QAAQ,CAAC;IACvB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,mBAAmB,EAAE,QAAQ,CAAC;IAC/B,CAAC,mBAAmB,EAAE,QAAQ,CAAC;IAC/B,CAAC,UAAU,EAAE,QAAQ,CAAC;IACtB,CAAC,MAAM,EAAE,QAAQ,CAAC;IAClB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,WAAW,EAAE,QAAQ,CAAC;IACvB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,MAAM,EAAE,SAAS,CAAC;IACnB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,eAAe,EAAE,QAAQ,CAAC;CAC5B,CAAC,CAAC"}
1	+ {"version":3,"file":"domain.js","sourceRoot":"","sources":["../../../src/frontend/shape-inference/domain.ts"],"names":[],"mappings":"AA4CA,MAAM,OAAO,SAAS;IACX,KAAK,GAAW,EAAE,CAAC;IACX,KAAK,GAAG,IAAI,GAAG,EAAgB,CAAC;IAEjD,MAAM,CAAC,GAAW,EAAE,IAAsC;QACxD,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;YAC7B,IAAI,GAAG,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;mEACmE;AACnE,MAAM,CAAC,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC;IACnE,aAAa;IACb,gBAAgB;IAChB,eAAe;IACf,sBAAsB;IACtB,gBAAgB;IAChB,UAAU;IACV,SAAS;IACT,kBAAkB;IAClB,kBAAkB;IAClB,kBAAkB;IAClB,kBAAkB;IAClB,WAAW;CACZ,CAAC,CAAC;AAEH,kFAAkF;AAClF,MAAM,CAAC,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC;IAC1D,QAAQ;IACR,OAAO;IACP,MAAM;IACN,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,KAAK;IACL,KAAK;IACL,SAAS;IACT,SAAS;IACT,OAAO;IACP,WAAW;IACX,YAAY;IACZ,aAAa;IACb,MAAM;IACN,QAAQ;IACR,SAAS;IACT,SAAS;IACT,UAAU;IACV,YAAY;IACZ,OAAO;IACP,UAAU;IACV,oBAAoB;IACpB,oBAAoB;IACpB,WAAW;IACX,WAAW;IACX,QAAQ;IACR,OAAO;CACR,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,qBAAqB,GAAsC,IAAI,GAAG,CAG7E;IACA,CAAC,IAAI,EAAE,QAAQ,CAAC;IAChB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,YAAY,EAAE,QAAQ,CAAC;IACxB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,eAAe,EAAE,QAAQ,CAAC;IAC3B,CAAC,OAAO,EAAE,OAAO,CAAC;IAClB,CAAC,UAAU,EAAE,OAAO,CAAC;IACrB,CAAC,WAAW,EAAE,QAAQ,CAAC;IACvB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,UAAU,EAAE,QAAQ,CAAC;IACtB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,YAAY,EAAE,QAAQ,CAAC;IACxB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,OAAO,EAAE,QAAQ,CAAC;IACnB,CAAC,OAAO,EAAE,OAAO,CAAC;IAClB,CAAC,YAAY,EAAE,SAAS,CAAC;IACzB,CAAC,WAAW,EAAE,QAAQ,CAAC;IACvB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,mBAAmB,EAAE,QAAQ,CAAC;IAC/B,CAAC,mBAAmB,EAAE,QAAQ,CAAC;IAC/B,CAAC,UAAU,EAAE,QAAQ,CAAC;IACtB,CAAC,MAAM,EAAE,QAAQ,CAAC;IAClB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,WAAW,EAAE,QAAQ,CAAC;IACvB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,MAAM,EAAE,SAAS,CAAC;IACnB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,eAAe,EAAE,QAAQ,CAAC;CAC5B,CAAC,CAAC"}

package/dist/frontend/shape-inference/fallback.d.ts ADDED Viewed

@@ -0,0 +1,17 @@
+import * as ts from "../ts7/adapter.js";
+import type { ScrDiagnostic } from "../../diagnostics/diagnostic.js";
+export interface OverlayAttribution {
+    /** Annotation ids per overlay file. */
+    readonly annotations: Map<string, Set<number>>;
+    /** Overlay files a refusal involves (where it sits, or what it names). */
+    readonly files: Set<string>;
+    /** Refusals with no overlay annotation or file to blame. */
+    readonly unattributed: number;
+}
+export declare function attributeOverlayRefusals(program: ts.Program, diagnostics: readonly ScrDiagnostic[], overlayFiles: ReadonlySet<string>,
+/** Failing refusals may blame every annotation in their enclosing
+ * function as a last resort; refusals deferred to run time do not (most
+ * exist without the overlay too). */
+wholeFunctions?: boolean): OverlayAttribution;
+/** The innermost node whose token span covers [start, end). */
+export declare function innermostNodeAt(sf: ts.SourceFile, start: number, end: number): ts.Node;

package/dist/frontend/shape-inference/fallback.js ADDED Viewed

@@ -0,0 +1,303 @@
+/* Shape inference never breaks compilation: when the lowering refuses code
+ * with the overlay on, the overlay annotations the refusal depends on are
+ * dropped and the program is loaded and lowered again, so those
+ * declarations compile untyped (as they do without the overlay).
+ *
+ * Attribution reads the refused program. A refusal depends on:
+ * - the annotations of the declarations enclosing it (an annotated
+ *   function's parameter types, a typed local, a receiver cast);
+ * - the annotations of the declarations its expression names (a method
+ *   whose annotated return type the refused member access reads, a field
+ *   whose annotated type the access sees), followed through the return
+ *   expressions of unannotated functions, whose result types the checker
+ *   infers from what they return.
+ *
+ * pipeline.ts escalates when a round does not converge: first the
+ * overlay of every file involved, then the whole overlay for the build. */
+import * as ts from "../ts7/adapter.js";
+import { OVERLAY_MARK, overlayAnnotationIds } from "./overlay.js";
+/** How far the attribution follows unannotated functions' return
+ * expressions. */
+const RETURN_DEPTH = 3;
+export function attributeOverlayRefusals(program, diagnostics, overlayFiles,
+/** Failing refusals may blame every annotation in their enclosing
+ * function as a last resort; refusals deferred to run time do not (most
+ * exist without the overlay too). */
+wholeFunctions = true) {
+    const annotations = new Map();
+    const files = new Set();
+    let unattributed = 0;
+    let checker = null;
+    // Blamed annotations and files so far (a refusal that adds none is
+    // unattributed).
+    let blamed = 0;
+    const addFile = (file) => {
+        if (files.has(file))
+            return;
+        files.add(file);
+        blamed++;
+    };
+    const add = (file, id) => {
+        let set = annotations.get(file);
+        if (set === undefined)
+            annotations.set(file, (set = new Set()));
+        if (!set.has(id))
+            blamed++;
+        set.add(id);
+        addFile(file);
+    };
+    // The ids in the trivia before a node (where the overlay writes them).
+    const marksOf = (node) => {
+        const sf = node.getSourceFile();
+        if (!overlayFiles.has(sf.fileName))
+            return [];
+        const trivia = sf.text.slice(node.pos, ts.tokenStartOfNode(node));
+        return trivia.includes(OVERLAY_MARK) ? overlayAnnotationIds(trivia) : [];
+    };
+    const blameNode = (node) => {
+        const ids = marksOf(node);
+        for (const id of ids)
+            add(node.getSourceFile().fileName, id);
+        return ids.length > 0;
+    };
+    // A declaration's annotation: on the declaration, or on the statement
+    // holding it (`/** @type */ const x = …`, `/** @type */ this.f = …`).
+    const visitedDecls = new Set();
+    const blameDeclaration = (decl, depth) => {
+        if (visitedDecls.has(decl))
+            return;
+        visitedDecls.add(decl);
+        const sf = decl.getSourceFile();
+        if (!overlayFiles.has(sf.fileName))
+            return;
+        addFile(sf.fileName);
+        let marked = false;
+        for (let n = decl, i = 0; n !== undefined && i < 4; n = n.parent, i++) {
+            if (blameNode(n))
+                marked = true;
+            if (ts.isStatement(n) || isClassMember(n) || ts.isSourceFile(n))
+                break;
+        }
+        // An unannotated function's result type comes from its returns.
+        if (!marked && depth < RETURN_DEPTH && ts.isFunctionLike(decl)) {
+            const body = decl.body;
+            if (body !== undefined) {
+                if (!ts.isBlock(body))
+                    blameReferences(body, depth + 1);
+                else
+                    visitReturns(body, (e) => {
+                        blameReferences(e, depth + 1);
+                    });
+            }
+        }
+    };
+    // Every declaration an expression's names resolve to.
+    const blameReferences = (root, depth) => {
+        checker ??= program.getTypeChecker();
+        const visit = (n) => {
+            if (ts.isIdentifier(n) || ts.isPrivateIdentifier(n)) {
+                let symbol;
+                try {
+                    symbol = checker.getSymbolAtLocation(n);
+                }
+                catch {
+                    symbol = undefined;
+                }
+                for (const d of symbol?.declarations ?? [])
+                    blameDeclaration(d, depth);
+            }
+            ts.forEachChild(n, (c) => {
+                visit(c);
+                return undefined;
+            });
+        };
+        visit(root);
+    };
+    // Calls of each function declared in an overlay file, by declaration.
+    let calls = null;
+    const callsOf = (fn) => {
+        if (calls === null) {
+            calls = new Map();
+            checker ??= program.getTypeChecker();
+            for (const file of overlayFiles) {
+                const sf = program.getSourceFile(file);
+                if (sf === undefined)
+                    continue;
+                const visit = (n) => {
+                    const callee = !ts.isCallExpression(n)
+                        ? undefined
+                        : ts.isIdentifier(n.expression)
+                            ? n.expression
+                            : ts.isPropertyAccessExpression(n.expression) && ts.isIdentifier(n.expression.name)
+                                ? n.expression.name
+                                : undefined;
+                    if (callee !== undefined && ts.isCallExpression(n)) {
+                        let decl;
+                        try {
+                            decl = checker.getSymbolAtLocation(callee)?.declarations[0];
+                        }
+                        catch {
+                            decl = undefined;
+                        }
+                        if (decl !== undefined) {
+                            let list = calls.get(decl);
+                            if (list === undefined)
+                                calls.set(decl, (list = []));
+                            list.push(n);
+                        }
+                    }
+                    ts.forEachChild(n, (c) => {
+                        visit(c);
+                        return undefined;
+                    });
+                };
+                visit(sf);
+            }
+        }
+        return calls.get(fn) ?? [];
+    };
+    // Annotations whose type text names an identifier, by identifier: a
+    // class the lowering refuses compiles dynamically until a type names it.
+    let naming = null;
+    const blameNaming = (name) => {
+        if (naming === null) {
+            naming = new Map();
+            for (const file of overlayFiles) {
+                const text = program.getSourceFile(file)?.text;
+                if (text === undefined)
+                    continue;
+                for (const m of text.matchAll(/\/\*\*[\s\S]*?\*\//g)) {
+                    if (!m[0].includes(OVERLAY_MARK))
+                        continue;
+                    const ids = overlayAnnotationIds(m[0]);
+                    for (const w of new Set(m[0].match(/[A-Za-z_$][\w$]*/g) ?? [])) {
+                        let l = naming.get(w);
+                        if (l === undefined)
+                            naming.set(w, (l = []));
+                        for (const id of ids)
+                            l.push([file, id]);
+                    }
+                }
+            }
+        }
+        for (const [file, id] of naming.get(name) ?? [])
+            add(file, id);
+    };
+    // The class a refusal is about: a field or the heritage of a class
+    // declaration, or a `new C(...)` of a named class.
+    const refusedClassName = (node) => {
+        for (let n = node; n !== undefined; n = n.parent) {
+            if (ts.isNewExpression(n) && ts.isIdentifier(n.expression))
+                return n.expression.text;
+            if (ts.isFunctionLike(n))
+                return null;
+            if (ts.isClassLikeDeclaration(n)) {
+                const name = n.name;
+                return name !== undefined && ts.isIdentifier(name) ? name.text : null;
+            }
+        }
+        return null;
+    };
+    for (const d of diagnostics) {
+        const sf = program.getSourceFile(d.loc.file);
+        if (sf === undefined) {
+            unattributed++;
+            continue;
+        }
+        const before = blamed;
+        if (overlayFiles.has(sf.fileName))
+            addFile(sf.fileName);
+        const node = innermostNodeAt(sf, d.loc.start, Math.max(d.loc.end, d.loc.start));
+        // Enclosing annotated declarations, then the names of the refused
+        // expression, or failing that of the statement around it.
+        let statement = node;
+        for (let n = node; n !== undefined; n = n.parent) {
+            blameNode(n);
+            if (statement === node && (ts.isStatement(n) || isClassMember(n)))
+                statement = n;
+        }
+        const refusedClass = refusedClassName(node);
+        if (refusedClass !== null)
+            blameNaming(refusedClass);
+        const own = blamed;
+        blameReferences(node, 0);
+        if (blamed === own && statement !== node)
+            blameReferences(statement, 0);
+        // A function without parameter annotations is instantiated per call
+        // site from its arguments' types: blame what the arguments name.
+        if (blamed === own) {
+            const fn = enclosingFunction(node);
+            if (fn !== undefined)
+                for (const call of callsOf(fn))
+                    for (const arg of call.arguments.nodes)
+                        blameReferences(arg, 1);
+        }
+        // Still nothing: the lowering of the enclosing function changed as a
+        // whole (an instantiation the annotations inside it made possible).
+        if (blamed === before && wholeFunctions) {
+            const fn = enclosingFunctionLike(node);
+            if (fn !== undefined && overlayFiles.has(fn.getSourceFile().fileName)) {
+                const visit = (n) => {
+                    blameNode(n);
+                    ts.forEachChild(n, (c) => {
+                        visit(c);
+                        return undefined;
+                    });
+                };
+                visit(fn);
+            }
+        }
+        if (blamed === before)
+            unattributed++;
+    }
+    return { annotations, files, unattributed };
+}
+function enclosingFunction(node) {
+    for (let n = node.parent; n !== undefined; n = n.parent)
+        if (ts.isFunctionDeclaration(n) || ts.isMethodDeclaration(n))
+            return n;
+        else if (ts.isFunctionLike(n))
+            return undefined;
+    return undefined;
+}
+function enclosingFunctionLike(node) {
+    for (let n = node; n !== undefined; n = n.parent)
+        if (ts.isFunctionLike(n))
+            return n;
+    return undefined;
+}
+function visitReturns(body, f) {
+    const visit = (n) => {
+        if (ts.isFunctionLike(n) || ts.isClassLikeDeclaration(n))
+            return;
+        if (ts.isReturnStatement(n) && n.expression !== undefined)
+            f(n.expression);
+        ts.forEachChild(n, (c) => {
+            visit(c);
+            return undefined;
+        });
+    };
+    ts.forEachChild(body, (c) => {
+        visit(c);
+        return undefined;
+    });
+}
+/** The innermost node whose token span covers [start, end). */
+export function innermostNodeAt(sf, start, end) {
+    let node = sf;
+    for (;;) {
+        let next;
+        ts.forEachChild(node, (c) => {
+            if (next === undefined && ts.tokenStartOfNode(c) <= start && c.end >= end)
+                next = c;
+            return undefined;
+        });
+        if (next === undefined)
+            return node;
+        node = next;
+    }
+}
+function isClassMember(n) {
+    return n.parent !== undefined && ts.isClassLikeDeclaration(n.parent) && n !== n.parent.name;
+}
+//# sourceMappingURL=fallback.js.map

package/dist/frontend/shape-inference/fallback.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"fallback.js","sourceRoot":"","sources":["../../../src/frontend/shape-inference/fallback.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;2EAe2E;AAC3E,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAWlE;kBACkB;AAClB,MAAM,YAAY,GAAG,CAAC,CAAC;AAEvB,MAAM,UAAU,wBAAwB,CACtC,OAAmB,EACnB,WAAqC,EACrC,YAAiC;AACjC;;qCAEqC;AACrC,cAAc,GAAG,IAAI;IAErB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,OAAO,GAA0B,IAAI,CAAC;IAC1C,mEAAmE;IACnE,iBAAiB;IACjB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,OAAO,GAAG,CAAC,IAAY,EAAQ,EAAE;QACrC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC5B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,EAAE,CAAC;IACX,CAAC,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,EAAU,EAAQ,EAAE;QAC7C,IAAI,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,GAAG,KAAK,SAAS;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,EAAE,CAAC;QAC3B,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACZ,OAAO,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC,CAAC;IACF,uEAAuE;IACvE,MAAM,OAAO,GAAG,CAAC,IAAa,EAAY,EAAE;QAC1C,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QAChC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;YAAE,OAAO,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;QAClE,OAAO,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,IAAa,EAAW,EAAE;QAC3C,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC7D,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;IACxB,CAAC,CAAC;IACF,sEAAsE;IACtE,sEAAsE;IACtE,MAAM,YAAY,GAAG,IAAI,GAAG,EAAW,CAAC;IACxC,MAAM,gBAAgB,GAAG,CAAC,IAAa,EAAE,KAAa,EAAQ,EAAE;QAC9D,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QACnC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QAChC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;YAAE,OAAO;QAC3C,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACrB,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,KAAK,IAAI,CAAC,GAAwB,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3F,IAAI,SAAS,CAAC,CAAC,CAAC;gBAAE,MAAM,GAAG,IAAI,CAAC;YAChC,IAAI,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;gBAAE,MAAM;QACzE,CAAC;QACD,gEAAgE;QAChE,IAAI,CAAC,MAAM,IAAI,KAAK,GAAG,YAAY,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/D,MAAM,IAAI,GAAI,IAA2B,CAAC,IAAI,CAAC;YAC/C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;oBAAE,eAAe,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;;oBAEtD,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;wBACvB,eAAe,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;oBAChC,CAAC,CAAC,CAAC;YACP,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,sDAAsD;IACtD,MAAM,eAAe,GAAG,CAAC,IAAa,EAAE,KAAa,EAAQ,EAAE;QAC7D,OAAO,KAAK,OAAO,CAAC,cAAc,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpD,IAAI,MAA6B,CAAC;gBAClC,IAAI,CAAC;oBACH,MAAM,GAAG,OAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;gBAC3C,CAAC;gBAAC,MAAM,CAAC;oBACP,MAAM,GAAG,SAAS,CAAC;gBACrB,CAAC;gBACD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,YAAY,IAAI,EAAE;oBAAE,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YACzE,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;gBACvB,KAAK,CAAC,CAAC,CAAC,CAAC;gBACT,OAAO,SAAS,CAAC;YACnB,CAAC,CAAC,CAAC;QACL,CAAC,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACd,CAAC,CAAC;IAEF,sEAAsE;IACtE,IAAI,KAAK,GAA6C,IAAI,CAAC;IAC3D,MAAM,OAAO,GAAG,CAAC,EAAW,EAAgC,EAAE;QAC5D,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;YAClB,OAAO,KAAK,OAAO,CAAC,cAAc,EAAE,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;gBAChC,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,EAAE,KAAK,SAAS;oBAAE,SAAS;gBAC/B,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;oBACjC,MAAM,MAAM,GAAG,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;wBACpC,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;4BAC7B,CAAC,CAAC,CAAC,CAAC,UAAU;4BACd,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;gCACjF,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI;gCACnB,CAAC,CAAC,SAAS,CAAC;oBAClB,IAAI,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;wBACnD,IAAI,IAAyB,CAAC;wBAC9B,IAAI,CAAC;4BACH,IAAI,GAAG,OAAQ,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;wBAC/D,CAAC;wBAAC,MAAM,CAAC;4BACP,IAAI,GAAG,SAAS,CAAC;wBACnB,CAAC;wBACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;4BACvB,IAAI,IAAI,GAAG,KAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;4BAC5B,IAAI,IAAI,KAAK,SAAS;gCAAE,KAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;4BACtD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;wBACf,CAAC;oBACH,CAAC;oBACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;wBACvB,KAAK,CAAC,CAAC,CAAC,CAAC;wBACT,OAAO,SAAS,CAAC;oBACnB,CAAC,CAAC,CAAC;gBACL,CAAC,CAAC;gBACF,KAAK,CAAC,EAAE,CAAC,CAAC;YACZ,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;IAC7B,CAAC,CAAC;IAEF,oEAAoE;IACpE,yEAAyE;IACzE,IAAI,MAAM,GAA2C,IAAI,CAAC;IAC1D,MAAM,WAAW,GAAG,CAAC,IAAY,EAAQ,EAAE;QACzC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;YACnB,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;gBAChC,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;gBAC/C,IAAI,IAAI,KAAK,SAAS;oBAAE,SAAS;gBACjC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC;oBACrD,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC;wBAAE,SAAS;oBAC3C,MAAM,GAAG,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACvC,KAAK,MAAM,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;wBAC/D,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;wBACtB,IAAI,CAAC,KAAK,SAAS;4BAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;wBAC7C,KAAK,MAAM,EAAE,IAAI,GAAG;4BAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;oBAC3C,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC;IACF,mEAAmE;IACnE,mDAAmD;IACnD,MAAM,gBAAgB,GAAG,CAAC,IAAa,EAAiB,EAAE;QACxD,KAAK,IAAI,CAAC,GAAwB,IAAI,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;YACtE,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;gBAAE,OAAO,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;YACrF,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACtC,IAAI,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjC,MAAM,IAAI,GAAI,CAAwB,CAAC,IAAI,CAAC;gBAC5C,OAAO,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YACxE,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,YAAY,EAAE,CAAC;YACf,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC;QACtB,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;YAAE,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,eAAe,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAChF,kEAAkE;QAClE,0DAA0D;QAC1D,IAAI,SAAS,GAAY,IAAI,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAwB,IAAI,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;YACtE,SAAS,CAAC,CAAC,CAAC,CAAC;YACb,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC;gBAAE,SAAS,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,YAAY,KAAK,IAAI;YAAE,WAAW,CAAC,YAAY,CAAC,CAAC;QACrD,MAAM,GAAG,GAAG,MAAM,CAAC;QACnB,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACzB,IAAI,MAAM,KAAK,GAAG,IAAI,SAAS,KAAK,IAAI;YAAE,eAAe,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;QACxE,oEAAoE;QACpE,iEAAiE;QACjE,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;YACnB,MAAM,EAAE,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,EAAE,KAAK,SAAS;gBAClB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,EAAE,CAAC;oBAC5B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK;wBAAE,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,qEAAqE;QACrE,oEAAoE;QACpE,IAAI,MAAM,KAAK,MAAM,IAAI,cAAc,EAAE,CAAC;YACxC,MAAM,EAAE,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,EAAE,KAAK,SAAS,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtE,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;oBACjC,SAAS,CAAC,CAAC,CAAC,CAAC;oBACb,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;wBACvB,KAAK,CAAC,CAAC,CAAC,CAAC;wBACT,OAAO,SAAS,CAAC;oBACnB,CAAC,CAAC,CAAC;gBACL,CAAC,CAAC;gBACF,KAAK,CAAC,EAAE,CAAC,CAAC;YACZ,CAAC;QACH,CAAC;QACD,IAAI,MAAM,KAAK,MAAM;YAAE,YAAY,EAAE,CAAC;IACxC,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;AAC9C,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa;IACtC,KAAK,IAAI,CAAC,GAAwB,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM;QAC1E,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;aAClE,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;IAClD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAa;IAC1C,KAAK,IAAI,CAAC,GAAwB,IAAI,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM;QACnE,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IACrC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,IAAa,EAAE,CAA6B;IAChE,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAAE,OAAO;QACjE,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC3E,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;YACvB,KAAK,CAAC,CAAC,CAAC,CAAC;YACT,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;QAC1B,KAAK,CAAC,CAAC,CAAC,CAAC;QACT,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,eAAe,CAAC,EAAiB,EAAE,KAAa,EAAE,GAAW;IAC3E,IAAI,IAAI,GAAY,EAAE,CAAC;IACvB,SAAS,CAAC;QACR,IAAI,IAAyB,CAAC;QAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG;gBAAE,IAAI,GAAG,CAAC,CAAC;YACpF,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC,CAAC;QACH,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,GAAG,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;AAC9F,CAAC"}

package/dist/frontend/shape-inference/index.d.ts CHANGED Viewed

@@ -1,7 +1,81 @@
 import type * as ts from "../ts7/adapter.js";
+import type { IrFunction } from "../../ir/ir.js";
+import type { ScrDiagnostic } from "../../diagnostics/diagnostic.js";
 export { analyzeShapes } from "./analyze.js";
 export { buildShapeReport } from "./report.js";
+export { setShapeOverlayMemoDir } from "./memo.js";
+export { setShapeOverlayProtectedSpans } from "./overlay.js";
 /** SCRIPTC_DEBUG_SHAPES: `1` reports package code in hot functions,
  * `verbose` every package site, `all` user files too, any other value only
- * files whose path contains it. Writes to stderr; changes nothing else. */
+ * files whose path contains it. Writes to stderr; changes nothing else. The
+ * build cache does not key on the variable: use SCRIPTC_NO_CACHE=1. */
 export declare function reportShapes(program: ts.Program, filter: string): void;
+export declare function isShapeOverlayFile(fileName: string): boolean;
+/** Whether a statement or declaration carries an overlay annotation. */
+export declare function shapeOverlayAnnotated(node: ts.Node): boolean;
+export declare function shapeOverlayFileNames(): readonly string[];
+export declare function shapeOverlayAnnotationCount(): number;
+/** The overlay's per-load state (the registry is per process, and a later
+ * load resets it): a load captures it, and the lowering of that load
+ * restores it. */
+export interface ShapeOverlayLoadState {
+    readonly renderedFiles: ReadonlySet<string>;
+    readonly staticRewriteFiles: ReadonlySet<string>;
+    readonly staticObjectStats: typeof staticObjectStats;
+    readonly overlayDone: boolean;
+    readonly overlayFiles: ReadonlySet<string>;
+    readonly overlayAnnotations: number;
+    readonly overlayDeadBranches: number;
+}
+export declare function captureShapeOverlayState(): ShapeOverlayLoadState;
+export declare function restoreShapeOverlayState(state: ShapeOverlayLoadState): void;
+export declare function resetShapeOverlay(): void;
+/** Whether the overlay runs. While it is new it is opt-in
+ * (SCRIPTC_SHAPE_OVERLAY=1); `--no-shape-overlay` (the `shapeOverlay:
+ * false` build option) sets the variable to 0 for the build. */
+export declare function shapeOverlayEnabled(): boolean;
+/** Starts a build: no annotation is excluded yet. */
+export declare function beginShapeOverlayBuild(): void;
+/** Turns the overlay off for the rest of the build (true), or back on
+ * (false): the pipeline compares a load without it when the overlay's
+ * program fails a check the program without it passes. */
+export declare function setShapeOverlayDropped(dropped: boolean): void;
+/** The memo's deferred refusals of the build without the overlay, if an
+ * earlier build of the same JavaScript recorded them. */
+export declare function shapeOverlayMemoPlainFences(): ReadonlySet<string> | null;
+/** Records the build's verdicts for the next build of the same
+ * JavaScript (memo.ts): the refused annotations and files, whether the
+ * build compiled without the overlay, and the deferred refusals of the
+ * build without it (`plainFences`, from a comparison). */
+export declare function recordShapeOverlayMemo(plainFences: Iterable<string> | null): void;
+/** Whether the current load has overlay files or structural rewrites. */
+export declare function shapeOverlayActive(): boolean;
+/** The overlay's answer to refused lowering diagnostics: it excludes what
+ * the refusals depend on, at the given level, and says whether a reload
+ * can change anything.
+ * - "annotations": the blamed annotations (or, for a blamed file without
+ *   blamed annotations, that file);
+ * - "fences": like "annotations", for refusals deferred to run time, and
+ *   never a whole file;
+ * - "files": every overlay file involved;
+ * - "all": the whole overlay. */
+export declare function excludeRefusedOverlay(program: ts.Program, diagnostics: readonly ScrDiagnostic[], level: "annotations" | "files" | "all" | "fences"): boolean;
+/** loadProgram7's overlayer: analyze, plan, and register the overlay files. */
+export declare function shapeOverlayer(program: ts.Program, round: number): ReadonlyMap<string, string> | null;
+declare let staticObjectStats: {
+    classes: number;
+    functions: number;
+    directCalls: number;
+    tableDispatches: number;
+    foldedReads: number;
+};
+/** Whether the overlay has written its last round for this load. */
+export declare function shapeOverlayDone(): boolean;
+/** Marks the checked conversions lowered in overlay files: each checks an
+ * analysis-proven fact, so its failure names the site as an analysis bug. */
+export declare function markInferredFactChecks(functions: readonly IrFunction[], program: ts.Program): number;
+/** Inferred-fact checks inserted by the last build (the build report). */
+export declare function shapeInferredFactCheckCount(): number;
+/** SC6103, the overlay's build report: what the overlay typed and how many
+ * checks of inferred facts the build inserted. A note, never a failure. */
+export declare function shapeOverlayReport(entryFile: string): ScrDiagnostic[];