@tsonic/emitter 0.0.76 → 0.0.77
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.
- package/dist/.tsbuildinfo +1 -1
- package/dist/array.test.js +3 -3
- package/dist/array.test.js.map +1 -1
- package/dist/core/format/backend-ast/invariants.test.js +5 -0
- package/dist/core/format/backend-ast/invariants.test.js.map +1 -1
- package/dist/core/format/backend-ast/printer-colon-detection.d.ts.map +1 -1
- package/dist/core/format/backend-ast/printer-colon-detection.js +2 -0
- package/dist/core/format/backend-ast/printer-colon-detection.js.map +1 -1
- package/dist/core/format/backend-ast/printer-expressions.d.ts.map +1 -1
- package/dist/core/format/backend-ast/printer-expressions.js +4 -0
- package/dist/core/format/backend-ast/printer-expressions.js.map +1 -1
- package/dist/core/format/backend-ast/printer-precedence.d.ts.map +1 -1
- package/dist/core/format/backend-ast/printer-precedence.js +1 -0
- package/dist/core/format/backend-ast/printer-precedence.js.map +1 -1
- package/dist/core/format/backend-ast/types/expression-ast.d.ts +5 -1
- package/dist/core/format/backend-ast/types/expression-ast.d.ts.map +1 -1
- package/dist/core/format/backend-ast/utils.d.ts +3 -0
- package/dist/core/format/backend-ast/utils.d.ts.map +1 -1
- package/dist/core/format/backend-ast/utils.js +39 -0
- package/dist/core/format/backend-ast/utils.js.map +1 -1
- package/dist/core/format/backend-ast/utils.test.js +13 -1
- package/dist/core/format/backend-ast/utils.test.js.map +1 -1
- package/dist/core/format/local-names.d.ts.map +1 -1
- package/dist/core/format/local-names.js +3 -2
- package/dist/core/format/local-names.js.map +1 -1
- package/dist/core/format/local-names.test.js +7 -6
- package/dist/core/format/local-names.test.js.map +1 -1
- package/dist/core/format/module-emitter/orchestrator.d.ts.map +1 -1
- package/dist/core/format/module-emitter/orchestrator.js +3 -1
- package/dist/core/format/module-emitter/orchestrator.js.map +1 -1
- package/dist/core/format/module-emitter/static-container.d.ts.map +1 -1
- package/dist/core/format/module-emitter/static-container.js +2 -4
- package/dist/core/format/module-emitter/static-container.js.map +1 -1
- package/dist/core/module-emitter-cases/class-and-recursion.test.js +4 -1
- package/dist/core/module-emitter-cases/class-and-recursion.test.js.map +1 -1
- package/dist/core/module-emitter-cases/static-containers.test.js +111 -1
- package/dist/core/module-emitter-cases/static-containers.test.js.map +1 -1
- package/dist/core/semantic/adapt-result.d.ts +20 -0
- package/dist/core/semantic/adapt-result.d.ts.map +1 -0
- package/dist/core/semantic/adapt-result.js +30 -0
- package/dist/core/semantic/adapt-result.js.map +1 -0
- package/dist/core/semantic/array-expected-types.d.ts.map +1 -1
- package/dist/core/semantic/array-expected-types.js.map +1 -1
- package/dist/core/semantic/assignment-flow.d.ts.map +1 -1
- package/dist/core/semantic/assignment-flow.js +26 -3
- package/dist/core/semantic/assignment-flow.js.map +1 -1
- package/dist/core/semantic/async-wrapper-types.d.ts +1 -0
- package/dist/core/semantic/async-wrapper-types.d.ts.map +1 -1
- package/dist/core/semantic/async-wrapper-types.js +19 -1
- package/dist/core/semantic/async-wrapper-types.js.map +1 -1
- package/dist/core/semantic/boolean-condition-main.d.ts.map +1 -1
- package/dist/core/semantic/boolean-condition-main.js +6 -2
- package/dist/core/semantic/boolean-condition-main.js.map +1 -1
- package/dist/core/semantic/boolean-context.test.js +2 -1
- package/dist/core/semantic/boolean-context.test.js.map +1 -1
- package/dist/core/semantic/broad-array-storage.d.ts.map +1 -1
- package/dist/core/semantic/broad-array-storage.js +2 -5
- package/dist/core/semantic/broad-array-storage.js.map +1 -1
- package/dist/core/semantic/broad-object-types.d.ts +1 -0
- package/dist/core/semantic/broad-object-types.d.ts.map +1 -1
- package/dist/core/semantic/broad-object-types.js +39 -0
- package/dist/core/semantic/broad-object-types.js.map +1 -1
- package/dist/core/semantic/clr-type-identity.d.ts +1 -2
- package/dist/core/semantic/clr-type-identity.d.ts.map +1 -1
- package/dist/core/semantic/clr-type-identity.js +3 -65
- package/dist/core/semantic/clr-type-identity.js.map +1 -1
- package/dist/core/semantic/comparable-types.d.ts.map +1 -1
- package/dist/core/semantic/comparable-types.js +61 -27
- package/dist/core/semantic/comparable-types.js.map +1 -1
- package/dist/core/semantic/comparable-types.test.js.map +1 -1
- package/dist/core/semantic/deterministic-type-keys.d.ts.map +1 -1
- package/dist/core/semantic/deterministic-type-keys.js +90 -37
- package/dist/core/semantic/deterministic-type-keys.js.map +1 -1
- package/dist/core/semantic/deterministic-type-keys.test.d.ts +2 -0
- package/dist/core/semantic/deterministic-type-keys.test.d.ts.map +1 -0
- package/dist/core/semantic/deterministic-type-keys.test.js +38 -0
- package/dist/core/semantic/deterministic-type-keys.test.js.map +1 -0
- package/dist/core/semantic/direct-storage-ir-types.d.ts +1 -1
- package/dist/core/semantic/direct-storage-ir-types.d.ts.map +1 -1
- package/dist/core/semantic/direct-storage-ir-types.js +12 -3
- package/dist/core/semantic/direct-storage-ir-types.js.map +1 -1
- package/dist/core/semantic/direct-value-surfaces.d.ts.map +1 -1
- package/dist/core/semantic/direct-value-surfaces.js +165 -6
- package/dist/core/semantic/direct-value-surfaces.js.map +1 -1
- package/dist/core/semantic/direct-value-surfaces.test.js +69 -6
- package/dist/core/semantic/direct-value-surfaces.test.js.map +1 -1
- package/dist/core/semantic/expected-type-matching.d.ts.map +1 -1
- package/dist/core/semantic/expected-type-matching.js +4 -5
- package/dist/core/semantic/expected-type-matching.js.map +1 -1
- package/dist/core/semantic/implicit-interfaces.d.ts.map +1 -1
- package/dist/core/semantic/implicit-interfaces.js.map +1 -1
- package/dist/core/semantic/imports-cases/basic-and-local.test.js +8 -8
- package/dist/core/semantic/imports-cases/basic-and-local.test.js.map +1 -1
- package/dist/core/semantic/imports.js +3 -2
- package/dist/core/semantic/imports.js.map +1 -1
- package/dist/core/semantic/index.d.ts +1 -1
- package/dist/core/semantic/index.d.ts.map +1 -1
- package/dist/core/semantic/index.js +1 -1
- package/dist/core/semantic/index.js.map +1 -1
- package/dist/core/semantic/instanceof-predicate-refinements.d.ts.map +1 -1
- package/dist/core/semantic/instanceof-predicate-refinements.js +1 -9
- package/dist/core/semantic/instanceof-predicate-refinements.js.map +1 -1
- package/dist/core/semantic/js-array-surface-members.d.ts +4 -0
- package/dist/core/semantic/js-array-surface-members.d.ts.map +1 -0
- package/dist/core/semantic/js-array-surface-members.js +32 -0
- package/dist/core/semantic/js-array-surface-members.js.map +1 -0
- package/dist/core/semantic/materialized-narrowing.d.ts +1 -0
- package/dist/core/semantic/materialized-narrowing.d.ts.map +1 -1
- package/dist/core/semantic/materialized-narrowing.js +170 -34
- package/dist/core/semantic/materialized-narrowing.js.map +1 -1
- package/dist/core/semantic/materialized-narrowing.test.js +24 -6
- package/dist/core/semantic/materialized-narrowing.test.js.map +1 -1
- package/dist/core/semantic/module-map.d.ts.map +1 -1
- package/dist/core/semantic/module-map.js +4 -6
- package/dist/core/semantic/module-map.js.map +1 -1
- package/dist/core/semantic/module-type-collisions.d.ts +7 -0
- package/dist/core/semantic/module-type-collisions.d.ts.map +1 -0
- package/dist/core/semantic/module-type-collisions.js +24 -0
- package/dist/core/semantic/module-type-collisions.js.map +1 -0
- package/dist/core/semantic/mutable-storage-helpers.d.ts +1 -1
- package/dist/core/semantic/mutable-storage-helpers.d.ts.map +1 -1
- package/dist/core/semantic/mutable-storage-helpers.js +4 -12
- package/dist/core/semantic/mutable-storage-helpers.js.map +1 -1
- package/dist/core/semantic/naming-collisions.d.ts.map +1 -1
- package/dist/core/semantic/naming-collisions.js +13 -3
- package/dist/core/semantic/naming-collisions.js.map +1 -1
- package/dist/core/semantic/narrowed-expression-types.d.ts +3 -1
- package/dist/core/semantic/narrowed-expression-types.d.ts.map +1 -1
- package/dist/core/semantic/narrowed-expression-types.js +138 -16
- package/dist/core/semantic/narrowed-expression-types.js.map +1 -1
- package/dist/core/semantic/narrowed-union-resolution.d.ts.map +1 -1
- package/dist/core/semantic/narrowed-union-resolution.js +13 -2
- package/dist/core/semantic/narrowed-union-resolution.js.map +1 -1
- package/dist/core/semantic/narrowing-builder-core.d.ts +3 -2
- package/dist/core/semantic/narrowing-builder-core.d.ts.map +1 -1
- package/dist/core/semantic/narrowing-builder-core.js +85 -126
- package/dist/core/semantic/narrowing-builder-core.js.map +1 -1
- package/dist/core/semantic/narrowing-builder-core.test.js +3 -2
- package/dist/core/semantic/narrowing-builder-core.test.js.map +1 -1
- package/dist/core/semantic/narrowing-builder-unions.d.ts.map +1 -1
- package/dist/core/semantic/narrowing-builder-unions.js +43 -7
- package/dist/core/semantic/narrowing-builder-unions.js.map +1 -1
- package/dist/core/semantic/narrowing-builders.d.ts +1 -1
- package/dist/core/semantic/narrowing-builders.d.ts.map +1 -1
- package/dist/core/semantic/narrowing-builders.js +1 -1
- package/dist/core/semantic/narrowing-builders.js.map +1 -1
- package/dist/core/semantic/narrowing-refinements.d.ts +1 -1
- package/dist/core/semantic/narrowing-refinements.d.ts.map +1 -1
- package/dist/core/semantic/narrowing-refinements.js +1 -1
- package/dist/core/semantic/narrowing-refinements.js.map +1 -1
- package/dist/core/semantic/nullable-typeof-refinements.d.ts +1 -5
- package/dist/core/semantic/nullable-typeof-refinements.d.ts.map +1 -1
- package/dist/core/semantic/nullable-typeof-refinements.js +128 -57
- package/dist/core/semantic/nullable-typeof-refinements.js.map +1 -1
- package/dist/core/semantic/nullish-value-helpers.d.ts +1 -1
- package/dist/core/semantic/nullish-value-helpers.d.ts.map +1 -1
- package/dist/core/semantic/nullish-value-helpers.js +18 -9
- package/dist/core/semantic/nullish-value-helpers.js.map +1 -1
- package/dist/core/semantic/runtime-materialization-targets.js +1 -1
- package/dist/core/semantic/runtime-materialization-targets.js.map +1 -1
- package/dist/core/semantic/runtime-reification.d.ts +1 -0
- package/dist/core/semantic/runtime-reification.d.ts.map +1 -1
- package/dist/core/semantic/runtime-reification.js +141 -35
- package/dist/core/semantic/runtime-reification.js.map +1 -1
- package/dist/core/semantic/runtime-union-family-preservation.js +1 -1
- package/dist/core/semantic/runtime-union-family-preservation.js.map +1 -1
- package/dist/core/semantic/runtime-union-matching.d.ts.map +1 -1
- package/dist/core/semantic/runtime-union-matching.js +13 -0
- package/dist/core/semantic/runtime-union-matching.js.map +1 -1
- package/dist/core/semantic/runtime-union-member-mapping.test.js +1 -1
- package/dist/core/semantic/runtime-union-member-mapping.test.js.map +1 -1
- package/dist/core/semantic/runtime-union-ordering.d.ts.map +1 -1
- package/dist/core/semantic/runtime-union-ordering.js +10 -22
- package/dist/core/semantic/runtime-union-ordering.js.map +1 -1
- package/dist/core/semantic/runtime-union-projection.d.ts.map +1 -1
- package/dist/core/semantic/runtime-union-projection.js +23 -7
- package/dist/core/semantic/runtime-union-projection.js.map +1 -1
- package/dist/core/semantic/runtime-union-projection.test.js +19 -1
- package/dist/core/semantic/runtime-union-projection.test.js.map +1 -1
- package/dist/core/semantic/runtime-union-registry.js +13 -13
- package/dist/core/semantic/runtime-union-registry.js.map +1 -1
- package/dist/core/semantic/runtime-unions.d.ts.map +1 -1
- package/dist/core/semantic/runtime-unions.js +47 -21
- package/dist/core/semantic/runtime-unions.js.map +1 -1
- package/dist/core/semantic/runtime-unions.test.js +12 -7
- package/dist/core/semantic/runtime-unions.test.js.map +1 -1
- package/dist/core/semantic/semantic-union-members.d.ts.map +1 -1
- package/dist/core/semantic/semantic-union-members.js.map +1 -1
- package/dist/core/semantic/storage-erased-adaptation.d.ts.map +1 -1
- package/dist/core/semantic/storage-erased-adaptation.js +8 -11
- package/dist/core/semantic/storage-erased-adaptation.js.map +1 -1
- package/dist/core/semantic/storage-erased-adaptation.test.js +4 -1
- package/dist/core/semantic/storage-erased-adaptation.test.js.map +1 -1
- package/dist/core/semantic/storage-types.d.ts.map +1 -1
- package/dist/core/semantic/storage-types.js +4 -2
- package/dist/core/semantic/storage-types.js.map +1 -1
- package/dist/core/semantic/structural-shape-matching.d.ts +5 -1
- package/dist/core/semantic/structural-shape-matching.d.ts.map +1 -1
- package/dist/core/semantic/structural-shape-matching.js +29 -4
- package/dist/core/semantic/structural-shape-matching.js.map +1 -1
- package/dist/core/semantic/symbol-types.d.ts +2 -9
- package/dist/core/semantic/symbol-types.d.ts.map +1 -1
- package/dist/core/semantic/symbol-types.js +7 -11
- package/dist/core/semantic/symbol-types.js.map +1 -1
- package/dist/core/semantic/truthiness-evaluation.d.ts.map +1 -1
- package/dist/core/semantic/truthiness-evaluation.js +3 -3
- package/dist/core/semantic/truthiness-evaluation.js.map +1 -1
- package/dist/core/semantic/type-compatibility.d.ts +4 -2
- package/dist/core/semantic/type-compatibility.d.ts.map +1 -1
- package/dist/core/semantic/type-compatibility.js +62 -2
- package/dist/core/semantic/type-compatibility.js.map +1 -1
- package/dist/core/semantic/type-domains.d.ts +17 -0
- package/dist/core/semantic/type-domains.d.ts.map +1 -0
- package/dist/core/semantic/type-domains.js +7 -0
- package/dist/core/semantic/type-domains.js.map +1 -0
- package/dist/core/semantic/type-equivalence.d.ts.map +1 -1
- package/dist/core/semantic/type-equivalence.js +12 -7
- package/dist/core/semantic/type-equivalence.js.map +1 -1
- package/dist/core/semantic/type-equivalence.test.js +34 -0
- package/dist/core/semantic/type-equivalence.test.js.map +1 -1
- package/dist/core/semantic/type-resolution-cases/array-like-element.test.js +13 -4
- package/dist/core/semantic/type-resolution-cases/array-like-element.test.js.map +1 -1
- package/dist/core/semantic/type-resolution-cases/helpers.d.ts +2 -2
- package/dist/core/semantic/type-resolution-cases/helpers.d.ts.map +1 -1
- package/dist/core/semantic/type-resolution-cases/helpers.js +2 -2
- package/dist/core/semantic/type-resolution-cases/helpers.js.map +1 -1
- package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts +2 -0
- package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts.map +1 -0
- package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.js +36 -0
- package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.js.map +1 -0
- package/dist/core/semantic/type-resolution.test.d.ts +1 -1
- package/dist/core/semantic/type-resolution.test.d.ts.map +1 -1
- package/dist/core/semantic/type-resolution.test.js +1 -1
- package/dist/core/semantic/type-resolution.test.js.map +1 -1
- package/dist/core/semantic/type-substitution.d.ts.map +1 -1
- package/dist/core/semantic/type-substitution.js +2 -1
- package/dist/core/semantic/type-substitution.js.map +1 -1
- package/dist/core/semantic/union-predicate-matching.d.ts.map +1 -1
- package/dist/core/semantic/union-predicate-matching.js +1 -1
- package/dist/core/semantic/union-predicate-matching.js.map +1 -1
- package/dist/core/semantic/union-typeof-matching.d.ts.map +1 -1
- package/dist/core/semantic/union-typeof-matching.js +72 -22
- package/dist/core/semantic/union-typeof-matching.js.map +1 -1
- package/dist/core/semantic/variable-type-resolution.d.ts +1 -0
- package/dist/core/semantic/variable-type-resolution.d.ts.map +1 -1
- package/dist/core/semantic/variable-type-resolution.js +62 -6
- package/dist/core/semantic/variable-type-resolution.js.map +1 -1
- package/dist/duplicate-type-suppression.d.ts.map +1 -1
- package/dist/duplicate-type-suppression.js.map +1 -1
- package/dist/emitter-types/context.d.ts +1 -0
- package/dist/emitter-types/context.d.ts.map +1 -1
- package/dist/emitter-types/context.js +12 -1
- package/dist/emitter-types/context.js.map +1 -1
- package/dist/emitter-types/core.d.ts +10 -9
- package/dist/emitter-types/core.d.ts.map +1 -1
- package/dist/emitter-types/fqn.d.ts +0 -1
- package/dist/emitter-types/fqn.d.ts.map +1 -1
- package/dist/emitter-types/fqn.js +0 -1
- package/dist/emitter-types/fqn.js.map +1 -1
- package/dist/emitter-types/index.d.ts +1 -1
- package/dist/emitter-types/index.d.ts.map +1 -1
- package/dist/emitter-types/index.js +1 -1
- package/dist/emitter-types/index.js.map +1 -1
- package/dist/emitter.d.ts +3 -3
- package/dist/emitter.d.ts.map +1 -1
- package/dist/emitter.js +1 -7
- package/dist/emitter.js.map +1 -1
- package/dist/expression-emitter.d.ts.map +1 -1
- package/dist/expression-emitter.js +7 -2
- package/dist/expression-emitter.js.map +1 -1
- package/dist/expressions/access-binding.d.ts.map +1 -1
- package/dist/expressions/access-binding.js +32 -46
- package/dist/expressions/access-binding.js.map +1 -1
- package/dist/expressions/access-computed.d.ts.map +1 -1
- package/dist/expressions/access-computed.js +7 -8
- package/dist/expressions/access-computed.js.map +1 -1
- package/dist/expressions/access-length.d.ts +5 -9
- package/dist/expressions/access-length.d.ts.map +1 -1
- package/dist/expressions/access-length.js +17 -225
- package/dist/expressions/access-length.js.map +1 -1
- package/dist/expressions/access-property.d.ts +1 -2
- package/dist/expressions/access-property.d.ts.map +1 -1
- package/dist/expressions/access-property.js +20 -94
- package/dist/expressions/access-property.js.map +1 -1
- package/dist/expressions/access-resolution-receivers.d.ts.map +1 -1
- package/dist/expressions/access-resolution-receivers.js +14 -5
- package/dist/expressions/access-resolution-receivers.js.map +1 -1
- package/dist/expressions/access-resolution-types.d.ts.map +1 -1
- package/dist/expressions/access-resolution-types.js +7 -0
- package/dist/expressions/access-resolution-types.js.map +1 -1
- package/dist/expressions/access.d.ts +2 -2
- package/dist/expressions/access.d.ts.map +1 -1
- package/dist/expressions/access.js +6 -5
- package/dist/expressions/access.js.map +1 -1
- package/dist/expressions/architecture-invariants.test.js +18 -0
- package/dist/expressions/architecture-invariants.test.js.map +1 -1
- package/dist/expressions/await-normalization.d.ts.map +1 -1
- package/dist/expressions/await-normalization.js +53 -13
- package/dist/expressions/await-normalization.js.map +1 -1
- package/dist/expressions/calls/call-analysis.d.ts +0 -1
- package/dist/expressions/calls/call-analysis.d.ts.map +1 -1
- package/dist/expressions/calls/call-analysis.js +0 -7
- package/dist/expressions/calls/call-analysis.js.map +1 -1
- package/dist/expressions/calls/call-arguments-emit.d.ts.map +1 -1
- package/dist/expressions/calls/call-arguments-emit.js +219 -36
- package/dist/expressions/calls/call-arguments-emit.js.map +1 -1
- package/dist/expressions/calls/call-arguments-helpers.d.ts.map +1 -1
- package/dist/expressions/calls/call-arguments-helpers.js.map +1 -1
- package/dist/expressions/calls/call-array-mutation.d.ts.map +1 -1
- package/dist/expressions/calls/call-array-mutation.js +8 -33
- package/dist/expressions/calls/call-array-mutation.js.map +1 -1
- package/dist/expressions/calls/call-array-wrapper.d.ts.map +1 -1
- package/dist/expressions/calls/call-array-wrapper.js +6 -4
- package/dist/expressions/calls/call-array-wrapper.js.map +1 -1
- package/dist/expressions/calls/call-emitter.d.ts +1 -1
- package/dist/expressions/calls/call-emitter.d.ts.map +1 -1
- package/dist/expressions/calls/call-emitter.js +85 -7
- package/dist/expressions/calls/call-emitter.js.map +1 -1
- package/dist/expressions/calls/call-json.d.ts +1 -1
- package/dist/expressions/calls/call-json.d.ts.map +1 -1
- package/dist/expressions/calls/call-json.js +50 -84
- package/dist/expressions/calls/call-json.js.map +1 -1
- package/dist/expressions/calls/call-promise-ir-types.d.ts.map +1 -1
- package/dist/expressions/calls/call-promise-ir-types.js.map +1 -1
- package/dist/expressions/calls/call-runtime-union-guards.d.ts.map +1 -1
- package/dist/expressions/calls/call-runtime-union-guards.js +10 -1
- package/dist/expressions/calls/call-runtime-union-guards.js.map +1 -1
- package/dist/expressions/calls/new-emitter-collections.d.ts +7 -4
- package/dist/expressions/calls/new-emitter-collections.d.ts.map +1 -1
- package/dist/expressions/calls/new-emitter-collections.js +64 -25
- package/dist/expressions/calls/new-emitter-collections.js.map +1 -1
- package/dist/expressions/calls/new-emitter.d.ts.map +1 -1
- package/dist/expressions/calls/new-emitter.js +4 -5
- package/dist/expressions/calls/new-emitter.js.map +1 -1
- package/dist/expressions/direct-storage-types.d.ts.map +1 -1
- package/dist/expressions/direct-storage-types.js +76 -15
- package/dist/expressions/direct-storage-types.js.map +1 -1
- package/dist/expressions/exact-comparison.d.ts.map +1 -1
- package/dist/expressions/exact-comparison.js +3 -1
- package/dist/expressions/exact-comparison.js.map +1 -1
- package/dist/expressions/expected-type-adaptation.d.ts +1 -1
- package/dist/expressions/expected-type-adaptation.d.ts.map +1 -1
- package/dist/expressions/expected-type-adaptation.js +149 -29
- package/dist/expressions/expected-type-adaptation.js.map +1 -1
- package/dist/expressions/expected-type-adaptation.test.js +81 -26
- package/dist/expressions/expected-type-adaptation.test.js.map +1 -1
- package/dist/expressions/identifier-storage.d.ts +5 -0
- package/dist/expressions/identifier-storage.d.ts.map +1 -1
- package/dist/expressions/identifier-storage.js +200 -25
- package/dist/expressions/identifier-storage.js.map +1 -1
- package/dist/expressions/identifiers.d.ts.map +1 -1
- package/dist/expressions/identifiers.js +7 -16
- package/dist/expressions/identifiers.js.map +1 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js +3 -3
- package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js.map +1 -1
- package/dist/expressions/index-cases/basic-literals-and-calls.test.js +3 -3
- package/dist/expressions/index-cases/basic-literals-and-calls.test.js.map +1 -1
- package/dist/expressions/index-cases/defaults-and-char-context.test.js +8 -2
- package/dist/expressions/index-cases/defaults-and-char-context.test.js.map +1 -1
- package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js +17 -20
- package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js.map +1 -1
- package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js +7 -8
- package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js.map +1 -1
- package/dist/expressions/index-cases/helpers.d.ts +5 -4
- package/dist/expressions/index-cases/helpers.d.ts.map +1 -1
- package/dist/expressions/index-cases/helpers.js +3 -2
- package/dist/expressions/index-cases/helpers.js.map +1 -1
- package/dist/expressions/index-cases/nullable-and-comparisons.test.js +9 -9
- package/dist/expressions/index-cases/nullable-and-comparisons.test.js.map +1 -1
- package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js +3 -3
- package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js.map +1 -1
- package/dist/expressions/index-cases/runtime-union-reification-b.test.js +19 -13
- package/dist/expressions/index-cases/runtime-union-reification-b.test.js.map +1 -1
- package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js +4 -4
- package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js.map +1 -1
- package/dist/expressions/lambda-parameters.d.ts.map +1 -1
- package/dist/expressions/lambda-parameters.js +97 -12
- package/dist/expressions/lambda-parameters.js.map +1 -1
- package/dist/expressions/object-literal.d.ts.map +1 -1
- package/dist/expressions/object-literal.js +48 -18
- package/dist/expressions/object-literal.js.map +1 -1
- package/dist/expressions/operators/binary-dispatch.d.ts +1 -1
- package/dist/expressions/operators/binary-dispatch.d.ts.map +1 -1
- package/dist/expressions/operators/binary-dispatch.js +52 -12
- package/dist/expressions/operators/binary-dispatch.js.map +1 -1
- package/dist/expressions/operators/binary-helpers.d.ts.map +1 -1
- package/dist/expressions/operators/binary-helpers.js +11 -1
- package/dist/expressions/operators/binary-helpers.js.map +1 -1
- package/dist/expressions/operators/binary-special-ops.d.ts +1 -11
- package/dist/expressions/operators/binary-special-ops.d.ts.map +1 -1
- package/dist/expressions/operators/binary-special-ops.js +217 -195
- package/dist/expressions/operators/binary-special-ops.js.map +1 -1
- package/dist/expressions/operators/conditional-emitter.d.ts.map +1 -1
- package/dist/expressions/operators/conditional-emitter.js +89 -19
- package/dist/expressions/operators/conditional-emitter.js.map +1 -1
- package/dist/expressions/operators/logical-emitter.js +1 -1
- package/dist/expressions/operators/logical-emitter.js.map +1 -1
- package/dist/expressions/operators/unary-emitter.d.ts.map +1 -1
- package/dist/expressions/operators/unary-emitter.js +7 -50
- package/dist/expressions/operators/unary-emitter.js.map +1 -1
- package/dist/expressions/other.d.ts +2 -6
- package/dist/expressions/other.d.ts.map +1 -1
- package/dist/expressions/other.js +6 -13
- package/dist/expressions/other.js.map +1 -1
- package/dist/expressions/post-emission-adaptation.d.ts +1 -1
- package/dist/expressions/post-emission-adaptation.d.ts.map +1 -1
- package/dist/expressions/post-emission-adaptation.js +55 -150
- package/dist/expressions/post-emission-adaptation.js.map +1 -1
- package/dist/expressions/precedence.test.js +5 -46
- package/dist/expressions/precedence.test.js.map +1 -1
- package/dist/expressions/runtime-union-adaptation-projection.d.ts.map +1 -1
- package/dist/expressions/runtime-union-adaptation-projection.js +25 -4
- package/dist/expressions/runtime-union-adaptation-projection.js.map +1 -1
- package/dist/expressions/runtime-union-adaptation-upcast.d.ts.map +1 -1
- package/dist/expressions/runtime-union-adaptation-upcast.js +268 -31
- package/dist/expressions/runtime-union-adaptation-upcast.js.map +1 -1
- package/dist/expressions/structural-anonymous-targets.d.ts.map +1 -1
- package/dist/expressions/structural-anonymous-targets.js +5 -0
- package/dist/expressions/structural-anonymous-targets.js.map +1 -1
- package/dist/expressions/structural-collection-adaptation.d.ts.map +1 -1
- package/dist/expressions/structural-collection-adaptation.js +4 -2
- package/dist/expressions/structural-collection-adaptation.js.map +1 -1
- package/dist/expressions/structural-object-adaptation.d.ts.map +1 -1
- package/dist/expressions/structural-object-adaptation.js +58 -3
- package/dist/expressions/structural-object-adaptation.js.map +1 -1
- package/dist/expressions/structural-property-model.d.ts.map +1 -1
- package/dist/expressions/structural-property-model.js +7 -3
- package/dist/expressions/structural-property-model.js.map +1 -1
- package/dist/expressions/structural-type-shapes.d.ts.map +1 -1
- package/dist/expressions/structural-type-shapes.js +1 -1
- package/dist/expressions/structural-type-shapes.js.map +1 -1
- package/dist/expressions/structural-type-shapes.test.js +2 -1
- package/dist/expressions/structural-type-shapes.test.js.map +1 -1
- package/dist/expressions/type-assertion-emitters.d.ts.map +1 -1
- package/dist/expressions/type-assertion-emitters.js +231 -15
- package/dist/expressions/type-assertion-emitters.js.map +1 -1
- package/dist/fixture-regression-mirrors.test.js +43 -112
- package/dist/fixture-regression-mirrors.test.js.map +1 -1
- package/dist/generated-files.d.ts +0 -1
- package/dist/generated-files.d.ts.map +1 -1
- package/dist/generated-files.js +0 -229
- package/dist/generated-files.js.map +1 -1
- package/dist/generated-files.test.js +53 -1
- package/dist/generated-files.test.js.map +1 -1
- package/dist/golden-tests/runner.d.ts.map +1 -1
- package/dist/golden-tests/runner.js +1 -0
- package/dist/golden-tests/runner.js.map +1 -1
- package/dist/integration-cases/arrow-and-generics-a.test.js +52 -32
- package/dist/integration-cases/arrow-and-generics-a.test.js.map +1 -1
- package/dist/integration-cases/arrow-and-generics-b.test.js +17 -23
- package/dist/integration-cases/arrow-and-generics-b.test.js.map +1 -1
- package/dist/integration-cases/await-and-intrinsics.test.js +12 -10
- package/dist/integration-cases/await-and-intrinsics.test.js.map +1 -1
- package/dist/integration-cases/clr-iterable-overloads.test.js +58 -27
- package/dist/integration-cases/clr-iterable-overloads.test.js.map +1 -1
- package/dist/integration-cases/full-module-and-promises.test.js +21 -19
- package/dist/integration-cases/full-module-and-promises.test.js.map +1 -1
- package/dist/integration-cases/helpers.d.ts.map +1 -1
- package/dist/integration-cases/helpers.js +12 -33
- package/dist/integration-cases/helpers.js.map +1 -1
- package/dist/integration-cases/may14-downstream-contracts.test.d.ts +2 -0
- package/dist/integration-cases/may14-downstream-contracts.test.d.ts.map +1 -0
- package/dist/integration-cases/may14-downstream-contracts.test.js +522 -0
- package/dist/integration-cases/may14-downstream-contracts.test.js.map +1 -0
- package/dist/integration-cases/object-literals-and-channels.test.js +10 -4
- package/dist/integration-cases/object-literals-and-channels.test.js.map +1 -1
- package/dist/integration-cases/regression-coverage-a.test.js +36 -30
- package/dist/integration-cases/regression-coverage-a.test.js.map +1 -1
- package/dist/integration-cases/regression-coverage-b.test.js +95 -111
- package/dist/integration-cases/regression-coverage-b.test.js.map +1 -1
- package/dist/integration-cases/regression-coverage-c.test.js +499 -197
- package/dist/integration-cases/regression-coverage-c.test.js.map +1 -1
- package/dist/integration.test.d.ts +1 -0
- package/dist/integration.test.d.ts.map +1 -1
- package/dist/integration.test.js +1 -0
- package/dist/integration.test.js.map +1 -1
- package/dist/json-aot-generic.test.js +48 -200
- package/dist/json-aot-generic.test.js.map +1 -1
- package/dist/statements/block-emitters/block-and-return.d.ts +1 -1
- package/dist/statements/block-emitters/block-and-return.d.ts.map +1 -1
- package/dist/statements/block-emitters/block-and-return.js +9 -3
- package/dist/statements/block-emitters/block-and-return.js.map +1 -1
- package/dist/statements/classes/properties.d.ts.map +1 -1
- package/dist/statements/classes/properties.js.map +1 -1
- package/dist/statements/control/conditionals/architecture-invariants.test.d.ts +2 -0
- package/dist/statements/control/conditionals/architecture-invariants.test.d.ts.map +1 -0
- package/dist/statements/control/conditionals/architecture-invariants.test.js +19 -0
- package/dist/statements/control/conditionals/architecture-invariants.test.js.map +1 -0
- package/dist/statements/control/conditionals/branch-context.d.ts +4 -6
- package/dist/statements/control/conditionals/branch-context.d.ts.map +1 -1
- package/dist/statements/control/conditionals/branch-context.js +104 -31
- package/dist/statements/control/conditionals/branch-context.js.map +1 -1
- package/dist/statements/control/conditionals/guard-analysis.d.ts +2 -2
- package/dist/statements/control/conditionals/guard-analysis.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-analysis.js +1 -1
- package/dist/statements/control/conditionals/guard-analysis.js.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts +2 -1
- package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors-discriminant.js +83 -1
- package/dist/statements/control/conditionals/guard-detectors-discriminant.js.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors-structural.d.ts +2 -7
- package/dist/statements/control/conditionals/guard-detectors-structural.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors-structural.js +47 -82
- package/dist/statements/control/conditionals/guard-detectors-structural.js.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors.d.ts +2 -2
- package/dist/statements/control/conditionals/guard-detectors.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors.js +2 -2
- package/dist/statements/control/conditionals/guard-detectors.js.map +1 -1
- package/dist/statements/control/conditionals/guard-extraction.d.ts +5 -7
- package/dist/statements/control/conditionals/guard-extraction.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-extraction.js +3 -158
- package/dist/statements/control/conditionals/guard-extraction.js.map +1 -1
- package/dist/statements/control/conditionals/guard-types.d.ts +16 -26
- package/dist/statements/control/conditionals/guard-types.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-types.js +23 -1
- package/dist/statements/control/conditionals/guard-types.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-instanceof-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-instanceof-guards.js +5 -8
- package/dist/statements/control/conditionals/if-emit-instanceof-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts +2 -8
- package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-predicate-guards.js +4 -84
- package/dist/statements/control/conditionals/if-emit-predicate-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts +2 -0
- package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js +87 -3
- package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-typeof-array-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js +254 -20
- package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-union-guards.d.ts +2 -2
- package/dist/statements/control/conditionals/if-emit-union-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-union-guards.js +2 -2
- package/dist/statements/control/conditionals/if-emit-union-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emitter.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emitter.js +36 -43
- package/dist/statements/control/conditionals/if-emitter.js.map +1 -1
- package/dist/statements/control/conditionals/ir-branch-narrowings.d.ts +5 -0
- package/dist/statements/control/conditionals/ir-branch-narrowings.d.ts.map +1 -0
- package/dist/statements/control/conditionals/ir-branch-narrowings.js +16 -0
- package/dist/statements/control/conditionals/ir-branch-narrowings.js.map +1 -0
- package/dist/statements/control/loops.d.ts +2 -9
- package/dist/statements/control/loops.d.ts.map +1 -1
- package/dist/statements/control/loops.js +56 -48
- package/dist/statements/control/loops.js.map +1 -1
- package/dist/statements/declarations/classes.d.ts.map +1 -1
- package/dist/statements/declarations/classes.js.map +1 -1
- package/dist/statements/declarations/interfaces.d.ts.map +1 -1
- package/dist/statements/declarations/interfaces.js.map +1 -1
- package/dist/statements/declarations/structs.test.js +5 -4
- package/dist/statements/declarations/structs.test.js.map +1 -1
- package/dist/statements/declarations/type-aliases.js.map +1 -1
- package/dist/statements/declarations/variables.d.ts.map +1 -1
- package/dist/statements/declarations/variables.js +7 -4
- package/dist/statements/declarations/variables.js.map +1 -1
- package/dist/statements/statement-cases/flow-and-void.test.js +3 -3
- package/dist/statements/statement-cases/flow-and-void.test.js.map +1 -1
- package/dist/statements/statement-cases/helpers.d.ts +3 -2
- package/dist/statements/statement-cases/helpers.d.ts.map +1 -1
- package/dist/statements/statement-cases/helpers.js +1 -1
- package/dist/statements/statement-cases/helpers.js.map +1 -1
- package/dist/statements/statement-cases/if-and-instanceof-guards.test.js +21 -21
- package/dist/statements/statement-cases/if-and-instanceof-guards.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-basic.test.js +3 -80
- package/dist/statements/statement-cases/union-guards-basic.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js +0 -196
- package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js +15 -15
- package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-remapped-a.test.js +7 -189
- package/dist/statements/statement-cases/union-guards-remapped-a.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-remapped-b.test.js +7 -193
- package/dist/statements/statement-cases/union-guards-remapped-b.test.js.map +1 -1
- package/dist/test-ir-strict.d.ts +7 -0
- package/dist/test-ir-strict.d.ts.map +1 -0
- package/dist/test-ir-strict.js +9 -0
- package/dist/test-ir-strict.js.map +1 -0
- package/dist/type-assertion.test.js +5 -4
- package/dist/type-assertion.test.js.map +1 -1
- package/dist/types/emitter.d.ts.map +1 -1
- package/dist/types/emitter.js +7 -1
- package/dist/types/emitter.js.map +1 -1
- package/dist/types/intersections.d.ts +2 -2
- package/dist/types/intersections.d.ts.map +1 -1
- package/dist/types/intersections.js +26 -6
- package/dist/types/intersections.js.map +1 -1
- package/dist/types/parameters.d.ts.map +1 -1
- package/dist/types/parameters.js +30 -5
- package/dist/types/parameters.js.map +1 -1
- package/dist/types/reference-structural-signatures.d.ts.map +1 -1
- package/dist/types/reference-structural-signatures.js +3 -6
- package/dist/types/reference-structural-signatures.js.map +1 -1
- package/dist/types/references-cases/array-and-cross-module.test.js +2 -4
- package/dist/types/references-cases/array-and-cross-module.test.js.map +1 -1
- package/dist/types/references-cases/bindings-and-local.test.js +2 -4
- package/dist/types/references-cases/bindings-and-local.test.js.map +1 -1
- package/dist/types/references-cases/helpers.d.ts +3 -2
- package/dist/types/references-cases/helpers.d.ts.map +1 -1
- package/dist/types/references-cases/helpers.js +2 -1
- package/dist/types/references-cases/helpers.js.map +1 -1
- package/dist/types/references.d.ts.map +1 -1
- package/dist/types/references.js +21 -2
- package/dist/types/references.js.map +1 -1
- package/dist/types/unions-cases/basic-and-ordering.test.js +51 -0
- package/dist/types/unions-cases/basic-and-ordering.test.js.map +1 -1
- package/dist/types/unions.d.ts.map +1 -1
- package/dist/types/unions.js +17 -1
- package/dist/types/unions.js.map +1 -1
- package/dist/types.d.ts +3 -1
- package/dist/types.d.ts.map +1 -1
- package/dist/types.js +2 -1
- package/dist/types.js.map +1 -1
- package/package.json +2 -2
- package/dist/core/semantic/js-value-types.d.ts +0 -5
- package/dist/core/semantic/js-value-types.d.ts.map +0 -1
- package/dist/core/semantic/js-value-types.js +0 -42
- package/dist/core/semantic/js-value-types.js.map +0 -1
- package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts +0 -2
- package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts.map +0 -1
- package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js +0 -98
- package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js.map +0 -1
- package/dist/expressions/calls/call-dynamic-import.d.ts +0 -11
- package/dist/expressions/calls/call-dynamic-import.d.ts.map +0 -1
- package/dist/expressions/calls/call-dynamic-import.js +0 -148
- package/dist/expressions/calls/call-dynamic-import.js.map +0 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"direct-storage-ir-types.js","sourceRoot":"","sources":["../../../src/core/semantic/direct-storage-ir-types.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"version":3,"file":"direct-storage-ir-types.js","sourceRoot":"","sources":["../../../src/core/semantic/direct-storage-ir-types.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,GAGjB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,GAGzB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAC;AAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,YAAY,GACb,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAChF,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAE/D,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE,CACrD,IAAI,CAAC,IAAI,KAAK,WAAW;IACzB,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAC3E;IACC,CAAC,CAAC,IAAI;IACN,CAAC,CAAC;QACE,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;KAC5D,CAAC;AAER,MAAM,iCAAiC,GAAG,CACxC,SAA6B,EAC7B,OAAuB,EACF,EAAE;IACvB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,SAAS,CAAC,IAAI,KAAK,eAAe;QAClC,+BAA+B,CAAC,SAAS,CAAC,KAAK,SAAS,EACxD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtD,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,QAAQ,CAAC,uBAAuB,KAAK,SAAS,CAC/C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,OAAuB,EACvB,GAAG,UAAkC,EACjB,EAAE,CACtB,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC5B,iCAAiC,CAAC,SAAS,EAAE,OAAO,CAAC,CACtD;IACD,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAuB,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;AAE/E,MAAM,mCAAmC,GAAG,CAC1C,IAAkB,EACE,EAAE,CACtB,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;IACzC,CAAC,CAAC,IAAI,CAAC,sBAAsB;IAC7B,CAAC,CAAC,SAAS,CAAC;AAEhB,MAAM,0BAA0B,GAAG,CACjC,IAAwB,EACJ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAE/E,MAAM,uBAAuB,GAAG,CAC9B,IAAkB,EAClB,OAAuB,EACH,EAAE,CACtB,6BAA6B,CAC3B,OAAO,EACP,IAAI,CAAC,IAAI,KAAK,MAAM;IAClB,CAAC,CAAC,kCAAkC,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,UAAU;IACtE,CAAC,CAAC,SAAS,EACb,mCAAmC,CAAC,IAAI,CAAC,EACzC,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,EAC7C,IAAI,CAAC,YAAY,CAClB,CAAC;AAEJ,MAAM,8BAA8B,GAAG,CACrC,IAA8C,EAC9C,OAAuB,EACH,EAAE,CACtB,6BAA6B,CAC3B,OAAO,EACP,0BAA0B,CACxB,2BAA2B,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CACtD,EACD,0BAA0B,CACxB,mCAAmC,CAAC,IAAI,CAAC,UAAU,CAAC,CACrD,EACD,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,EAC7C,IAAI,CAAC,YAAY,CAClB,CAAC;AAEJ,MAAM,8BAA8B,GAAG,CACrC,IAAqD,EACrD,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,MAAM,mBAAmB,GAAG,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrE,MAAM,gBAAgB,GACpB,mBAAmB,CAAC,IAAI,KAAK,YAAY;YACvC,CAAC,CAAC,mCAAmC,CAAC,mBAAmB,EAAE,OAAO,CAAC;YACnE,CAAC,CAAC,mBAAmB,CAAC,IAAI,KAAK,cAAc;gBAC3C,CAAC,CAAC,8BAA8B,CAAC,mBAAmB,EAAE,OAAO,CAAC;gBAC9D,CAAC,CAAC,CAAC,8BAA8B,CAAC,mBAAmB,EAAE,OAAO,CAAC;oBAC7D,mBAAmB,CAAC,YAAY,CAAC,CAAC;QAC1C,MAAM,eAAe,GACnB,IAAI,CAAC,UAAU,IAAI,gBAAgB;YACjC,CAAC,CAAC,YAAY,CAAC,gBAAgB,CAAC;YAChC,CAAC,CAAC,gBAAgB,CAAC;QACvB,MAAM,uBAAuB,GAAG,eAAe;YAC7C,CAAC,CAAC,gBAAgB,CAAC,eAAe,EAAE,OAAO,CAAC;YAC5C,CAAC,CAAC,SAAS,CAAC;QAEd,IACE,IAAI,CAAC,UAAU,KAAK,YAAY;YAChC,uBAAuB,EAAE,IAAI,KAAK,gBAAgB,EAClD,CAAC;YACD,MAAM,mBAAmB,GACvB,IAAI,CAAC,UAAU,IAAI,wBAAwB,CAAC,OAAO,CAAC,CAAC;YACvD,OAAO,CACL,sBAAsB,CACpB,uBAAuB,CAAC,SAAS,EACjC,mBAAmB,CACpB,IAAI,uBAAuB,CAAC,SAAS,CACvC,CAAC;QACJ,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GACrB,8BAA8B,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC;QACpD,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC;IAC3B,IAAI,gBAAgB,GAAG,iBAAiB,CAAC;IACzC,MAAM,mBAAmB,GAAG,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrE,MAAM,uBAAuB,GAC3B,8BAA8B,CAAC,mBAAmB,EAAE,OAAO,CAAC;QAC5D,mBAAmB,CAAC,YAAY,CAAC;IACnC,MAAM,0BAA0B,GAC9B,IAAI,CAAC,UAAU,IAAI,uBAAuB;QACxC,CAAC,CAAC,YAAY,CAAC,uBAAuB,CAAC;QACvC,CAAC,CAAC,uBAAuB,CAAC;IAE9B,IACE,0BAA0B;QAC1B,qBAAqB,CACnB,0BAA0B,EAC1B,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,KAAK,SAAS,EACf,CAAC;QACD,gBAAgB,GAAG,uBAAuB,CAAC;IAC7C,CAAC;IAED,MAAM,YAAY,GAChB,eAAe,CAAC,gBAAgB,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC;QACzD,IAAI,CAAC,YAAY,CAAC;IACpB,MAAM,yBAAyB,GAC7B,YAAY,IAAI,IAAI,CAAC,UAAU;QAC7B,CAAC,CAAC,qBAAqB,CAAC,YAAY,CAAC;QACrC,CAAC,CAAC,YAAY,CAAC;IACnB,OAAO,yBAAyB;QAC9B,CAAC,CAAC,CAAC,2BAA2B,CAAC,yBAAyB,EAAE,OAAO,CAAC;YAC9D,yBAAyB,CAAC;QAC9B,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,QAAqC,EACrC,YAAgC,EACZ,EAAE;IACtB,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,CACL,QAAQ,CAAC,WAAW;gBACpB,YAAY;gBACZ,QAAQ,CAAC,UAAU;gBACnB,QAAQ,CAAC,IAAI,CACd,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,YAAY,IAAI,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC;QAC9D,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,IAAI,YAAY,CAAC;IAChE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,QAAqC,EACrC,oBAAwC,EACxC,mBAAuC,EACvC,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,SAAS,GAAG,6BAA6B,CAC7C,OAAO,EACP,mBAAmB,EACnB,oBAAoB,CACrB,CAAC;QACF,IACE,SAAS;YACT,mBAAmB;YACnB,uBAAuB,CAAC,SAAS,EAAE,OAAO,CAAC;YAC3C,CAAC,uBAAuB,CAAC,mBAAmB,EAAE,OAAO,CAAC,EACtD,CAAC;YACD,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,cAAc;gBAC5B,CAAC,CAAC,6BAA6B,CAC3B,OAAO,EACP,QAAQ,CAAC,WAAW,EACpB,QAAQ,CAAC,UAAU,EACnB,oBAAoB,EACpB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,WAAW,EACpB,mBAAmB,CACpB;gBACH,CAAC,CAAC,6BAA6B,CAC3B,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,oBAAoB,EACpB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,WAAW,EACpB,mBAAmB,CACpB,CAAC;QACR,KAAK,eAAe;YAClB,OAAO,6BAA6B,CAClC,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,oBAAoB,EACpB,QAAQ,CAAC,IAAI,EACb,mBAAmB,CACpB,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,6BAA6B,CAClC,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,oBAAoB,EACpB,QAAQ,CAAC,IAAI,EACb,mBAAmB,CACpB,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,MAAM,iBAAiB,GAAG,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,gBAAgB,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,0BAA0B,CAC/B,QAAQ,EACR,iBAAiB,EACjB,gBAAgB,EAChB,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,IAAmD,EACnD,OAAuB,EACH,EAAE;IACtB,MAAM,gBAAgB,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,OAAO,CACL,0BAA0B,CAAC,QAAQ,EAAE,gBAAgB,CAAC;QACtD,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,CACjD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,IAAmD,EACnD,OAAuB,EACH,EAAE;IACtB,OAAO,CACL,8BAA8B,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;QAClD,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,CACjD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,MAAM,eAAe,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;QAC7B,OAAO,CACL,0BAA0B,CAAC,eAAe,EAAE,OAAO,CAAC;YACpD,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC;YAC7C,IAAI,CAAC,YAAY,CAClB,CAAC;IACJ,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1C,OAAO,mCAAmC,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5C,OAAO,8BAA8B,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACrC,OAAO,8BAA8B,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,MAAM,IAAI,eAAe,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACtE,OAAO,uBAAuB,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,qCAAqC,GAAG,CAC5C,IAAqD,EACrD,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,SAAS;QACxB,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC;QAC1C,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,oBAAoB,GACxB,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC;IACrE,MAAM,mBAAmB,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1E,OAAO,CACL,0BAA0B,CACxB,QAAQ,EACR,oBAAoB,EACpB,mBAAmB,EACnB,OAAO,CACR;QACD,oBAAoB;QACpB,mBAAmB,CACpB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,MAAM,eAAe,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;QAC7B,OAAO,CACL,2BAA2B,CAAC,eAAe,EAAE,OAAO,CAAC;YACrD,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC;YAC7C,IAAI,CAAC,YAAY,CAClB,CAAC;IACJ,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1C,OAAO,mCAAmC,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5C,OAAO,qCAAqC,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IACzE,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACrC,OAAO,8BAA8B,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,MAAM,IAAI,eAAe,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACtE,OAAO,uBAAuB,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"direct-value-surfaces.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/direct-value-surfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"direct-value-surfaces.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/direct-value-surfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,gCAAgC,CAAC;AAqfxC,eAAO,MAAM,6BAA6B,GACxC,UAAU,mBAAmB,EAC7B,SAAS,cAAc,KACtB,MAAM,GAAG,SAwCX,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,UAAU,mBAAmB,EAC7B,SAAS,cAAc,KACtB,MAAM,GAAG,SAsCX,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,MAAM,GAAG,SAWX,CAAC"}
|
|
@@ -1,6 +1,9 @@
|
|
|
1
1
|
import { getRuntimeUnionReferenceMembers } from "./runtime-union-shared.js";
|
|
2
|
-
import {
|
|
2
|
+
import { collectRuntimeUnionRawMembers } from "./runtime-union-expansion.js";
|
|
3
|
+
import { findExactRuntimeUnionMemberIndices, findRuntimeUnionMemberIndices, getCanonicalRuntimeUnionMembers, } from "./runtime-unions.js";
|
|
4
|
+
import { isRuntimeUnionTypeAst } from "./runtime-reification-helpers.js";
|
|
3
5
|
import { getPropertyType, resolveTypeAlias } from "./type-resolution.js";
|
|
6
|
+
import { stripNullableTypeAst } from "../format/backend-ast/utils.js";
|
|
4
7
|
const resolveDirectIdentifierName = (emittedIdentifier, context) => {
|
|
5
8
|
if (context.localValueTypes?.has(emittedIdentifier) ||
|
|
6
9
|
context.localSemanticTypes?.has(emittedIdentifier) ||
|
|
@@ -50,7 +53,8 @@ const hasExplicitRuntimeCarrierIdentity = (candidate, context) => {
|
|
|
50
53
|
}
|
|
51
54
|
const resolved = resolveTypeAlias(candidate, context);
|
|
52
55
|
return (resolved.kind === "unionType" &&
|
|
53
|
-
resolved.runtimeCarrierFamilyKey !== undefined
|
|
56
|
+
(resolved.runtimeCarrierFamilyKey !== undefined ||
|
|
57
|
+
resolved.runtimeUnionLayout === "carrierSlotOrder"));
|
|
54
58
|
};
|
|
55
59
|
const preferRuntimeCarrierCandidate = (context, ...candidates) => candidates.find((candidate) => hasExplicitRuntimeCarrierIdentity(candidate, context)) ??
|
|
56
60
|
candidates.find((candidate) => candidate !== undefined);
|
|
@@ -71,13 +75,123 @@ const tryResolveRuntimeUnionAsMemberType = (valueAst, context) => {
|
|
|
71
75
|
if (!Number.isInteger(memberIndex) || memberIndex < 0) {
|
|
72
76
|
return undefined;
|
|
73
77
|
}
|
|
74
|
-
const receiverCarrierType =
|
|
78
|
+
const receiverCarrierType = resolveProjectionReceiverRuntimeCarrierType(directAst.expression.expression, context) ??
|
|
79
|
+
resolveDirectValueSurfaceType(directAst.expression.expression, context);
|
|
75
80
|
if (!receiverCarrierType) {
|
|
76
81
|
return undefined;
|
|
77
82
|
}
|
|
83
|
+
const rawRuntimeMembers = collectRuntimeUnionRawMembers(receiverCarrierType, context);
|
|
84
|
+
const rawRuntimeMember = rawRuntimeMembers[memberIndex];
|
|
85
|
+
if (hasExplicitRuntimeCarrierIdentity(rawRuntimeMember, context)) {
|
|
86
|
+
return rawRuntimeMember;
|
|
87
|
+
}
|
|
78
88
|
const runtimeMembers = getCanonicalRuntimeUnionMembers(receiverCarrierType, context);
|
|
79
89
|
return runtimeMembers?.[memberIndex];
|
|
80
90
|
};
|
|
91
|
+
const tryConvertSurfaceTypeAstToIrType = (typeAst) => {
|
|
92
|
+
const concreteTypeAst = stripNullableTypeAst(typeAst);
|
|
93
|
+
switch (concreteTypeAst.kind) {
|
|
94
|
+
case "predefinedType":
|
|
95
|
+
switch (concreteTypeAst.keyword) {
|
|
96
|
+
case "bool":
|
|
97
|
+
return { kind: "primitiveType", name: "boolean" };
|
|
98
|
+
case "string":
|
|
99
|
+
return { kind: "primitiveType", name: "string" };
|
|
100
|
+
case "void":
|
|
101
|
+
return { kind: "voidType" };
|
|
102
|
+
case "object":
|
|
103
|
+
return { kind: "referenceType", name: "object" };
|
|
104
|
+
case "int":
|
|
105
|
+
return { kind: "primitiveType", name: "int" };
|
|
106
|
+
case "double":
|
|
107
|
+
return { kind: "primitiveType", name: "number" };
|
|
108
|
+
case "char":
|
|
109
|
+
return { kind: "primitiveType", name: "char" };
|
|
110
|
+
default:
|
|
111
|
+
return { kind: "referenceType", name: concreteTypeAst.keyword };
|
|
112
|
+
}
|
|
113
|
+
case "identifierType": {
|
|
114
|
+
const typeArguments = concreteTypeAst.typeArguments?.map(tryConvertSurfaceTypeAstToIrType);
|
|
115
|
+
if (typeArguments?.some((type) => type === undefined)) {
|
|
116
|
+
return undefined;
|
|
117
|
+
}
|
|
118
|
+
return {
|
|
119
|
+
kind: "referenceType",
|
|
120
|
+
name: concreteTypeAst.name,
|
|
121
|
+
...(typeArguments && typeArguments.length > 0
|
|
122
|
+
? { typeArguments: typeArguments }
|
|
123
|
+
: {}),
|
|
124
|
+
};
|
|
125
|
+
}
|
|
126
|
+
case "qualifiedIdentifierType": {
|
|
127
|
+
const typeArguments = concreteTypeAst.typeArguments?.map(tryConvertSurfaceTypeAstToIrType);
|
|
128
|
+
if (typeArguments?.some((type) => type === undefined)) {
|
|
129
|
+
return undefined;
|
|
130
|
+
}
|
|
131
|
+
const resolvedClrType = `${concreteTypeAst.name.aliasQualifier
|
|
132
|
+
? `${concreteTypeAst.name.aliasQualifier}::`
|
|
133
|
+
: ""}${concreteTypeAst.name.segments.join(".")}`;
|
|
134
|
+
const name = concreteTypeAst.name.segments[concreteTypeAst.name.segments.length - 1] ?? resolvedClrType;
|
|
135
|
+
return {
|
|
136
|
+
kind: "referenceType",
|
|
137
|
+
name,
|
|
138
|
+
resolvedClrType,
|
|
139
|
+
...(typeArguments && typeArguments.length > 0
|
|
140
|
+
? { typeArguments: typeArguments }
|
|
141
|
+
: {}),
|
|
142
|
+
};
|
|
143
|
+
}
|
|
144
|
+
case "arrayType": {
|
|
145
|
+
if (concreteTypeAst.rank !== 1) {
|
|
146
|
+
return undefined;
|
|
147
|
+
}
|
|
148
|
+
const elementType = tryConvertSurfaceTypeAstToIrType(concreteTypeAst.elementType);
|
|
149
|
+
return elementType ? { kind: "arrayType", elementType } : undefined;
|
|
150
|
+
}
|
|
151
|
+
default:
|
|
152
|
+
return undefined;
|
|
153
|
+
}
|
|
154
|
+
};
|
|
155
|
+
const tryResolveRuntimeUnionSurfaceTypeAst = (typeAst, context) => {
|
|
156
|
+
const concreteTypeAst = stripNullableTypeAst(typeAst);
|
|
157
|
+
if (isRuntimeUnionTypeAst(concreteTypeAst)) {
|
|
158
|
+
if (concreteTypeAst.kind !== "identifierType" &&
|
|
159
|
+
concreteTypeAst.kind !== "qualifiedIdentifierType") {
|
|
160
|
+
return undefined;
|
|
161
|
+
}
|
|
162
|
+
const members = concreteTypeAst.typeArguments?.map(tryConvertSurfaceTypeAstToIrType);
|
|
163
|
+
if (!members ||
|
|
164
|
+
members.length < 2 ||
|
|
165
|
+
members.some((member) => member === undefined)) {
|
|
166
|
+
return undefined;
|
|
167
|
+
}
|
|
168
|
+
return {
|
|
169
|
+
kind: "unionType",
|
|
170
|
+
types: members,
|
|
171
|
+
runtimeUnionLayout: "carrierSlotOrder",
|
|
172
|
+
};
|
|
173
|
+
}
|
|
174
|
+
const surfaceType = tryConvertSurfaceTypeAstToIrType(concreteTypeAst);
|
|
175
|
+
return hasExplicitRuntimeCarrierIdentity(surfaceType, context)
|
|
176
|
+
? surfaceType
|
|
177
|
+
: undefined;
|
|
178
|
+
};
|
|
179
|
+
const tryResolveExplicitRuntimeUnionSurfaceType = (valueAst, context) => {
|
|
180
|
+
const directAst = unwrapTransparentValueAst(valueAst);
|
|
181
|
+
if (directAst.kind === "castExpression" ||
|
|
182
|
+
directAst.kind === "asExpression") {
|
|
183
|
+
return tryResolveRuntimeUnionSurfaceTypeAst(directAst.type, context);
|
|
184
|
+
}
|
|
185
|
+
if (directAst.kind === "invocationExpression" &&
|
|
186
|
+
directAst.expression.kind === "memberAccessExpression" &&
|
|
187
|
+
directAst.expression.memberName === "Match") {
|
|
188
|
+
const [resultTypeAst] = directAst.typeArguments ?? [];
|
|
189
|
+
return resultTypeAst
|
|
190
|
+
? tryResolveRuntimeUnionSurfaceTypeAst(resultTypeAst, context)
|
|
191
|
+
: undefined;
|
|
192
|
+
}
|
|
193
|
+
return undefined;
|
|
194
|
+
};
|
|
81
195
|
const withOptionalUndefined = (type) => {
|
|
82
196
|
if (type.kind === "unionType" &&
|
|
83
197
|
type.types.some((member) => member.kind === "primitiveType" && member.name === "undefined")) {
|
|
@@ -129,10 +243,51 @@ const resolveNamedRuntimeCarrierType = (name, context) => {
|
|
|
129
243
|
return preferRuntimeCarrierCandidate(context, narrowed.sourceType, localSemanticType, narrowed.type, localStorageType);
|
|
130
244
|
}
|
|
131
245
|
};
|
|
246
|
+
const resolveProjectionReceiverRuntimeCarrierType = (valueAst, context) => {
|
|
247
|
+
const directAst = unwrapTransparentValueAst(valueAst);
|
|
248
|
+
if (directAst.kind !== "identifierExpression") {
|
|
249
|
+
return resolveDirectRuntimeCarrierType(directAst, context);
|
|
250
|
+
}
|
|
251
|
+
const identifierBinding = resolveDirectIdentifierBinding(directAst.identifier, context);
|
|
252
|
+
if (!identifierBinding) {
|
|
253
|
+
return undefined;
|
|
254
|
+
}
|
|
255
|
+
const localStorageType = context.localValueTypes?.get(identifierBinding.sourceName);
|
|
256
|
+
const localSemanticType = context.localSemanticTypes?.get(identifierBinding.sourceName);
|
|
257
|
+
const narrowed = context.narrowedBindings?.get(identifierBinding.sourceName);
|
|
258
|
+
if (narrowed?.kind !== "expr") {
|
|
259
|
+
return preferRuntimeCarrierCandidate(context, localStorageType, localSemanticType, resolveNamedRuntimeCarrierType(identifierBinding.sourceName, context));
|
|
260
|
+
}
|
|
261
|
+
return preferRuntimeCarrierCandidate(context, localStorageType, localSemanticType, narrowed.carrierType, narrowed.sourceType, narrowed.storageType, narrowed.type);
|
|
262
|
+
};
|
|
263
|
+
const resolveCanonicalNarrowedMemberType = (type, sourceType, context) => {
|
|
264
|
+
if (!type || !sourceType) {
|
|
265
|
+
return type;
|
|
266
|
+
}
|
|
267
|
+
if (type.kind === "referenceType" && type.name !== "object") {
|
|
268
|
+
return type;
|
|
269
|
+
}
|
|
270
|
+
const sourceMembers = getCanonicalRuntimeUnionMembers(sourceType, context);
|
|
271
|
+
if (!sourceMembers) {
|
|
272
|
+
return type;
|
|
273
|
+
}
|
|
274
|
+
const exactMatches = findExactRuntimeUnionMemberIndices(sourceMembers, type, context);
|
|
275
|
+
const matches = exactMatches.length === 1
|
|
276
|
+
? exactMatches
|
|
277
|
+
: findRuntimeUnionMemberIndices(sourceMembers, type, context);
|
|
278
|
+
if (matches.length !== 1) {
|
|
279
|
+
return type;
|
|
280
|
+
}
|
|
281
|
+
const [memberIndex] = matches;
|
|
282
|
+
return memberIndex !== undefined
|
|
283
|
+
? (sourceMembers[memberIndex] ?? type)
|
|
284
|
+
: type;
|
|
285
|
+
};
|
|
132
286
|
export const resolveDirectValueSurfaceType = (valueAst, context) => {
|
|
133
287
|
const directAst = unwrapTransparentValueAst(valueAst);
|
|
134
288
|
if (directAst.kind !== "identifierExpression") {
|
|
135
|
-
return (
|
|
289
|
+
return (tryResolveExplicitRuntimeUnionSurfaceType(directAst, context) ??
|
|
290
|
+
tryResolveRuntimeUnionAsMemberType(directAst, context) ??
|
|
136
291
|
tryResolveDirectMemberAccessSurfaceType(directAst, context));
|
|
137
292
|
}
|
|
138
293
|
const originalName = resolveDirectIdentifierName(directAst.identifier, context);
|
|
@@ -141,16 +296,20 @@ export const resolveDirectValueSurfaceType = (valueAst, context) => {
|
|
|
141
296
|
}
|
|
142
297
|
const narrowed = context.narrowedBindings?.get(originalName);
|
|
143
298
|
if (narrowed?.kind === "expr" || narrowed?.kind === "runtimeSubset") {
|
|
144
|
-
return narrowed.type ?? narrowed.sourceType;
|
|
299
|
+
return (resolveCanonicalNarrowedMemberType(narrowed.type, narrowed.sourceType, context) ?? narrowed.sourceType);
|
|
145
300
|
}
|
|
146
301
|
if (narrowed?.kind === "rename") {
|
|
147
|
-
return narrowed.type ?? narrowed.sourceType;
|
|
302
|
+
return (resolveCanonicalNarrowedMemberType(narrowed.type, narrowed.sourceType, context) ?? narrowed.sourceType);
|
|
148
303
|
}
|
|
149
304
|
return context.localValueTypes?.get(originalName);
|
|
150
305
|
};
|
|
151
306
|
export const resolveDirectRuntimeCarrierType = (valueAst, context) => {
|
|
152
307
|
const directAst = unwrapTransparentValueAst(valueAst);
|
|
153
308
|
if (directAst.kind !== "identifierExpression") {
|
|
309
|
+
const explicitSurfaceType = tryResolveExplicitRuntimeUnionSurfaceType(directAst, context);
|
|
310
|
+
if (hasExplicitRuntimeCarrierIdentity(explicitSurfaceType, context)) {
|
|
311
|
+
return explicitSurfaceType;
|
|
312
|
+
}
|
|
154
313
|
const materializedMemberType = tryResolveRuntimeUnionAsMemberType(directAst, context);
|
|
155
314
|
return hasExplicitRuntimeCarrierIdentity(materializedMemberType, context)
|
|
156
315
|
? materializedMemberType
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"direct-value-surfaces.js","sourceRoot":"","sources":["../../../src/core/semantic/direct-value-surfaces.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAEzE,MAAM,2BAA2B,GAAG,CAClC,iBAAyB,EACzB,OAAuB,EACH,EAAE;IACtB,IACE,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,iBAAiB,CAAC;QAC/C,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,iBAAiB,CAAC;QAClD,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB,CAAC,EAChD,CAAC;QACD,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IAED,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,CACpE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CACd,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,CAClE,EAAE,CAAC,CAAC,CAAC,CAAC;IACP,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,CAChD,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,KAAK,iBAAiB,CAC/C,EAAE,CAAC,CAAC,CAAC,CAAC;AACT,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,iBAAyB,EACzB,OAAuB,EAMX,EAAE;IACd,IACE,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,iBAAiB,CAAC;QAC/C,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,iBAAiB,CAAC;QAClD,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB,CAAC,EAChD,CAAC;QACD,OAAO;YACL,UAAU,EAAE,iBAAiB;YAC7B,0BAA0B,EAAE,KAAK;SAClC,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,CACpE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CACd,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,CAClE,EAAE,CAAC,CAAC,CAAC,CAAC;IACP,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO;YACL,UAAU,EAAE,cAAc;YAC1B,0BAA0B,EAAE,IAAI;SACjC,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,CAC5D,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,KAAK,iBAAiB,CAC/C,EAAE,CAAC,CAAC,CAAC,CAAC;IACP,OAAO,UAAU;QACf,CAAC,CAAC;YACE,UAAU;YACV,0BAA0B,EAAE,KAAK;SAClC;QACH,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,QAA6B,EACR,EAAE,CACvB,QAAQ,CAAC,IAAI,KAAK,yBAAyB;IACzC,CAAC,CAAC,yBAAyB,CAAC,QAAQ,CAAC,UAAU,CAAC;IAChD,CAAC,CAAC,QAAQ,CAAC;AAEf,MAAM,iCAAiC,GAAG,CACxC,SAA6B,EAC7B,OAAuB,EACF,EAAE;IACvB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,SAAS,CAAC,IAAI,KAAK,eAAe;QAClC,+BAA+B,CAAC,SAAS,CAAC,KAAK,SAAS,EACxD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtD,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,QAAQ,CAAC,uBAAuB,KAAK,SAAS,CAC/C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,OAAuB,EACvB,GAAG,UAAkC,EACjB,EAAE,CACtB,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC5B,iCAAiC,CAAC,SAAS,EAAE,OAAO,CAAC,CACtD;IACD,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAuB,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;AAE/E,MAAM,kCAAkC,GAAG,CACzC,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB;QACtD,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAChC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACtE,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,mBAAmB,GAAG,6BAA6B,CACvD,OAAO,EACP,+BAA+B,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,EACzE,6BAA6B,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CACxE,CAAC;IACF,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,+BAA+B,CACpD,mBAAmB,EACnB,OAAO,CACR,CAAC;IACF,OAAO,cAAc,EAAE,CAAC,WAAW,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE;IACrD,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;QACzB,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CACjE,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW;QAC9B,CAAC,CAAC;YACE,GAAG,IAAI;YACP,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;SACrE;QACH,CAAC,CAAC;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;SAC5D,CAAC;AACR,CAAC,CAAC;AAEF,MAAM,uCAAuC,GAAG,CAC9C,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IACE,SAAS,CAAC,IAAI,KAAK,wBAAwB;QAC3C,SAAS,CAAC,IAAI,KAAK,mCAAmC,EACtD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,6BAA6B,CAChD,OAAO,EACP,+BAA+B,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,EAC9D,6BAA6B,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAC7D,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,eAAe,CAAC,YAAY,EAAE,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChF,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,SAAS,CAAC,IAAI,KAAK,mCAAmC;QAC3D,CAAC,CAAC,qBAAqB,CAAC,UAAU,CAAC;QACnC,CAAC,CAAC,UAAU,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,MAAM,iBAAiB,GAAG,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,gBAAgB,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAErD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,6BAA6B,CAClC,OAAO,EACP,gBAAgB,EAChB,iBAAiB,CAClB,CAAC;IACJ,CAAC;IAED,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,cAAc;gBAC5B,CAAC,CAAC,6BAA6B,CAC3B,OAAO,EACP,QAAQ,CAAC,WAAW,EACpB,QAAQ,CAAC,UAAU,EACnB,iBAAiB,EACjB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,WAAW,EACpB,gBAAgB,CACjB;gBACH,CAAC,CAAC,6BAA6B,CAC3B,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,iBAAiB,EACjB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,WAAW,EACpB,gBAAgB,CACjB,CAAC;QACR,KAAK,eAAe;YAClB,OAAO,6BAA6B,CAClC,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,iBAAiB,EACjB,QAAQ,CAAC,IAAI,EACb,gBAAgB,CACjB,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,6BAA6B,CAClC,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,iBAAiB,EACjB,QAAQ,CAAC,IAAI,EACb,gBAAgB,CACjB,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC9C,OAAO,CACL,kCAAkC,CAAC,SAAS,EAAE,OAAO,CAAC;YACtD,uCAAuC,CAAC,SAAS,EAAE,OAAO,CAAC,CAC5D,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,2BAA2B,CAC9C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7D,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,IAAI,QAAQ,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACpE,OAAO,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC;IAC9C,CAAC;IAED,IAAI,QAAQ,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC;IAC9C,CAAC;IAED,OAAO,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC9C,MAAM,sBAAsB,GAAG,kCAAkC,CAC/D,SAAS,EACT,OAAO,CACR,CAAC;QACF,OAAO,iCAAiC,CAAC,sBAAsB,EAAE,OAAO,CAAC;YACvE,CAAC,CAAC,sBAAsB;YACxB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,MAAM,iBAAiB,GAAG,8BAA8B,CACtD,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,iBAAiB,CAAC,0BAA0B,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAC7E,OAAO,iCAAiC,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC;YAC/D,CAAC,CAAC,QAAQ,EAAE,IAAI;YAChB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,OAAO,8BAA8B,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAmD,EACnD,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC;IAC9C,CAAC;IAED,IAAI,QAAQ,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC;IAC9C,CAAC;IAED,OAAO,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjD,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"direct-value-surfaces.js","sourceRoot":"","sources":["../../../src/core/semantic/direct-value-surfaces.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAC7E,OAAO,EACL,kCAAkC,EAClC,6BAA6B,EAC7B,+BAA+B,GAChC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AAEtE,MAAM,2BAA2B,GAAG,CAClC,iBAAyB,EACzB,OAAuB,EACH,EAAE;IACtB,IACE,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,iBAAiB,CAAC;QAC/C,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,iBAAiB,CAAC;QAClD,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB,CAAC,EAChD,CAAC;QACD,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IAED,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,CACpE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CACd,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,CAClE,EAAE,CAAC,CAAC,CAAC,CAAC;IACP,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,CAChD,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,KAAK,iBAAiB,CAC/C,EAAE,CAAC,CAAC,CAAC,CAAC;AACT,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,iBAAyB,EACzB,OAAuB,EAMX,EAAE;IACd,IACE,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,iBAAiB,CAAC;QAC/C,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,iBAAiB,CAAC;QAClD,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB,CAAC,EAChD,CAAC;QACD,OAAO;YACL,UAAU,EAAE,iBAAiB;YAC7B,0BAA0B,EAAE,KAAK;SAClC,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,CACpE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CACd,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,CAClE,EAAE,CAAC,CAAC,CAAC,CAAC;IACP,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO;YACL,UAAU,EAAE,cAAc;YAC1B,0BAA0B,EAAE,IAAI;SACjC,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,CAC5D,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,KAAK,iBAAiB,CAC/C,EAAE,CAAC,CAAC,CAAC,CAAC;IACP,OAAO,UAAU;QACf,CAAC,CAAC;YACE,UAAU;YACV,0BAA0B,EAAE,KAAK;SAClC;QACH,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,QAA6B,EACR,EAAE,CACvB,QAAQ,CAAC,IAAI,KAAK,yBAAyB;IACzC,CAAC,CAAC,yBAAyB,CAAC,QAAQ,CAAC,UAAU,CAAC;IAChD,CAAC,CAAC,QAAQ,CAAC;AAEf,MAAM,iCAAiC,GAAG,CACxC,SAA6B,EAC7B,OAAuB,EACF,EAAE;IACvB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,SAAS,CAAC,IAAI,KAAK,eAAe;QAClC,+BAA+B,CAAC,SAAS,CAAC,KAAK,SAAS,EACxD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtD,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,CAAC,QAAQ,CAAC,uBAAuB,KAAK,SAAS;YAC7C,QAAQ,CAAC,kBAAkB,KAAK,kBAAkB,CAAC,CACtD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,OAAuB,EACvB,GAAG,UAAkC,EACjB,EAAE,CACtB,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC5B,iCAAiC,CAAC,SAAS,EAAE,OAAO,CAAC,CACtD;IACD,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAuB,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;AAE/E,MAAM,kCAAkC,GAAG,CACzC,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB;QACtD,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAChC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACtE,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,mBAAmB,GACvB,2CAA2C,CACzC,SAAS,CAAC,UAAU,CAAC,UAAU,EAC/B,OAAO,CACR;QACD,6BAA6B,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GAAG,6BAA6B,CACrD,mBAAmB,EACnB,OAAO,CACR,CAAC;IACF,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IACxD,IAAI,iCAAiC,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;QACjE,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,cAAc,GAAG,+BAA+B,CACpD,mBAAmB,EACnB,OAAO,CACR,CAAC;IACF,OAAO,cAAc,EAAE,CAAC,WAAW,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,OAAsB,EACF,EAAE;IACtB,MAAM,eAAe,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACtD,QAAQ,eAAe,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,gBAAgB;YACnB,QAAQ,eAAe,CAAC,OAAO,EAAE,CAAC;gBAChC,KAAK,MAAM;oBACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;gBACpD,KAAK,QAAQ;oBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBACnD,KAAK,MAAM;oBACT,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;gBAC9B,KAAK,QAAQ;oBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBACnD,KAAK,KAAK;oBACR,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;gBAChD,KAAK,QAAQ;oBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBACnD,KAAK,MAAM;oBACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBACjD;oBACE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,eAAe,CAAC,OAAO,EAAE,CAAC;YACpE,CAAC;QACH,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,aAAa,GAAG,eAAe,CAAC,aAAa,EAAE,GAAG,CACtD,gCAAgC,CACjC,CAAC;YACF,IAAI,aAAa,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;gBACtD,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,eAAe,CAAC,IAAI;gBAC1B,GAAG,CAAC,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;oBAC3C,CAAC,CAAC,EAAE,aAAa,EAAE,aAAkC,EAAE;oBACvD,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;QACJ,CAAC;QACD,KAAK,yBAAyB,CAAC,CAAC,CAAC;YAC/B,MAAM,aAAa,GAAG,eAAe,CAAC,aAAa,EAAE,GAAG,CACtD,gCAAgC,CACjC,CAAC;YACF,IAAI,aAAa,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;gBACtD,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,eAAe,GAAG,GACtB,eAAe,CAAC,IAAI,CAAC,cAAc;gBACjC,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,cAAc,IAAI;gBAC5C,CAAC,CAAC,EACN,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,GACR,eAAe,CAAC,IAAI,CAAC,QAAQ,CAC3B,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CACzC,IAAI,eAAe,CAAC;YACvB,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,IAAI;gBACJ,eAAe;gBACf,GAAG,CAAC,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;oBAC3C,CAAC,CAAC,EAAE,aAAa,EAAE,aAAkC,EAAE;oBACvD,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,eAAe,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBAC/B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,WAAW,GAAG,gCAAgC,CAClD,eAAe,CAAC,WAAW,CAC5B,CAAC;YACF,OAAO,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oCAAoC,GAAG,CAC3C,OAAsB,EACtB,OAAuB,EACH,EAAE;IACtB,MAAM,eAAe,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACtD,IAAI,qBAAqB,CAAC,eAAe,CAAC,EAAE,CAAC;QAC3C,IACE,eAAe,CAAC,IAAI,KAAK,gBAAgB;YACzC,eAAe,CAAC,IAAI,KAAK,yBAAyB,EAClD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,OAAO,GAAG,eAAe,CAAC,aAAa,EAAE,GAAG,CAChD,gCAAgC,CACjC,CAAC;QACF,IACE,CAAC,OAAO;YACR,OAAO,CAAC,MAAM,GAAG,CAAC;YAClB,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC,EAC9C,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,OAA4B;YACnC,kBAAkB,EAAE,kBAAkB;SACvC,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,gCAAgC,CAAC,eAAe,CAAC,CAAC;IACtE,OAAO,iCAAiC,CAAC,WAAW,EAAE,OAAO,CAAC;QAC5D,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,yCAAyC,GAAG,CAChD,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IACE,SAAS,CAAC,IAAI,KAAK,gBAAgB;QACnC,SAAS,CAAC,IAAI,KAAK,cAAc,EACjC,CAAC;QACD,OAAO,oCAAoC,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IAED,IACE,SAAS,CAAC,IAAI,KAAK,sBAAsB;QACzC,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB;QACtD,SAAS,CAAC,UAAU,CAAC,UAAU,KAAK,OAAO,EAC3C,CAAC;QACD,MAAM,CAAC,aAAa,CAAC,GAAG,SAAS,CAAC,aAAa,IAAI,EAAE,CAAC;QACtD,OAAO,aAAa;YAClB,CAAC,CAAC,oCAAoC,CAAC,aAAa,EAAE,OAAO,CAAC;YAC9D,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE;IACrD,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;QACzB,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAC3E,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW;QAC9B,CAAC,CAAC;YACE,GAAG,IAAI;YACP,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;SACrE;QACH,CAAC,CAAC;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;SAC5D,CAAC;AACR,CAAC,CAAC;AAEF,MAAM,uCAAuC,GAAG,CAC9C,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IACE,SAAS,CAAC,IAAI,KAAK,wBAAwB;QAC3C,SAAS,CAAC,IAAI,KAAK,mCAAmC,EACtD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,6BAA6B,CAChD,OAAO,EACP,+BAA+B,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,EAC9D,6BAA6B,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAC7D,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,eAAe,CAChC,YAAY,EACZ,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,SAAS,CAAC,IAAI,KAAK,mCAAmC;QAC3D,CAAC,CAAC,qBAAqB,CAAC,UAAU,CAAC;QACnC,CAAC,CAAC,UAAU,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,MAAM,iBAAiB,GAAG,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,gBAAgB,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAErD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,6BAA6B,CAClC,OAAO,EACP,gBAAgB,EAChB,iBAAiB,CAClB,CAAC;IACJ,CAAC;IAED,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,cAAc;gBAC5B,CAAC,CAAC,6BAA6B,CAC3B,OAAO,EACP,QAAQ,CAAC,WAAW,EACpB,QAAQ,CAAC,UAAU,EACnB,iBAAiB,EACjB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,WAAW,EACpB,gBAAgB,CACjB;gBACH,CAAC,CAAC,6BAA6B,CAC3B,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,iBAAiB,EACjB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,WAAW,EACpB,gBAAgB,CACjB,CAAC;QACR,KAAK,eAAe;YAClB,OAAO,6BAA6B,CAClC,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,iBAAiB,EACjB,QAAQ,CAAC,IAAI,EACb,gBAAgB,CACjB,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,6BAA6B,CAClC,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,iBAAiB,EACjB,QAAQ,CAAC,IAAI,EACb,gBAAgB,CACjB,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,2CAA2C,GAAG,CAClD,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC9C,OAAO,+BAA+B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,iBAAiB,GAAG,8BAA8B,CACtD,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CACnD,iBAAiB,CAAC,UAAU,CAC7B,CAAC;IACF,MAAM,iBAAiB,GAAG,OAAO,CAAC,kBAAkB,EAAE,GAAG,CACvD,iBAAiB,CAAC,UAAU,CAC7B,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC7E,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,6BAA6B,CAClC,OAAO,EACP,gBAAgB,EAChB,iBAAiB,EACjB,8BAA8B,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CACtE,CAAC;IACJ,CAAC;IAED,OAAO,6BAA6B,CAClC,OAAO,EACP,gBAAgB,EAChB,iBAAiB,EACjB,QAAQ,CAAC,WAAW,EACpB,QAAQ,CAAC,UAAU,EACnB,QAAQ,CAAC,WAAW,EACpB,QAAQ,CAAC,IAAI,CACd,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,IAAwB,EACxB,UAA8B,EAC9B,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,aAAa,GAAG,+BAA+B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC3E,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,YAAY,GAAG,kCAAkC,CACrD,aAAa,EACb,IAAI,EACJ,OAAO,CACR,CAAC;IACF,MAAM,OAAO,GACX,YAAY,CAAC,MAAM,KAAK,CAAC;QACvB,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,6BAA6B,CAAC,aAAa,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAClE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,WAAW,CAAC,GAAG,OAAO,CAAC;IAC9B,OAAO,WAAW,KAAK,SAAS;QAC9B,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC9C,OAAO,CACL,yCAAyC,CAAC,SAAS,EAAE,OAAO,CAAC;YAC7D,kCAAkC,CAAC,SAAS,EAAE,OAAO,CAAC;YACtD,uCAAuC,CAAC,SAAS,EAAE,OAAO,CAAC,CAC5D,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,2BAA2B,CAC9C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7D,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,IAAI,QAAQ,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACpE,OAAO,CACL,kCAAkC,CAChC,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,UAAU,EACnB,OAAO,CACR,IAAI,QAAQ,CAAC,UAAU,CACzB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,CACL,kCAAkC,CAChC,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,UAAU,EACnB,OAAO,CACR,IAAI,QAAQ,CAAC,UAAU,CACzB,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC9C,MAAM,mBAAmB,GAAG,yCAAyC,CACnE,SAAS,EACT,OAAO,CACR,CAAC;QACF,IAAI,iCAAiC,CAAC,mBAAmB,EAAE,OAAO,CAAC,EAAE,CAAC;YACpE,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QAED,MAAM,sBAAsB,GAAG,kCAAkC,CAC/D,SAAS,EACT,OAAO,CACR,CAAC;QACF,OAAO,iCAAiC,CAAC,sBAAsB,EAAE,OAAO,CAAC;YACvE,CAAC,CAAC,sBAAsB;YACxB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,MAAM,iBAAiB,GAAG,8BAA8B,CACtD,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,iBAAiB,CAAC,0BAA0B,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAC5C,iBAAiB,CAAC,UAAU,CAC7B,CAAC;QACF,OAAO,iCAAiC,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC;YAC/D,CAAC,CAAC,QAAQ,EAAE,IAAI;YAChB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,OAAO,8BAA8B,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAmD,EACnD,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC;IAC9C,CAAC;IAED,IAAI,QAAQ,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC;IAC9C,CAAC;IAED,OAAO,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjD,CAAC,CAAC"}
|
|
@@ -1,7 +1,8 @@
|
|
|
1
1
|
import { describe, it } from "mocha";
|
|
2
2
|
import { expect } from "chai";
|
|
3
|
+
import { storageCarrierMap } from "../../types.js";
|
|
3
4
|
import { createContext } from "../../emitter-types/context.js";
|
|
4
|
-
import { decimalIntegerLiteral } from "../format/backend-ast/builders.js";
|
|
5
|
+
import { decimalIntegerLiteral, identifierType, } from "../format/backend-ast/builders.js";
|
|
5
6
|
import { resolveDirectRuntimeCarrierType, resolveDirectValueSurfaceType, } from "./direct-value-surfaces.js";
|
|
6
7
|
const stringType = { kind: "primitiveType", name: "string" };
|
|
7
8
|
const numberType = { kind: "primitiveType", name: "number" };
|
|
@@ -14,7 +15,7 @@ describe("direct-value-surfaces", () => {
|
|
|
14
15
|
it("returns direct local value types for emitted identifiers", () => {
|
|
15
16
|
const context = {
|
|
16
17
|
...createContext({ rootNamespace: "Test" }),
|
|
17
|
-
localValueTypes:
|
|
18
|
+
localValueTypes: storageCarrierMap([["value", stringType]]),
|
|
18
19
|
};
|
|
19
20
|
expect(resolveDirectValueSurfaceType({ kind: "identifierExpression", identifier: "value" }, context)).to.equal(stringType);
|
|
20
21
|
});
|
|
@@ -22,7 +23,7 @@ describe("direct-value-surfaces", () => {
|
|
|
22
23
|
const context = {
|
|
23
24
|
...createContext({ rootNamespace: "Test" }),
|
|
24
25
|
localNameMap: new Map([["source", "__source_1"]]),
|
|
25
|
-
localValueTypes:
|
|
26
|
+
localValueTypes: storageCarrierMap([["source", numberType]]),
|
|
26
27
|
};
|
|
27
28
|
expect(resolveDirectValueSurfaceType({ kind: "identifierExpression", identifier: "__source_1" }, context)).to.equal(numberType);
|
|
28
29
|
});
|
|
@@ -56,11 +57,11 @@ describe("direct-value-surfaces", () => {
|
|
|
56
57
|
kind: "unionType",
|
|
57
58
|
types: [uint8ArrayType, stringType],
|
|
58
59
|
runtimeCarrierFamilyKey: "Uint8Array|string",
|
|
59
|
-
|
|
60
|
+
runtimeUnionLayout: "carrierSlotOrder",
|
|
60
61
|
};
|
|
61
62
|
const context = {
|
|
62
63
|
...createContext({ rootNamespace: "Test" }),
|
|
63
|
-
localValueTypes:
|
|
64
|
+
localValueTypes: storageCarrierMap([["msg", unionCarrierType]]),
|
|
64
65
|
narrowedBindings: new Map([
|
|
65
66
|
[
|
|
66
67
|
"msg",
|
|
@@ -92,7 +93,7 @@ describe("direct-value-surfaces", () => {
|
|
|
92
93
|
};
|
|
93
94
|
const context = {
|
|
94
95
|
...createContext({ rootNamespace: "Test" }),
|
|
95
|
-
localValueTypes:
|
|
96
|
+
localValueTypes: storageCarrierMap([["msg", unionCarrierType]]),
|
|
96
97
|
};
|
|
97
98
|
const as1Ast = {
|
|
98
99
|
kind: "parenthesizedExpression",
|
|
@@ -112,5 +113,67 @@ describe("direct-value-surfaces", () => {
|
|
|
112
113
|
expect(resolveDirectValueSurfaceType(as1Ast, context)).to.equal(stringType);
|
|
113
114
|
expect(resolveDirectRuntimeCarrierType(as1Ast, context)).to.equal(undefined);
|
|
114
115
|
});
|
|
116
|
+
it("preserves emitted runtime-union cast member order as direct carrier identity", () => {
|
|
117
|
+
const middlewareParamType = {
|
|
118
|
+
kind: "referenceType",
|
|
119
|
+
name: "MiddlewareParam",
|
|
120
|
+
};
|
|
121
|
+
const routerType = {
|
|
122
|
+
kind: "referenceType",
|
|
123
|
+
name: "Router",
|
|
124
|
+
};
|
|
125
|
+
const context = createContext({ rootNamespace: "Test" });
|
|
126
|
+
const castAst = {
|
|
127
|
+
kind: "castExpression",
|
|
128
|
+
type: identifierType("global::Tsonic.Internal.Union2_8F496C93", [
|
|
129
|
+
identifierType("MiddlewareParam"),
|
|
130
|
+
identifierType("Router"),
|
|
131
|
+
]),
|
|
132
|
+
expression: { kind: "identifierExpression", identifier: "x" },
|
|
133
|
+
};
|
|
134
|
+
const expectedCarrier = {
|
|
135
|
+
kind: "unionType",
|
|
136
|
+
types: [middlewareParamType, routerType],
|
|
137
|
+
runtimeUnionLayout: "carrierSlotOrder",
|
|
138
|
+
};
|
|
139
|
+
expect(resolveDirectValueSurfaceType(castAst, context)).to.deep.equal(expectedCarrier);
|
|
140
|
+
expect(resolveDirectRuntimeCarrierType(castAst, context)).to.deep.equal(expectedCarrier);
|
|
141
|
+
});
|
|
142
|
+
it("preserves emitted Match result runtime-union member order as direct carrier identity", () => {
|
|
143
|
+
const middlewareParamType = {
|
|
144
|
+
kind: "referenceType",
|
|
145
|
+
name: "MiddlewareParam",
|
|
146
|
+
};
|
|
147
|
+
const routerType = {
|
|
148
|
+
kind: "referenceType",
|
|
149
|
+
name: "Router",
|
|
150
|
+
};
|
|
151
|
+
const context = createContext({ rootNamespace: "Test" });
|
|
152
|
+
const matchAst = {
|
|
153
|
+
kind: "invocationExpression",
|
|
154
|
+
expression: {
|
|
155
|
+
kind: "memberAccessExpression",
|
|
156
|
+
expression: {
|
|
157
|
+
kind: "identifierExpression",
|
|
158
|
+
identifier: "handler",
|
|
159
|
+
},
|
|
160
|
+
memberName: "Match",
|
|
161
|
+
},
|
|
162
|
+
typeArguments: [
|
|
163
|
+
identifierType("global::Tsonic.Internal.Union2_8F496C93", [
|
|
164
|
+
identifierType("MiddlewareParam"),
|
|
165
|
+
identifierType("Router"),
|
|
166
|
+
]),
|
|
167
|
+
],
|
|
168
|
+
arguments: [],
|
|
169
|
+
};
|
|
170
|
+
const expectedCarrier = {
|
|
171
|
+
kind: "unionType",
|
|
172
|
+
types: [middlewareParamType, routerType],
|
|
173
|
+
runtimeUnionLayout: "carrierSlotOrder",
|
|
174
|
+
};
|
|
175
|
+
expect(resolveDirectValueSurfaceType(matchAst, context)).to.deep.equal(expectedCarrier);
|
|
176
|
+
expect(resolveDirectRuntimeCarrierType(matchAst, context)).to.deep.equal(expectedCarrier);
|
|
177
|
+
});
|
|
115
178
|
});
|
|
116
179
|
//# sourceMappingURL=direct-value-surfaces.test.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"direct-value-surfaces.test.js","sourceRoot":"","sources":["../../../src/core/semantic/direct-value-surfaces.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,
|
|
1
|
+
{"version":3,"file":"direct-value-surfaces.test.js","sourceRoot":"","sources":["../../../src/core/semantic/direct-value-surfaces.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EACL,qBAAqB,EACrB,cAAc,GACf,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,+BAA+B,EAC/B,6BAA6B,GAC9B,MAAM,4BAA4B,CAAC;AAEpC,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACrE,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACrE,MAAM,cAAc,GAAW;IAC7B,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,YAAY;IAClB,eAAe,EAAE,eAAe;CACjC,CAAC;AAEF,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,OAAO,GAAG;YACd,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,eAAe,EAAE,iBAAiB,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;SAC5D,CAAC;QAEF,MAAM,CACJ,6BAA6B,CAC3B,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,OAAO,EAAE,EACrD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,OAAO,GAAG;YACd,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACjD,eAAe,EAAE,iBAAiB,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;SAC7D,CAAC;QAEF,MAAM,CACJ,6BAA6B,CAC3B,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,YAAY,EAAE,EAC1D,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,CACJ,6BAA6B,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CACjE,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,kBAAkB,GAAW;YACjC,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,eAAe;SACjC,CAAC;QACF,MAAM,OAAO,GAAG;YACd,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,gBAAgB,EAAE,IAAI,GAAG,CAAC;gBACxB;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,QAAiB;wBACvB,IAAI,EAAE,aAAa;wBACnB,IAAI,EAAE,kBAAkB;qBACzB;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,CACJ,6BAA6B,CAC3B,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,aAAa,EAAE,EAC3D,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,gBAAgB,GAAW;YAC/B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC;YACnC,uBAAuB,EAAE,mBAAmB;YAC5C,kBAAkB,EAAE,kBAAkB;SACvC,CAAC;QACF,MAAM,OAAO,GAAG;YACd,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,eAAe,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC;YAC/D,gBAAgB,EAAE,IAAI,GAAG,CAAC;gBACxB;oBACE,KAAK;oBACL;wBACE,IAAI,EAAE,MAAe;wBACrB,OAAO,EAAE;4BACP,IAAI,EAAE,sBAA+B;4BACrC,UAAU,EAAE,KAAK;yBAClB;wBACD,cAAc,EAAE;4BACd,IAAI,EAAE,sBAA+B;4BACrC,UAAU,EAAE,KAAK;yBAClB;wBACD,WAAW,EAAE,gBAAgB;wBAC7B,IAAI,EAAE,cAAc;wBACpB,UAAU,EAAE,gBAAgB;qBAC7B;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,CACJ,6BAA6B,CAC3B,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,KAAK,EAAE,EACnD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAC3B,MAAM,CACJ,+BAA+B,CAC7B,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,KAAK,EAAE,EACnD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,gBAAgB,GAAW;YAC/B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC;YACnC,uBAAuB,EAAE,mBAAmB;SAC7C,CAAC;QACF,MAAM,OAAO,GAAG;YACd,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,eAAe,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC;SAChE,CAAC;QAEF,MAAM,MAAM,GAAG;YACb,IAAI,EAAE,yBAAkC;YACxC,UAAU,EAAE;gBACV,IAAI,EAAE,sBAA+B;gBACrC,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAiC;oBACvC,UAAU,EAAE;wBACV,IAAI,EAAE,sBAA+B;wBACrC,UAAU,EAAE,KAAK;qBAClB;oBACD,UAAU,EAAE,KAAK;iBAClB;gBACD,SAAS,EAAE,EAAE;aACd;SACF,CAAC;QAEF,MAAM,CAAC,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC5E,MAAM,CAAC,+BAA+B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAC/D,SAAS,CACV,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,mBAAmB,GAAW;YAClC,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,iBAAiB;SACxB,CAAC;QACF,MAAM,UAAU,GAAW;YACzB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;SACf,CAAC;QACF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG;YACd,IAAI,EAAE,gBAAyB;YAC/B,IAAI,EAAE,cAAc,CAAC,yCAAyC,EAAE;gBAC9D,cAAc,CAAC,iBAAiB,CAAC;gBACjC,cAAc,CAAC,QAAQ,CAAC;aACzB,CAAC;YACF,UAAU,EAAE,EAAE,IAAI,EAAE,sBAA+B,EAAE,UAAU,EAAE,GAAG,EAAE;SACvE,CAAC;QAEF,MAAM,eAAe,GAAW;YAC9B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,mBAAmB,EAAE,UAAU,CAAC;YACxC,kBAAkB,EAAE,kBAAkB;SACvC,CAAC;QAEF,MAAM,CAAC,6BAA6B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CACnE,eAAe,CAChB,CAAC;QACF,MAAM,CAAC,+BAA+B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CACrE,eAAe,CAChB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,mBAAmB,GAAW;YAClC,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,iBAAiB;SACxB,CAAC;QACF,MAAM,UAAU,GAAW;YACzB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;SACf,CAAC;QACF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG;YACf,IAAI,EAAE,sBAA+B;YACrC,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAiC;gBACvC,UAAU,EAAE;oBACV,IAAI,EAAE,sBAA+B;oBACrC,UAAU,EAAE,SAAS;iBACtB;gBACD,UAAU,EAAE,OAAO;aACpB;YACD,aAAa,EAAE;gBACb,cAAc,CAAC,yCAAyC,EAAE;oBACxD,cAAc,CAAC,iBAAiB,CAAC;oBACjC,cAAc,CAAC,QAAQ,CAAC;iBACzB,CAAC;aACH;YACD,SAAS,EAAE,EAAE;SACd,CAAC;QAEF,MAAM,eAAe,GAAW;YAC9B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,mBAAmB,EAAE,UAAU,CAAC;YACxC,kBAAkB,EAAE,kBAAkB;SACvC,CAAC;QAEF,MAAM,CAAC,6BAA6B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CACpE,eAAe,CAChB,CAAC;QACF,MAAM,CAAC,+BAA+B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CACtE,eAAe,CAChB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"expected-type-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/expected-type-matching.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;
|
|
1
|
+
{"version":3,"file":"expected-type-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/expected-type-matching.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AA2DrD,eAAO,MAAM,gCAAgC,GAC3C,YAAY,MAAM,EAClB,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,OAUF,CAAC;AAeF,eAAO,MAAM,8BAA8B,GACzC,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,OAuBF,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,OAoDF,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,OAgDF,CAAC"}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { isAssignableToType } from "./type-compatibility.js";
|
|
2
2
|
import { resolveComparableType } from "./comparable-types.js";
|
|
3
3
|
import { isDefinitelyValueType, splitRuntimeNullishUnionMembers, } from "./type-resolution.js";
|
|
4
4
|
import { unwrapParameterModifierType } from "./parameter-modifier-types.js";
|
|
@@ -29,8 +29,7 @@ const isBroadObjectEmissionSink = (type, context) => {
|
|
|
29
29
|
if (resolved.kind !== "unionType") {
|
|
30
30
|
return false;
|
|
31
31
|
}
|
|
32
|
-
const nonNullishMembers = splitRuntimeNullishUnionMembers(resolved)
|
|
33
|
-
?.nonNullishMembers;
|
|
32
|
+
const nonNullishMembers = splitRuntimeNullishUnionMembers(resolved)?.nonNullishMembers;
|
|
34
33
|
const members = nonNullishMembers ?? resolved.types;
|
|
35
34
|
return (members.length > 0 &&
|
|
36
35
|
members.every((member) => isBroadObjectEmissionSink(member, context)));
|
|
@@ -43,7 +42,7 @@ export const requiresValueTypeMaterialization = (actualType, expectedType, conte
|
|
|
43
42
|
const resolvedExpected = resolveComparableType(expectedType, context);
|
|
44
43
|
return isDefinitelyValueType(resolvedExpected);
|
|
45
44
|
};
|
|
46
|
-
const matchesRawSemanticComparableTypes = (actualComparableType, expectedComparableType, context) =>
|
|
45
|
+
const matchesRawSemanticComparableTypes = (actualComparableType, expectedComparableType, context) => isAssignableToType(actualComparableType, expectedComparableType, context) ||
|
|
47
46
|
runtimeUnionMemberCanAcceptValue(expectedComparableType, actualComparableType, context) ||
|
|
48
47
|
areIrTypesEquivalent(actualComparableType, expectedComparableType, context);
|
|
49
48
|
export const matchesRawSemanticExpectedType = (actualType, expectedType, context) => {
|
|
@@ -69,7 +68,7 @@ export const matchesSemanticExpectedType = (actualType, expectedType, context) =
|
|
|
69
68
|
const resolvedActualComparableType = resolveComparableType(actualComparableType, context);
|
|
70
69
|
const resolvedExpectedComparableType = resolveComparableType(expectedComparableType, context);
|
|
71
70
|
if (matchesRawSemanticComparableTypes(actualComparableType, expectedComparableType, context) ||
|
|
72
|
-
|
|
71
|
+
isAssignableToType(resolvedActualComparableType, resolvedExpectedComparableType, context) ||
|
|
73
72
|
runtimeUnionMemberCanAcceptValue(resolvedExpectedComparableType, resolvedActualComparableType, context)) {
|
|
74
73
|
return true;
|
|
75
74
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"expected-type-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/expected-type-matching.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"expected-type-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/expected-type-matching.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EACL,qBAAqB,EACrB,+BAA+B,GAChC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AACrF,OAAO,EAAE,gCAAgC,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EACL,2BAA2B,EAC3B,sCAAsC,GACvC,MAAM,wBAAwB,CAAC;AAEhC,MAAM,kCAAkC,GAAG,IAAI,GAAG,CAAC;IACjD,eAAe;IACf,uBAAuB;IACvB,wBAAwB;IACxB,gCAAgC;CACjC,CAAC,CAAC;AAEH,MAAM,uBAAuB,GAAG,CAAC,IAAY,EAAW,EAAE,CACxD,+BAA+B,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IACxE,EAAE,iBAAiB,IAAI,KAAK,CAAC;AAEjC,MAAM,gCAAgC,GAAG,CAAC,IAAY,EAAW,EAAE,CACjE,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACrB,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,2BAA2B,CAAC,IAAI,EAAE,kCAAkC,CAAC,CAAC,CAAC;AAE3E,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,gCAAgC,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,iBAAiB,GACrB,+BAA+B,CAAC,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC/D,MAAM,OAAO,GAAG,iBAAiB,IAAI,QAAQ,CAAC,KAAK,CAAC;IACpD,OAAO,CACL,OAAO,CAAC,MAAM,GAAG,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,yBAAyB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CACtE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,UAAkB,EAClB,YAAoB,EACpB,OAAuB,EACd,EAAE;IACX,IACE,CAAC,uBAAuB,CAAC,UAAU,CAAC;QACpC,uBAAuB,CAAC,YAAY,CAAC,EACrC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACtE,OAAO,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,oBAA4B,EAC5B,sBAA8B,EAC9B,OAAuB,EACd,EAAE,CACX,kBAAkB,CAAC,oBAAoB,EAAE,sBAAsB,EAAE,OAAO,CAAC;IACzE,gCAAgC,CAC9B,sBAAsB,EACtB,oBAAoB,EACpB,OAAO,CACR;IACD,oBAAoB,CAAC,oBAAoB,EAAE,sBAAsB,EAAE,OAAO,CAAC,CAAC;AAE9E,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,oBAAoB,GACxB,2BAA2B,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC;IACxD,MAAM,sBAAsB,GAC1B,2BAA2B,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC;IAC5D,IACE,sCAAsC,CACpC,oBAAoB,EACpB,sBAAsB,CACvB,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,iCAAiC,CACtC,oBAAoB,EACpB,sBAAsB,EACtB,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,oBAAoB,GACxB,2BAA2B,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC;IACxD,MAAM,sBAAsB,GAC1B,2BAA2B,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC;IAC5D,IACE,sCAAsC,CACpC,oBAAoB,EACpB,sBAAsB,CACvB,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,4BAA4B,GAAG,qBAAqB,CACxD,oBAAoB,EACpB,OAAO,CACR,CAAC;IACF,MAAM,8BAA8B,GAAG,qBAAqB,CAC1D,sBAAsB,EACtB,OAAO,CACR,CAAC;IAEF,IACE,iCAAiC,CAC/B,oBAAoB,EACpB,sBAAsB,EACtB,OAAO,CACR;QACD,kBAAkB,CAChB,4BAA4B,EAC5B,8BAA8B,EAC9B,OAAO,CACR;QACD,gCAAgC,CAC9B,8BAA8B,EAC9B,4BAA4B,EAC5B,OAAO,CACR,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,oBAAoB,CACzB,4BAA4B,EAC5B,8BAA8B,EAC9B,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,oBAAoB,GACxB,2BAA2B,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC;IACxD,MAAM,sBAAsB,GAC1B,2BAA2B,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC;IAE5D,MAAM,cAAc,GAClB,gCAAgC,CAAC,oBAAoB,EAAE,OAAO,CAAC;QAC/D,gCAAgC,CAC9B,qBAAqB,CAAC,oBAAoB,EAAE,OAAO,CAAC,EACpD,OAAO,CACR,CAAC;IACJ,MAAM,gBAAgB,GACpB,gCAAgC,CAAC,sBAAsB,EAAE,OAAO,CAAC;QACjE,gCAAgC,CAC9B,qBAAqB,CAAC,sBAAsB,EAAE,OAAO,CAAC,EACtD,OAAO,CACR,CAAC;IACJ,IACE,cAAc;QACd,cAAc,KAAK,gBAAgB;QACnC,CAAC,yBAAyB,CAAC,sBAAsB,EAAE,OAAO,CAAC,EAC3D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,gBAAgB,IAAI,cAAc,KAAK,gBAAgB,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,gCAAgC,CAC9B,oBAAoB,EACpB,sBAAsB,EACtB,OAAO,CACR,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,2BAA2B,CAChC,oBAAoB,EACpB,sBAAsB,EACtB,OAAO,CACR,CAAC;AACJ,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"implicit-interfaces.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/implicit-interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAYpE,MAAM,MAAM,gCAAgC,GAAG;IAC7C,QAAQ,CAAC,eAAe,EAAE,OAAO,CAC/B,iBAAiB,EACjB;QAAE,IAAI,EAAE,mBAAmB,CAAA;KAAE,CAC9B,CAAC;IACF,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,aAAa,EAAE;QAAE,IAAI,EAAE,qBAAqB,CAAA;KAAE,CAAC,CAAC;CAC/E,CAAC;AAEF,MAAM,MAAM,8BAA8B,GAAG;IAC3C,QAAQ,CAAC,eAAe,EAAE,OAAO,CAC/B,iBAAiB,EACjB;QAAE,IAAI,EAAE,iBAAiB,CAAA;KAAE,CAC5B,CAAC;IACF,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,aAAa,EAAE;QAAE,IAAI,EAAE,mBAAmB,CAAA;KAAE,CAAC,CAAC;CAC7E,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,eAAe,CAAA;KAAE,CAAC,CAAC;IACzD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,aAAa,EAAE;QAAE,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC;IAC7D,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,eAAe,EAAE,SAAS,gCAAgC,EAAE,CAAC;IACtE,QAAQ,CAAC,aAAa,EAAE,SAAS,8BAA8B,EAAE,CAAC;CACnE,CAAC;AA6WF,eAAO,MAAM,sCAAsC,GACjD,WAAW,MAAM,EACjB,oBAAoB,SAAS,MAAM,EAAE,EACrC,SAAS,cAAc,KACtB,SAAS,wBAAwB,
|
|
1
|
+
{"version":3,"file":"implicit-interfaces.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/implicit-interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAYpE,MAAM,MAAM,gCAAgC,GAAG;IAC7C,QAAQ,CAAC,eAAe,EAAE,OAAO,CAC/B,iBAAiB,EACjB;QAAE,IAAI,EAAE,mBAAmB,CAAA;KAAE,CAC9B,CAAC;IACF,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,aAAa,EAAE;QAAE,IAAI,EAAE,qBAAqB,CAAA;KAAE,CAAC,CAAC;CAC/E,CAAC;AAEF,MAAM,MAAM,8BAA8B,GAAG;IAC3C,QAAQ,CAAC,eAAe,EAAE,OAAO,CAC/B,iBAAiB,EACjB;QAAE,IAAI,EAAE,iBAAiB,CAAA;KAAE,CAC5B,CAAC;IACF,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,aAAa,EAAE;QAAE,IAAI,EAAE,mBAAmB,CAAA;KAAE,CAAC,CAAC;CAC7E,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,eAAe,CAAA;KAAE,CAAC,CAAC;IACzD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,aAAa,EAAE;QAAE,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC;IAC7D,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,eAAe,EAAE,SAAS,gCAAgC,EAAE,CAAC;IACtE,QAAQ,CAAC,aAAa,EAAE,SAAS,8BAA8B,EAAE,CAAC;CACnE,CAAC;AA6WF,eAAO,MAAM,sCAAsC,GACjD,WAAW,MAAM,EACjB,oBAAoB,SAAS,MAAM,EAAE,EACrC,SAAS,cAAc,KACtB,SAAS,wBAAwB,EAiDnC,CAAC;AAEF,eAAO,MAAM,kCAAkC,GAC7C,WAAW,MAAM,EACjB,oBAAoB,SAAS,MAAM,EAAE,EACrC,SAAS,cAAc,KACtB,SAAS,MAAM,EAGY,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"implicit-interfaces.js","sourceRoot":"","sources":["../../../src/core/semantic/implicit-interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,gBAAgB,GAIjB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAkC7D,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AAE/C,MAAM,oBAAoB,GAAG,CAC3B,GAA+C,EACvC,EAAE;IACV,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAChD,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACxB,CAAC;IACD,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClD,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,SAAiB,EACjB,IAAY,EACZ,SAAsD,EACV,EAAE,CAAC,CAAC;IAChD,GAAG,SAAS;IACZ,IAAI,EAAE,eAAe;IACrB,IAAI;IACJ,eAAe,EACb,SAAS,EAAE,MAAM,EAAE,OAAO;QAC1B,CAAC,SAAS,EAAE,eAAe;YAC3B,iBAAiB,CACf,SAAS,CAAC,eAAe,EACzB,SAAS,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CACrC;gBACC,iBAAiB,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC;YACvE,CAAC,CAAC,SAAS,CAAC,eAAe;YAC3B,CAAC,CAAC,SAAS,CAAC;QACd,GAAG,SAAS,IAAI,IAAI,EAAE;CACzB,CAAC,CAAC;AAEH,MAAM,yBAAyB,GAAG,CAChC,MAAyB,EAC4C,EAAE,CACvE,MAAM,CAAC,IAAI,KAAK,mBAAmB;IACnC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;AAE5C,MAAM,yBAAyB,GAAG,CAChC,MAAyB,EACzB,kBAAqC,EACrC,aAAgC,EACb,EAAE;IACrB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,OAAO;YACL,GAAG,MAAM;YACT,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,IAAI,EAAE,kBAAkB,EAAE,aAAa,CAAC;SACzE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,MAAM;QACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAChD,GAAG,SAAS;YACZ,IAAI,EAAE,SAAS,CAAC,IAAI;gBAClB,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,EAAE,kBAAkB,EAAE,aAAa,CAAC;gBACvE,CAAC,CAAC,SAAS;SACd,CAAC,CAAC;QACH,UAAU,EAAE,MAAM,CAAC,UAAU;YAC3B,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,kBAAkB,EAAE,aAAa,CAAC;YAC1E,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,IAAmD,EACnD,GAAgD,EACD,EAAE;IACjD,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CACzC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAC/C,CAAC;IACF,MAAM,aAAa,GAAG,GAAG,EAAE,aAAa,IAAI,EAAE,CAAC;IAC/C,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,OAAO,eAAe,KAAK,IAAI,CAAC,OAAO;YACrC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;IAC5C,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,OAAO,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtC,yBAAyB,CAAC,MAAM,EAAE,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,CACtE;QACD,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACjC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,CAC7D;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAAC,MAAqB,EAAW,EAAE;IACrE,IAAI,MAAM,CAAC,IAAI,KAAK,wBAAwB;QAAE,OAAO,KAAK,CAAC;IAC3D,IAAI,MAAM,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAClC,IACE,MAAM,CAAC,aAAa,KAAK,SAAS;QAClC,MAAM,CAAC,aAAa,KAAK,WAAW,EACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,MAA0B,EAC1B,MAA0B,EAC1B,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;QAAE,OAAO,MAAM,KAAK,MAAM,CAAC;IACjD,OAAO,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,oCAAoC,GAAG,CAC3C,cAAgE,EACvB,EAAE;IAC3C,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,aAAa;YAAE,SAAS;QAC7B,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE;YACnC,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,YAAY,KAAK,EAAE;SAC1B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IAAwB,EACxB,cAAgE,EAC5C,EAAE;IACtB,MAAM,YAAY,GAAG,oCAAoC,CAAC,cAAc,CAAC,CAAC;IAC1E,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,IAA+C,EACrB,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,2BAA2B,CAAC,CAAC;AAEhF,MAAM,sBAAsB,GAAG,CAC7B,OAAiC,EACjC,MAAiE,EACjE,WAAwB,EACxB,OAAuB,EAC8C,EAAE;IACvE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,EAAE,IAAI,KAAK,qBAAqB;YAAE,SAAS;QACrD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;YAAE,SAAS;QAC1C,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;YAAE,SAAS;QAChE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,OAAiC,EACjC,MAA+D,EAC/D,WAAwB,EACxB,OAAuB,EAC4C,EAAE;IACrE,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,oBAAoB,GAAG,MAAM,CAAC,cAAc,CAAC;IACnD,MAAM,gBAAgB,GAAG,sBAAsB,CAC7C,MAAM,CAAC,UAAU,IAAI,SAAS,EAC9B,oBAAoB,CACrB,CAAC;IAEF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,EAAE,IAAI,KAAK,mBAAmB;YAAE,SAAS;QACnD,IAAI,qBAAqB,CAAC,MAAM,CAAC,KAAK,UAAU;YAAE,SAAS;QAC3D,IACE,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC;YACpC,CAAC,oBAAoB,EAAE,MAAM,IAAI,CAAC,CAAC,EACnC,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;YAC1D,SAAS;QACX,CAAC;QAED,MAAM,oBAAoB,GAAG,MAAM,CAAC,cAAc,CAAC;QACnD,IAAI,eAAe,GAAG,IAAI,CAAC;QAC3B,KACE,IAAI,UAAU,GAAG,CAAC,EAClB,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EACrC,UAAU,IAAI,CAAC,EACf,CAAC;YACD,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAClD,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAClD,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjC,eAAe,GAAG,KAAK,CAAC;gBACxB,MAAM;YACR,CAAC;YAED,IACE,WAAW,CAAC,UAAU,KAAK,WAAW,CAAC,UAAU;gBACjD,WAAW,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;gBACzC,WAAW,CAAC,OAAO,KAAK,WAAW,CAAC,OAAO,EAC3C,CAAC;gBACD,eAAe,GAAG,KAAK,CAAC;gBACxB,MAAM;YACR,CAAC;YAED,IACE,CAAC,aAAa,CACZ,sBAAsB,CAAC,WAAW,CAAC,IAAI,EAAE,oBAAoB,CAAC,EAC9D,sBAAsB,CAAC,WAAW,CAAC,IAAI,EAAE,oBAAoB,CAAC,EAC9D,OAAO,CACR,EACD,CAAC;gBACD,eAAe,GAAG,KAAK,CAAC;gBACxB,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,SAAS;QACX,CAAC;QAED,IACE,CAAC,aAAa,CACZ,sBAAsB,CACpB,MAAM,CAAC,UAAU,IAAI,SAAS,EAC9B,oBAAoB,CACrB,EACD,gBAAgB,EAChB,OAAO,CACR,EACD,CAAC;YACD,SAAS;QACX,CAAC;QAED,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,SAAoD,EACpD,aAA4D,EAC5D,OAAuB,EAMX,EAAE;IACd,MAAM,YAAY,GAAG,6BAA6B,CAAC,SAAS,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAuC,EAAE,CAAC;IAC/D,MAAM,aAAa,GAAqC,EAAE,CAAC;IAC3D,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE5C,KAAK,MAAM,MAAM,IAAI,aAAa,CAAC,OAAO,EAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,MAAM,EACN,mBAAmB,EACnB,OAAO,CACR,CAAC;YACF,IAAI,CAAC,WAAW;gBAAE,OAAO,SAAS,CAAC;YACnC,eAAe,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;YAC/D,SAAS;QACX,CAAC;QAED,MAAM,WAAW,GAAG,oBAAoB,CACtC,YAAY,EACZ,MAAM,EACN,iBAAiB,EACjB,OAAO,CACR,CAAC;QACF,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QACnC,aAAa,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,SAAiB,EACjB,OAAuB,EACQ,EAAE;IACjC,MAAM,UAAU,GAAG,IAAI,GAAG,EAA8B,CAAC;IACzD,MAAM,gBAAgB,GACpB,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;IAE3D,MAAM,cAAc,GAAG,CACrB,SAAiB,EACjB,UAA0D,EACpD,EAAE;QACR,IAAI,CAAC,UAAU;YAAE,OAAO;QACxB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;YACtC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,SAAS;YAC9D,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;gBAAE,SAAS;YACrD,UAAU,CAAC,GAAG,CAAC,GAAG,SAAS,KAAK,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC,CAAC;IAEF,cAAc,CAAC,gBAAgB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACrD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACnE,cAAc,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,SAAoD,EACpD,kBAAqC,EACrC,OAAuB,EACc,EAAE;IACvC,MAAM,OAAO,GAA+B,EAAE,CAAC;IAE/C,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;YAAE,SAAS;QAE5C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QAE9D,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,iBAAiB,GAAG,6BAA6B,CACrD,QAAQ,CAAC,IAAI,EACb,IAAI,CACL,CAAC;QACF,MAAM,OAAO,GAAG,wBAAwB,CACtC,SAAS,EACT,iBAAiB,EACjB,OAAO,CACR,CAAC;QACF,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,OAAO,CAAC,IAAI,CAAC;YACX,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,IAAI;YACJ,GAAG,EAAE,0BAA0B,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC;YAC/D,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,IAAI;YAChB,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,aAAa,EAAE,OAAO,CAAC,aAAa;SACrC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,SAAiB,EACjB,kBAAqC,EACrC,OAAuB,EACc,EAAE;IACvC,MAAM,gBAAgB,GACpB,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;IAC3D,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IACrD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IAExD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC7D,KAAK,MAAM,KAAK,IAAI,+BAA+B,CACjD,SAAS,EACT,kBAAkB,EAClB,OAAO,CACR,EAAE,CAAC;QACF,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3D,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,0BAA0B,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;QACvE,MAAM,GAAG,GAAG,GAAG,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;QACxD,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAEhC,MAAM,OAAO,GAAG,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7E,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE;YAChB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,GAAG,EAAE,0BAA0B,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC;YACpE,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,UAAU,EAAE,KAAK;YACjB,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,aAAa,EAAE,OAAO,CAAC,aAAa;SACrC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACjD,KAAK,CAAC,SAAS,KAAK,gBAAgB;QAClC,CAAC,CAAC;YACE,GAAG,KAAK;YACR,GAAG,EAAE,0BAA0B,CAC7B,KAAK,CAAC,SAAS,EACf,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,GAAG,CACV;SACF;QACH,CAAC,CAAC,KAAK,CACV,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,SAAiB,EACjB,kBAAqC,EACrC,OAAuB,EACJ,EAAE,CACrB,sCAAsC,CAAC,SAAS,EAAE,kBAAkB,EAAE,OAAO,CAAC;KAC3E,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC;KACpC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"implicit-interfaces.js","sourceRoot":"","sources":["../../../src/core/semantic/implicit-interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,gBAAgB,GAIjB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAkC7D,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AAE/C,MAAM,oBAAoB,GAAG,CAC3B,GAA+C,EACvC,EAAE;IACV,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAChD,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACxB,CAAC;IACD,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClD,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,SAAiB,EACjB,IAAY,EACZ,SAAsD,EACV,EAAE,CAAC,CAAC;IAChD,GAAG,SAAS;IACZ,IAAI,EAAE,eAAe;IACrB,IAAI;IACJ,eAAe,EACb,SAAS,EAAE,MAAM,EAAE,OAAO;QAC1B,CAAC,SAAS,EAAE,eAAe;YAC3B,iBAAiB,CACf,SAAS,CAAC,eAAe,EACzB,SAAS,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CACrC;gBACC,iBAAiB,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC;YACvE,CAAC,CAAC,SAAS,CAAC,eAAe;YAC3B,CAAC,CAAC,SAAS,CAAC;QACd,GAAG,SAAS,IAAI,IAAI,EAAE;CACzB,CAAC,CAAC;AAEH,MAAM,yBAAyB,GAAG,CAChC,MAAyB,EAC4C,EAAE,CACvE,MAAM,CAAC,IAAI,KAAK,mBAAmB;IACnC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;AAE5C,MAAM,yBAAyB,GAAG,CAChC,MAAyB,EACzB,kBAAqC,EACrC,aAAgC,EACb,EAAE;IACrB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,OAAO;YACL,GAAG,MAAM;YACT,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,IAAI,EAAE,kBAAkB,EAAE,aAAa,CAAC;SACzE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,MAAM;QACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAChD,GAAG,SAAS;YACZ,IAAI,EAAE,SAAS,CAAC,IAAI;gBAClB,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,EAAE,kBAAkB,EAAE,aAAa,CAAC;gBACvE,CAAC,CAAC,SAAS;SACd,CAAC,CAAC;QACH,UAAU,EAAE,MAAM,CAAC,UAAU;YAC3B,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,kBAAkB,EAAE,aAAa,CAAC;YAC1E,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,IAAmD,EACnD,GAAgD,EACD,EAAE;IACjD,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CACzC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAC/C,CAAC;IACF,MAAM,aAAa,GAAG,GAAG,EAAE,aAAa,IAAI,EAAE,CAAC;IAC/C,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,OAAO,eAAe,KAAK,IAAI,CAAC,OAAO;YACrC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;IAC5C,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,OAAO,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtC,yBAAyB,CAAC,MAAM,EAAE,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,CACtE;QACD,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACjC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,CAC7D;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAAC,MAAqB,EAAW,EAAE;IACrE,IAAI,MAAM,CAAC,IAAI,KAAK,wBAAwB;QAAE,OAAO,KAAK,CAAC;IAC3D,IAAI,MAAM,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAClC,IACE,MAAM,CAAC,aAAa,KAAK,SAAS;QAClC,MAAM,CAAC,aAAa,KAAK,WAAW,EACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,MAA0B,EAC1B,MAA0B,EAC1B,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;QAAE,OAAO,MAAM,KAAK,MAAM,CAAC;IACjD,OAAO,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,oCAAoC,GAAG,CAC3C,cAAgE,EACvB,EAAE;IAC3C,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,aAAa;YAAE,SAAS;QAC7B,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE;YACnC,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,YAAY,KAAK,EAAE;SAC1B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IAAwB,EACxB,cAAgE,EAC5C,EAAE;IACtB,MAAM,YAAY,GAAG,oCAAoC,CAAC,cAAc,CAAC,CAAC;IAC1E,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,IAA+C,EACrB,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,2BAA2B,CAAC,CAAC;AAEhF,MAAM,sBAAsB,GAAG,CAC7B,OAAiC,EACjC,MAAiE,EACjE,WAAwB,EACxB,OAAuB,EAC8C,EAAE;IACvE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,EAAE,IAAI,KAAK,qBAAqB;YAAE,SAAS;QACrD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;YAAE,SAAS;QAC1C,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;YAAE,SAAS;QAChE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,OAAiC,EACjC,MAA+D,EAC/D,WAAwB,EACxB,OAAuB,EAC4C,EAAE;IACrE,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,oBAAoB,GAAG,MAAM,CAAC,cAAc,CAAC;IACnD,MAAM,gBAAgB,GAAG,sBAAsB,CAC7C,MAAM,CAAC,UAAU,IAAI,SAAS,EAC9B,oBAAoB,CACrB,CAAC;IAEF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,EAAE,IAAI,KAAK,mBAAmB;YAAE,SAAS;QACnD,IAAI,qBAAqB,CAAC,MAAM,CAAC,KAAK,UAAU;YAAE,SAAS;QAC3D,IACE,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC;YACpC,CAAC,oBAAoB,EAAE,MAAM,IAAI,CAAC,CAAC,EACnC,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;YAC1D,SAAS;QACX,CAAC;QAED,MAAM,oBAAoB,GAAG,MAAM,CAAC,cAAc,CAAC;QACnD,IAAI,eAAe,GAAG,IAAI,CAAC;QAC3B,KACE,IAAI,UAAU,GAAG,CAAC,EAClB,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EACrC,UAAU,IAAI,CAAC,EACf,CAAC;YACD,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAClD,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAClD,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjC,eAAe,GAAG,KAAK,CAAC;gBACxB,MAAM;YACR,CAAC;YAED,IACE,WAAW,CAAC,UAAU,KAAK,WAAW,CAAC,UAAU;gBACjD,WAAW,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;gBACzC,WAAW,CAAC,OAAO,KAAK,WAAW,CAAC,OAAO,EAC3C,CAAC;gBACD,eAAe,GAAG,KAAK,CAAC;gBACxB,MAAM;YACR,CAAC;YAED,IACE,CAAC,aAAa,CACZ,sBAAsB,CAAC,WAAW,CAAC,IAAI,EAAE,oBAAoB,CAAC,EAC9D,sBAAsB,CAAC,WAAW,CAAC,IAAI,EAAE,oBAAoB,CAAC,EAC9D,OAAO,CACR,EACD,CAAC;gBACD,eAAe,GAAG,KAAK,CAAC;gBACxB,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,SAAS;QACX,CAAC;QAED,IACE,CAAC,aAAa,CACZ,sBAAsB,CACpB,MAAM,CAAC,UAAU,IAAI,SAAS,EAC9B,oBAAoB,CACrB,EACD,gBAAgB,EAChB,OAAO,CACR,EACD,CAAC;YACD,SAAS;QACX,CAAC;QAED,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,SAAoD,EACpD,aAA4D,EAC5D,OAAuB,EAMX,EAAE;IACd,MAAM,YAAY,GAAG,6BAA6B,CAAC,SAAS,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAuC,EAAE,CAAC;IAC/D,MAAM,aAAa,GAAqC,EAAE,CAAC;IAC3D,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE5C,KAAK,MAAM,MAAM,IAAI,aAAa,CAAC,OAAO,EAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,MAAM,EACN,mBAAmB,EACnB,OAAO,CACR,CAAC;YACF,IAAI,CAAC,WAAW;gBAAE,OAAO,SAAS,CAAC;YACnC,eAAe,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;YAC/D,SAAS;QACX,CAAC;QAED,MAAM,WAAW,GAAG,oBAAoB,CACtC,YAAY,EACZ,MAAM,EACN,iBAAiB,EACjB,OAAO,CACR,CAAC;QACF,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QACnC,aAAa,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,SAAiB,EACjB,OAAuB,EACQ,EAAE;IACjC,MAAM,UAAU,GAAG,IAAI,GAAG,EAA8B,CAAC;IACzD,MAAM,gBAAgB,GACpB,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;IAE3D,MAAM,cAAc,GAAG,CACrB,SAAiB,EACjB,UAA0D,EACpD,EAAE;QACR,IAAI,CAAC,UAAU;YAAE,OAAO;QACxB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;YACtC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,SAAS;YAC9D,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;gBAAE,SAAS;YACrD,UAAU,CAAC,GAAG,CAAC,GAAG,SAAS,KAAK,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC,CAAC;IAEF,cAAc,CAAC,gBAAgB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACrD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACnE,cAAc,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,SAAoD,EACpD,kBAAqC,EACrC,OAAuB,EACc,EAAE;IACvC,MAAM,OAAO,GAA+B,EAAE,CAAC;IAE/C,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;YAAE,SAAS;QAE5C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QAE9D,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,iBAAiB,GAAG,6BAA6B,CACrD,QAAQ,CAAC,IAAI,EACb,IAAI,CACL,CAAC;QACF,MAAM,OAAO,GAAG,wBAAwB,CACtC,SAAS,EACT,iBAAiB,EACjB,OAAO,CACR,CAAC;QACF,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,OAAO,CAAC,IAAI,CAAC;YACX,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,IAAI;YACJ,GAAG,EAAE,0BAA0B,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC;YAC/D,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,IAAI;YAChB,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,aAAa,EAAE,OAAO,CAAC,aAAa;SACrC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,SAAiB,EACjB,kBAAqC,EACrC,OAAuB,EACc,EAAE;IACvC,MAAM,gBAAgB,GACpB,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;IAC3D,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IACrD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IAExD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC7D,KAAK,MAAM,KAAK,IAAI,+BAA+B,CACjD,SAAS,EACT,kBAAkB,EAClB,OAAO,CACR,EAAE,CAAC;QACF,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3D,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,0BAA0B,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;QACvE,MAAM,GAAG,GAAG,GAAG,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;QACxD,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAEhC,MAAM,OAAO,GAAG,wBAAwB,CACtC,SAAS,EACT,SAAS,CAAC,IAAI,EACd,OAAO,CACR,CAAC;QACF,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE;YAChB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,GAAG,EAAE,0BAA0B,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC;YACpE,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,UAAU,EAAE,KAAK;YACjB,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,aAAa,EAAE,OAAO,CAAC,aAAa;SACrC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACjD,KAAK,CAAC,SAAS,KAAK,gBAAgB;QAClC,CAAC,CAAC;YACE,GAAG,KAAK;YACR,GAAG,EAAE,0BAA0B,CAC7B,KAAK,CAAC,SAAS,EACf,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,GAAG,CACV;SACF;QACH,CAAC,CAAC,KAAK,CACV,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,SAAiB,EACjB,kBAAqC,EACrC,OAAuB,EACJ,EAAE,CACrB,sCAAsC,CAAC,SAAS,EAAE,kBAAkB,EAAE,OAAO,CAAC;KAC3E,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC;KACpC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC"}
|