@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
|
@@ -5,18 +5,9 @@
|
|
|
5
5
|
* scope management, class/interface map builders, and property-owner chain
|
|
6
6
|
* traversal helpers used by the expression visitor and statement visitors.
|
|
7
7
|
*/
|
|
8
|
+
import { contextSurfaceIncludesJs } from "../../types.js";
|
|
8
9
|
import { resolveTypeAlias, stripNullish } from "./type-resolution.js";
|
|
9
|
-
|
|
10
|
-
"push",
|
|
11
|
-
"pop",
|
|
12
|
-
"shift",
|
|
13
|
-
"unshift",
|
|
14
|
-
"splice",
|
|
15
|
-
"sort",
|
|
16
|
-
"reverse",
|
|
17
|
-
"fill",
|
|
18
|
-
"copyWithin",
|
|
19
|
-
]);
|
|
10
|
+
import { JS_ARRAY_MUTATING_METHODS } from "./js-array-surface-members.js";
|
|
20
11
|
export const propertySlotKey = (typeName, propertyName) => `${typeName}::${propertyName}`;
|
|
21
12
|
export const collectPatternNames = (pattern) => {
|
|
22
13
|
switch (pattern.kind) {
|
|
@@ -174,7 +165,8 @@ export const checkArrayMutationOnCall = (expr, context, classes, interfaces, top
|
|
|
174
165
|
expr.callee.kind !== "memberAccess" ||
|
|
175
166
|
expr.callee.isComputed ||
|
|
176
167
|
typeof expr.callee.property !== "string" ||
|
|
177
|
-
!
|
|
168
|
+
!contextSurfaceIncludesJs(context) ||
|
|
169
|
+
!JS_ARRAY_MUTATING_METHODS.has(expr.callee.property)) {
|
|
178
170
|
return;
|
|
179
171
|
}
|
|
180
172
|
const receiver = expr.callee.object;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"mutable-storage-helpers.js","sourceRoot":"","sources":["../../../src/core/semantic/mutable-storage-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;
|
|
1
|
+
{"version":3,"file":"mutable-storage-helpers.js","sourceRoot":"","sources":["../../../src/core/semantic/mutable-storage-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAWH,OAAO,EAAE,wBAAwB,EAAuB,MAAM,gBAAgB,CAAC;AAC/E,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAoB1E,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,QAAgB,EAChB,YAAoB,EACZ,EAAE,CAAC,GAAG,QAAQ,KAAK,YAAY,EAAE,CAAC;AAE5C,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAkB,EAAqB,EAAE;IAC3E,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,mBAAmB;YACtB,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxB,KAAK,cAAc;YACjB,OAAO,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAC1C,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CACpD,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC7C,QAAQ,CAAC,IAAI,KAAK,UAAU;gBAC1B,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACrC,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAC1C,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,MAAgB,EACK,EAAE;IACvB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;YAAE,SAAS;QAClD,IAAI,IAAI,CAAC,eAAe,KAAK,OAAO;YAAE,SAAS;QAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,QAAgB,EACG,EAAE;IACrB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACnC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7D,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,MAAgB,EACyB,EAAE,CAC3C,IAAI,GAAG,CACL,MAAM,CAAC,IAAI;KACR,MAAM,CACL,CAAC,IAAI,EAA8B,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,CACvE;KACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CACpC,CAAC;AAEJ,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAAgB,EAC6B,EAAE,CAC/C,IAAI,GAAG,CACL,MAAM,CAAC,IAAI;KACR,MAAM,CACL,CAAC,IAAI,EAAkC,EAAE,CACvC,IAAI,CAAC,IAAI,KAAK,sBAAsB,CACvC;KACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CACpC,CAAC;AAEJ,MAAM,wBAAwB,GAAG,CAC/B,IAAwB,EACxB,OAAuB,EACvB,OAAgD,EAChD,UAAuD,EACvD,OAAoB,IAAI,GAAG,EAAU,EAChB,EAAE;IACvB,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,GAAG,EAAU,CAAC;IAEpC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;YACjC,KAAK,MAAM,SAAS,IAAI,gCAAgC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxE,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;oBAAE,SAAS;gBAClC,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;oBACxD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;YACjC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;gBACnC,KAAK,MAAM,SAAS,IAAI,wBAAwB,CAC9C,KAAK,EACL,OAAO,EACP,OAAO,EACP,UAAU,EACV,IAAI,CACL,EAAE,CAAC;oBACF,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD;YACE,OAAO,IAAI,GAAG,EAAU,CAAC;IAC7B,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,SAAiB,EACjB,YAAoB,EACpB,OAAgD,EAChD,UAAuD,EACvD,OAAuB,EACvB,OAAoB,IAAI,GAAG,EAAU,EAChB,EAAE;IACvB,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,GAAG,EAAU,CAAC;IAClD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAEpB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,GAAG,EAAU,CAAC;IACpC,IACE,IAAI,CAAC,OAAO,CAAC,IAAI,CACf,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,qBAAqB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CACxE,EACD,CAAC;QACD,OAAO,IAAI,GAAG,CAAS,CAAC,SAAS,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,KAAK,MAAM,UAAU,IAAI,wBAAwB,CAC/C,IAAI,CAAC,UAAU,EACf,OAAO,EACP,OAAO,EACP,UAAU,CACX,EAAE,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,8BAA8B,CAChD,UAAU,EACV,YAAY,EACZ,OAAO,EACP,UAAU,EACV,OAAO,EACP,IAAI,CACL,EAAE,CAAC;gBACF,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,aAAqB,EACrB,YAAoB,EACpB,UAAuD,EACvD,OAAgD,EAChD,OAAuB,EACvB,OAAoB,IAAI,GAAG,EAAU,EAChB,EAAE;IACvB,IAAI,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC;QAAE,OAAO,IAAI,GAAG,EAAU,CAAC;IACtD,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAExB,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,GAAG,EAAU,CAAC;IACpC,IACE,IAAI,CAAC,OAAO,CAAC,IAAI,CACf,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CACtE,EACD,CAAC;QACD,OAAO,IAAI,GAAG,CAAS,CAAC,aAAa,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,KAAK,MAAM,UAAU,IAAI,wBAAwB,CAC/C,GAAG,EACH,OAAO,EACP,OAAO,EACP,UAAU,CACX,EAAE,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,kCAAkC,CACpD,UAAU,EACV,YAAY,EACZ,UAAU,EACV,OAAO,EACP,OAAO,EACP,IAAI,CACL,EAAE,CAAC;gBACF,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,YAAgC,EAChC,YAAoB,EACpB,OAAuB,EACvB,OAAgD,EAChD,UAAuD,EAClC,EAAE;IACvB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,QAAQ,IAAI,wBAAwB,CAC7C,YAAY,EACZ,OAAO,EACP,OAAO,EACP,UAAU,CACX,EAAE,CAAC;QACF,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,KAAK,MAAM,KAAK,IAAI,8BAA8B,CAChD,QAAQ,EACR,YAAY,EACZ,OAAO,EACP,UAAU,EACV,OAAO,CACR,EAAE,CAAC;gBACF,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,KAAK,MAAM,KAAK,IAAI,kCAAkC,CACpD,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,OAAO,EACP,OAAO,CACR,EAAE,CAAC;gBACF,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,MAAkB,EAAW,EAAE;IAC/D,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IACxC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,MAAkB,EAClB,QAA2B,EAAE,EACvB,EAAE;IACR,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,CAAS,KAAK,CAAC,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,MAAkB,EAAQ,EAAE;IACnD,MAAM,CAAC,GAAG,EAAE,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAAkB,EAClB,MAAkB,EACZ,EAAE;IACR,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1C,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAkB,EAClB,OAAuB,EACvB,OAAgD,EAChD,UAAuD,EACvD,qBAA0C,EAC1C,qBAAkC,EAClC,oBAAiC,EACjC,MAAkB,EACZ,EAAE;IACR,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;QACpB,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QACnC,IAAI,CAAC,MAAM,CAAC,UAAU;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QACxC,CAAC,wBAAwB,CAAC,OAAO,CAAC;QAClC,CAAC,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EACpD,CAAC;QACD,OAAO;IACT,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY;QACxC,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;QAChE,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,YAAY,EAAE,IAAI,KAAK,WAAW;QAAE,OAAO;IAE/C,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACnC,IACE,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YACxC,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,EAClC,CAAC;YACD,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;SAAM,IACL,QAAQ,CAAC,IAAI,KAAK,cAAc;QAChC,CAAC,QAAQ,CAAC,UAAU;QACpB,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ,EACrC,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,qBAAqB,CACvC,QAAQ,CAAC,MAAM,CAAC,YAAY,EAC5B,QAAQ,CAAC,QAAQ,EACjB,OAAO,EACP,OAAO,EACP,UAAU,CACX,EAAE,CAAC;YACF,oBAAoB,CAAC,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,iBAAqC,EACrC,YAAoB,EACpB,OAAuB,EACd,EAAE,CACX,CAAC,CAAC,iBAAiB;IACnB,CAAC,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAChC,eAAe,CAAC,iBAAiB,EAAE,YAAY,CAAC,CACjD;QACC,KAAK,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"naming-collisions.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/naming-collisions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAe,MAAM,kBAAkB,CAAC;AA4F1E,eAAO,MAAM,8BAA8B,GACzC,SAAS,SAAS,QAAQ,EAAE,KAC3B,SAAS,UAAU,
|
|
1
|
+
{"version":3,"file":"naming-collisions.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/naming-collisions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAe,MAAM,kBAAkB,CAAC;AA4F1E,eAAO,MAAM,8BAA8B,GACzC,SAAS,SAAS,QAAQ,EAAE,KAC3B,SAAS,UAAU,EAkLrB,CAAC"}
|
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
|
|
2
|
+
import { moduleBodyRequiresStaticContainerSuffix } from "./module-type-collisions.js";
|
|
2
3
|
const getCSharpIdentifier = (original) => {
|
|
3
4
|
return escapeCSharpIdentifier(original);
|
|
4
5
|
};
|
|
@@ -43,14 +44,13 @@ const collectInlineTypeNames = (stmt) => {
|
|
|
43
44
|
return items;
|
|
44
45
|
};
|
|
45
46
|
const collectContainerNameItem = (module) => {
|
|
46
|
-
const
|
|
47
|
-
s.name === module.className);
|
|
47
|
+
const hasContainerCollision = moduleBodyRequiresStaticContainerSuffix(module.body, module.className);
|
|
48
48
|
// The container is only emitted when there are static members.
|
|
49
49
|
const hasStaticMembers = module.body.some((s) => s.kind !== "classDeclaration" && s.kind !== "interfaceDeclaration");
|
|
50
50
|
if (!hasStaticMembers)
|
|
51
51
|
return undefined;
|
|
52
52
|
const base = escapeCSharpIdentifier(module.className);
|
|
53
|
-
const csharp =
|
|
53
|
+
const csharp = hasContainerCollision ? `${base}__Module` : base;
|
|
54
54
|
return {
|
|
55
55
|
original: module.className,
|
|
56
56
|
csharp,
|
|
@@ -107,6 +107,16 @@ export const validateNamingPolicyCollisions = (modules) => {
|
|
|
107
107
|
kind: "interface",
|
|
108
108
|
});
|
|
109
109
|
namespaceTypeItems.push(...collectInlineTypeNames(stmt));
|
|
110
|
+
continue;
|
|
111
|
+
}
|
|
112
|
+
if (stmt.kind === "typeAliasDeclaration" &&
|
|
113
|
+
stmt.type.kind === "unionType" &&
|
|
114
|
+
stmt.type.runtimeCarrierName) {
|
|
115
|
+
namespaceTypeItems.push({
|
|
116
|
+
original: stmt.name,
|
|
117
|
+
csharp: escapeCSharpIdentifier(stmt.type.runtimeCarrierName),
|
|
118
|
+
kind: "runtimeUnionCarrier",
|
|
119
|
+
});
|
|
110
120
|
}
|
|
111
121
|
}
|
|
112
122
|
const container = collectContainerNameItem(module);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"naming-collisions.js","sourceRoot":"","sources":["../../../src/core/semantic/naming-collisions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;
|
|
1
|
+
{"version":3,"file":"naming-collisions.js","sourceRoot":"","sources":["../../../src/core/semantic/naming-collisions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,uCAAuC,EAAE,MAAM,6BAA6B,CAAC;AAQtF,MAAM,mBAAmB,GAAG,CAAC,QAAgB,EAAU,EAAE;IACvD,OAAO,sBAAsB,CAAC,QAAQ,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,WAAyB,EACzB,KAA+B,EAC/B,KAAa,EACP,EAAE;IACR,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IACjD,CAAC;IAED,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;QACvC,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACjE,IAAI,aAAa,CAAC,MAAM,IAAI,CAAC;YAAE,SAAS;QAExC,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC;aACvB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACb,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;YACvB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9B,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CACzC;aACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC;aACvC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEd,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,OAAO;YACjB,OAAO,EACL,8BAA8B,KAAK,IAAI;gBACvC,GAAG,OAAO,8BAA8B,MAAM,KAAK;gBACnD,sDAAsD;SACzD,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IAA4D,EAClC,EAAE;IAC5B,MAAM,KAAK,GAAoB,EAAE,CAAC;IAElC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;YAAE,SAAS;QAClD,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,YAAY;YAAE,SAAS;QAEjD,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE;YACvC,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC;YACxC,IAAI,EAAE,YAAY;SACnB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,MAAgB,EACW,EAAE;IAC7B,MAAM,qBAAqB,GAAG,uCAAuC,CACnE,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,SAAS,CACjB,CAAC;IAEF,+DAA+D;IAC/D,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAC1E,CAAC;IACF,IAAI,CAAC,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAExC,MAAM,IAAI,GAAG,sBAAsB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,qBAAqB,CAAC,CAAC,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IAEhE,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,SAAS;QAC1B,MAAM;QACN,IAAI,EAAE,iBAAiB;KACxB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,OAA4B,EACL,EAAE;IACzB,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC;QAElC,wEAAwE;QACxE,wDAAwD;QACxD,wEAAwE;QACxE,MAAM,gBAAgB,GAAoB,EAAE,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACxC,gBAAgB,CAAC,IAAI,CAAC;oBACpB,QAAQ,EAAE,IAAI,CAAC,IAAI;oBACnB,MAAM,EAAE,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;oBACtC,IAAI,EAAE,UAAU;iBACjB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACxC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBACrC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;wBAAE,SAAS;oBACrD,gBAAgB,CAAC,IAAI,CAAC;wBACpB,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;wBACxB,MAAM,EAAE,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC3C,IAAI,EAAE,UAAU;qBACjB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,uBAAuB,CACrB,WAAW,EACX,gBAAgB,EAChB,kBAAkB,SAAS,GAAG,CAC/B,CAAC;QAEF,wEAAwE;QACxE,uFAAuF;QACvF,wEAAwE;QACxE,MAAM,kBAAkB,GAAoB,EAAE,CAAC;QAE/C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACrC,kBAAkB,CAAC,IAAI,CAAC;oBACtB,QAAQ,EAAE,IAAI,CAAC,IAAI;oBACnB,MAAM,EAAE,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;oBACzC,IAAI,EAAE,OAAO;iBACd,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;gBACzC,kBAAkB,CAAC,IAAI,CAAC;oBACtB,QAAQ,EAAE,IAAI,CAAC,IAAI;oBACnB,MAAM,EAAE,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;oBACzC,IAAI,EAAE,WAAW;iBAClB,CAAC,CAAC;gBACH,kBAAkB,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzD,SAAS;YACX,CAAC;YAED,IACE,IAAI,CAAC,IAAI,KAAK,sBAAsB;gBACpC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;gBAC9B,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAC5B,CAAC;gBACD,kBAAkB,CAAC,IAAI,CAAC;oBACtB,QAAQ,EAAE,IAAI,CAAC,IAAI;oBACnB,MAAM,EAAE,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC;oBAC5D,IAAI,EAAE,qBAAqB;iBAC5B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACnD,IAAI,SAAS,EAAE,CAAC;YACd,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;QAED,uBAAuB,CACrB,WAAW,EACX,kBAAkB,EAClB,oBAAoB,SAAS,GAAG,CACjC,CAAC;QAEF,wEAAwE;QACxE,2CAA2C;QAC3C,wEAAwE;QACxE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACrC,MAAM,KAAK,GAAoB,EAAE,CAAC;gBAClC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACnC,KAAK,CAAC,IAAI,CAAC;4BACT,QAAQ,EAAE,CAAC,CAAC,IAAI;4BAChB,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC;4BACnC,IAAI,EAAE,QAAQ;yBACf,CAAC,CAAC;wBACH,SAAS;oBACX,CAAC;oBACD,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;wBACrC,MAAM,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC;wBACtD,KAAK,CAAC,IAAI,CAAC;4BACT,QAAQ,EAAE,CAAC,CAAC,IAAI;4BAChB,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC;4BACnC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO;yBAC1C,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,uBAAuB,CACrB,WAAW,EACX,KAAK,EACL,SAAS,IAAI,CAAC,IAAI,aAAa,SAAS,GAAG,CAC5C,CAAC;gBACF,SAAS;YACX,CAAC;YAED,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;gBACzC,MAAM,KAAK,GAAoB,EAAE,CAAC;gBAClC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;wBACjC,KAAK,CAAC,IAAI,CAAC;4BACT,QAAQ,EAAE,CAAC,CAAC,IAAI;4BAChB,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC;4BACnC,IAAI,EAAE,QAAQ;yBACf,CAAC,CAAC;wBACH,SAAS;oBACX,CAAC;oBACD,oBAAoB;oBACpB,KAAK,CAAC,IAAI,CAAC;wBACT,QAAQ,EAAE,CAAC,CAAC,IAAI;wBAChB,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC;wBACnC,IAAI,EAAE,UAAU;qBACjB,CAAC,CAAC;gBACL,CAAC;gBACD,uBAAuB,CACrB,WAAW,EACX,KAAK,EACL,aAAa,IAAI,CAAC,IAAI,aAAa,SAAS,GAAG,CAChD,CAAC;gBACF,SAAS;YACX,CAAC;YAED,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAoB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACtD,QAAQ,EAAE,CAAC,CAAC,IAAI;oBAChB,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC;oBACnC,IAAI,EAAE,YAAY;iBACnB,CAAC,CAAC,CAAC;gBACJ,uBAAuB,CACrB,WAAW,EACX,KAAK,EACL,QAAQ,IAAI,CAAC,IAAI,aAAa,SAAS,GAAG,CAC3C,CAAC;gBACF,SAAS;YACX,CAAC;YAED,IACE,IAAI,CAAC,IAAI,KAAK,sBAAsB;gBACpC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAC/B,CAAC;gBACD,MAAM,KAAK,GAAoB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC3D,QAAQ,EAAE,CAAC,CAAC,IAAI;oBAChB,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC;oBACnC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU;iBAC3D,CAAC,CAAC,CAAC;gBACJ,uBAAuB,CACrB,WAAW,EACX,KAAK,EACL,QAAQ,IAAI,CAAC,IAAI,aAAa,SAAS,GAAG,CAC3C,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC"}
|
|
@@ -1,7 +1,9 @@
|
|
|
1
1
|
import type { IrExpression, IrType } from "@tsonic/frontend";
|
|
2
2
|
import type { CSharpExpressionAst } from "../format/backend-ast/types.js";
|
|
3
3
|
import type { EmitterContext } from "../../types.js";
|
|
4
|
-
export declare const tryResolveRuntimeUnionMemberType: (baseType: IrType | undefined, exprAst: CSharpExpressionAst, context: EmitterContext
|
|
4
|
+
export declare const tryResolveRuntimeUnionMemberType: (baseType: IrType | undefined, exprAst: CSharpExpressionAst, context: EmitterContext, options?: {
|
|
5
|
+
readonly verifyReceiver?: boolean;
|
|
6
|
+
}) => IrType | undefined;
|
|
5
7
|
export declare const resolveRuntimeSubsetMemberNs: (expr: IrExpression, context: EmitterContext) => ReadonlySet<number> | undefined;
|
|
6
8
|
export declare const resolveEffectiveExpressionType: (expr: IrExpression, context: EmitterContext) => IrType | undefined;
|
|
7
9
|
//# sourceMappingURL=narrowed-expression-types.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"narrowed-expression-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowed-expression-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAM1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;
|
|
1
|
+
{"version":3,"file":"narrowed-expression-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowed-expression-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAM1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAoWrD,eAAO,MAAM,gCAAgC,GAC3C,UAAU,MAAM,GAAG,SAAS,EAC5B,SAAS,mBAAmB,EAC5B,SAAS,cAAc,EACvB,UAAS;IAAE,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAA;CAAO,KAClD,MAAM,GAAG,SAoGX,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,MAAM,YAAY,EAClB,SAAS,cAAc,KACtB,WAAW,CAAC,MAAM,CAAC,GAAG,SAoDxB,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,MAAM,YAAY,EAClB,SAAS,cAAc,KACtB,MAAM,GAAG,SA+KX,CAAC"}
|
|
@@ -1,10 +1,12 @@
|
|
|
1
1
|
import { getPropertyType, resolveTypeAlias, stripNullish, } from "./type-resolution.js";
|
|
2
2
|
import { getMemberAccessNarrowKey } from "./narrowing-keys.js";
|
|
3
3
|
import { getCanonicalRuntimeUnionMembers } from "./runtime-unions.js";
|
|
4
|
+
import { collectRuntimeUnionRawMembers } from "./runtime-union-expansion.js";
|
|
4
5
|
import { getRuntimeUnionReferenceMembers } from "./runtime-union-shared.js";
|
|
5
|
-
import { isAssignable } from "./type-compatibility.js";
|
|
6
|
+
import { isAssignable, isAssignableToType } from "./type-compatibility.js";
|
|
6
7
|
import { areIrTypesEquivalent } from "./type-equivalence.js";
|
|
7
8
|
import { tryContextualTypeIdentityKey } from "./deterministic-type-keys.js";
|
|
9
|
+
import { getRuntimeUnionAliasReferenceKey, runtimeUnionAliasReferencesMatch, } from "./runtime-union-alias-identity.js";
|
|
8
10
|
const withOptionalUndefined = (type) => {
|
|
9
11
|
if (type.kind === "unionType" &&
|
|
10
12
|
type.types.some((member) => member.kind === "primitiveType" && member.name === "undefined")) {
|
|
@@ -33,19 +35,48 @@ const unwrapProjectionAst = (exprAst) => {
|
|
|
33
35
|
return target;
|
|
34
36
|
};
|
|
35
37
|
const tryResolveIdentifierExpressionType = (identifier, context) => {
|
|
36
|
-
const direct = context.localSemanticTypes?.get(identifier)
|
|
37
|
-
context.localValueTypes?.get(identifier);
|
|
38
|
+
const direct = context.localSemanticTypes?.get(identifier);
|
|
38
39
|
if (direct) {
|
|
39
40
|
return direct;
|
|
40
41
|
}
|
|
41
42
|
for (const [sourceName, emittedName] of context.localNameMap ?? []) {
|
|
42
43
|
if (emittedName === identifier) {
|
|
43
|
-
return
|
|
44
|
-
context.localValueTypes?.get(sourceName));
|
|
44
|
+
return context.localSemanticTypes?.get(sourceName);
|
|
45
45
|
}
|
|
46
46
|
}
|
|
47
47
|
return undefined;
|
|
48
48
|
};
|
|
49
|
+
const selectIdentifierSemanticType = (registeredType, inferredType, context) => {
|
|
50
|
+
if (!registeredType) {
|
|
51
|
+
return inferredType;
|
|
52
|
+
}
|
|
53
|
+
if (!inferredType) {
|
|
54
|
+
return registeredType;
|
|
55
|
+
}
|
|
56
|
+
if (inferredType.kind === "anyType" || inferredType.kind === "unknownType") {
|
|
57
|
+
return registeredType;
|
|
58
|
+
}
|
|
59
|
+
const registeredBase = stripNullish(registeredType);
|
|
60
|
+
const inferredBase = stripNullish(inferredType);
|
|
61
|
+
const isTypeParameterLike = (type) => type.kind === "typeParameterType" ||
|
|
62
|
+
(type.kind === "referenceType" &&
|
|
63
|
+
(context.typeParameters?.has(type.name) ?? false) &&
|
|
64
|
+
(!type.typeArguments || type.typeArguments.length === 0));
|
|
65
|
+
if (isTypeParameterLike(inferredBase) &&
|
|
66
|
+
!isTypeParameterLike(registeredBase)) {
|
|
67
|
+
return registeredType;
|
|
68
|
+
}
|
|
69
|
+
const equivalent = areIrTypesEquivalent(inferredBase, registeredBase, context) ||
|
|
70
|
+
areIrTypesEquivalent(resolveTypeAlias(inferredBase, context), resolveTypeAlias(registeredBase, context), context);
|
|
71
|
+
if (equivalent) {
|
|
72
|
+
return registeredType;
|
|
73
|
+
}
|
|
74
|
+
if (isAssignableToType(registeredBase, inferredBase, context) &&
|
|
75
|
+
!isAssignableToType(inferredBase, registeredBase, context)) {
|
|
76
|
+
return registeredType;
|
|
77
|
+
}
|
|
78
|
+
return inferredType;
|
|
79
|
+
};
|
|
49
80
|
const runtimeCarrierFamilyForType = (type, context) => {
|
|
50
81
|
const resolved = resolveTypeAlias(stripNullish(type), context);
|
|
51
82
|
if (resolved.kind !== "unionType") {
|
|
@@ -59,10 +90,12 @@ const runtimeCarrierFamilyForType = (type, context) => {
|
|
|
59
90
|
if (memberKeys.some((key) => key === undefined)) {
|
|
60
91
|
return undefined;
|
|
61
92
|
}
|
|
62
|
-
const orderedKeys = resolved.
|
|
93
|
+
const orderedKeys = resolved.runtimeUnionLayout === "carrierSlotOrder"
|
|
63
94
|
? memberKeys
|
|
64
95
|
: [...memberKeys].sort();
|
|
65
|
-
return `runtime-union:${resolved.
|
|
96
|
+
return `runtime-union:${resolved.runtimeUnionLayout === "carrierSlotOrder"
|
|
97
|
+
? "carrier-slots"
|
|
98
|
+
: "canonical"}:${orderedKeys.join("|")}`;
|
|
66
99
|
};
|
|
67
100
|
const projectionCarrierTypesMatch = (baseType, receiverType, context) => {
|
|
68
101
|
const baseFamily = runtimeCarrierFamilyForType(baseType, context);
|
|
@@ -70,7 +103,7 @@ const projectionCarrierTypesMatch = (baseType, receiverType, context) => {
|
|
|
70
103
|
if (baseFamily || receiverFamily) {
|
|
71
104
|
return baseFamily !== undefined && baseFamily === receiverFamily;
|
|
72
105
|
}
|
|
73
|
-
return
|
|
106
|
+
return areIrTypesEquivalent(stripNullish(baseType), stripNullish(receiverType), context);
|
|
74
107
|
};
|
|
75
108
|
const tryResolveProjectionReceiverType = (receiverAst, context) => {
|
|
76
109
|
const receiver = unwrapProjectionAst(receiverAst);
|
|
@@ -79,6 +112,29 @@ const tryResolveProjectionReceiverType = (receiverAst, context) => {
|
|
|
79
112
|
}
|
|
80
113
|
return tryResolveIdentifierExpressionType(receiver.identifier, context);
|
|
81
114
|
};
|
|
115
|
+
const sourceMemberMatchesNarrowedType = (sourceMember, narrowedType, context) => {
|
|
116
|
+
const strippedSourceMember = stripNullish(sourceMember);
|
|
117
|
+
const strippedNarrowedType = stripNullish(narrowedType);
|
|
118
|
+
const resolvedSourceMember = resolveTypeAlias(strippedSourceMember, context);
|
|
119
|
+
const resolvedNarrowedType = resolveTypeAlias(strippedNarrowedType, context);
|
|
120
|
+
return (runtimeUnionAliasReferencesMatch(strippedSourceMember, strippedNarrowedType, context) ||
|
|
121
|
+
runtimeUnionAliasReferencesMatch(resolvedSourceMember, resolvedNarrowedType, context) ||
|
|
122
|
+
areIrTypesEquivalent(strippedSourceMember, strippedNarrowedType, context) ||
|
|
123
|
+
areIrTypesEquivalent(resolvedSourceMember, resolvedNarrowedType, context));
|
|
124
|
+
};
|
|
125
|
+
const resolveSingleMatchingSourceMemberN = (sourceType, narrowedType, context) => {
|
|
126
|
+
if (!sourceType || !narrowedType) {
|
|
127
|
+
return undefined;
|
|
128
|
+
}
|
|
129
|
+
const resolvedSource = resolveTypeAlias(stripNullish(sourceType), context);
|
|
130
|
+
if (resolvedSource.kind !== "unionType") {
|
|
131
|
+
return undefined;
|
|
132
|
+
}
|
|
133
|
+
const matchingMemberNs = resolvedSource.types.flatMap((sourceMember, index) => sourceMemberMatchesNarrowedType(sourceMember, narrowedType, context)
|
|
134
|
+
? [index + 1]
|
|
135
|
+
: []);
|
|
136
|
+
return matchingMemberNs.length === 1 ? matchingMemberNs[0] : undefined;
|
|
137
|
+
};
|
|
82
138
|
const tryExtractRuntimeUnionProjection = (exprAst) => {
|
|
83
139
|
const target = unwrapProjectionAst(exprAst);
|
|
84
140
|
if (target.kind !== "invocationExpression") {
|
|
@@ -135,20 +191,60 @@ const tryExtractRuntimeUnionProjection = (exprAst) => {
|
|
|
135
191
|
}
|
|
136
192
|
: undefined;
|
|
137
193
|
};
|
|
138
|
-
|
|
194
|
+
const isNullishFallbackAst = (exprAst) => {
|
|
195
|
+
const target = unwrapProjectionAst(exprAst);
|
|
196
|
+
return (target.kind === "nullLiteralExpression" ||
|
|
197
|
+
target.kind === "defaultExpression");
|
|
198
|
+
};
|
|
199
|
+
const projectedMemberTypesMatch = (left, right, context) => runtimeUnionAliasReferencesMatch(left, right, context) ||
|
|
200
|
+
areIrTypesEquivalent(left, right, context);
|
|
201
|
+
const selectNullableProjectedMemberType = (leftAst, leftType, rightAst, rightType, context) => {
|
|
202
|
+
if (leftType && rightType) {
|
|
203
|
+
return projectedMemberTypesMatch(leftType, rightType, context)
|
|
204
|
+
? leftType
|
|
205
|
+
: undefined;
|
|
206
|
+
}
|
|
207
|
+
if (leftType && isNullishFallbackAst(rightAst)) {
|
|
208
|
+
return leftType;
|
|
209
|
+
}
|
|
210
|
+
if (rightType && isNullishFallbackAst(leftAst)) {
|
|
211
|
+
return rightType;
|
|
212
|
+
}
|
|
213
|
+
return undefined;
|
|
214
|
+
};
|
|
215
|
+
export const tryResolveRuntimeUnionMemberType = (baseType, exprAst, context, options = {}) => {
|
|
139
216
|
if (!baseType)
|
|
140
217
|
return undefined;
|
|
141
218
|
const projection = tryExtractRuntimeUnionProjection(exprAst);
|
|
142
|
-
if (!projection)
|
|
219
|
+
if (!projection) {
|
|
220
|
+
const target = unwrapProjectionAst(exprAst);
|
|
221
|
+
if (target.kind === "binaryExpression" && target.operatorToken === "??") {
|
|
222
|
+
const leftType = tryResolveRuntimeUnionMemberType(baseType, target.left, context, options);
|
|
223
|
+
const rightType = tryResolveRuntimeUnionMemberType(baseType, target.right, context, options);
|
|
224
|
+
return selectNullableProjectedMemberType(target.left, leftType, target.right, rightType, context);
|
|
225
|
+
}
|
|
226
|
+
if (target.kind === "conditionalExpression") {
|
|
227
|
+
const whenTrueType = tryResolveRuntimeUnionMemberType(baseType, target.whenTrue, context, options);
|
|
228
|
+
const whenFalseType = tryResolveRuntimeUnionMemberType(baseType, target.whenFalse, context, options);
|
|
229
|
+
return selectNullableProjectedMemberType(target.whenTrue, whenTrueType, target.whenFalse, whenFalseType, context);
|
|
230
|
+
}
|
|
143
231
|
return undefined;
|
|
232
|
+
}
|
|
144
233
|
const receiverType = projection.receiverAst
|
|
145
234
|
? tryResolveProjectionReceiverType(projection.receiverAst, context)
|
|
146
235
|
: undefined;
|
|
147
|
-
if (
|
|
236
|
+
if (options.verifyReceiver !== false &&
|
|
237
|
+
receiverType &&
|
|
148
238
|
!projectionCarrierTypesMatch(baseType, receiverType, context)) {
|
|
149
239
|
return undefined;
|
|
150
240
|
}
|
|
151
241
|
const { memberN } = projection;
|
|
242
|
+
const rawRuntimeMembers = collectRuntimeUnionRawMembers(baseType, context);
|
|
243
|
+
const rawRuntimeMember = memberN >= 1 ? rawRuntimeMembers[memberN - 1] : undefined;
|
|
244
|
+
if (rawRuntimeMember &&
|
|
245
|
+
getRuntimeUnionAliasReferenceKey(rawRuntimeMember, context)) {
|
|
246
|
+
return rawRuntimeMember;
|
|
247
|
+
}
|
|
152
248
|
const canonicalRuntimeMembers = getCanonicalRuntimeUnionMembers(baseType, context);
|
|
153
249
|
if (canonicalRuntimeMembers &&
|
|
154
250
|
memberN >= 1 &&
|
|
@@ -177,9 +273,34 @@ export const resolveRuntimeSubsetMemberNs = (expr, context) => {
|
|
|
177
273
|
return undefined;
|
|
178
274
|
}
|
|
179
275
|
const narrowed = context.narrowedBindings?.get(narrowKey);
|
|
180
|
-
|
|
181
|
-
|
|
276
|
+
if (narrowed?.kind === "runtimeSubset") {
|
|
277
|
+
return new Set(narrowed.runtimeMemberNs);
|
|
278
|
+
}
|
|
279
|
+
if (narrowed?.kind !== "expr") {
|
|
280
|
+
return undefined;
|
|
281
|
+
}
|
|
282
|
+
const sourceType = narrowed.sourceType ??
|
|
283
|
+
(expr.kind === "identifier"
|
|
284
|
+
? context.localSemanticTypes?.get(expr.name)
|
|
285
|
+
: undefined) ??
|
|
286
|
+
expr.inferredType;
|
|
287
|
+
const matchingSourceMemberN = resolveSingleMatchingSourceMemberN(sourceType, narrowed.type, context);
|
|
288
|
+
if (matchingSourceMemberN !== undefined) {
|
|
289
|
+
return new Set([matchingSourceMemberN]);
|
|
290
|
+
}
|
|
291
|
+
const projection = tryExtractRuntimeUnionProjection(narrowed.exprAst);
|
|
292
|
+
if (!projection) {
|
|
293
|
+
return undefined;
|
|
294
|
+
}
|
|
295
|
+
const receiverType = projection.receiverAst
|
|
296
|
+
? tryResolveProjectionReceiverType(projection.receiverAst, context)
|
|
182
297
|
: undefined;
|
|
298
|
+
if (sourceType &&
|
|
299
|
+
receiverType &&
|
|
300
|
+
!projectionCarrierTypesMatch(sourceType, receiverType, context)) {
|
|
301
|
+
return undefined;
|
|
302
|
+
}
|
|
303
|
+
return new Set([projection.memberN]);
|
|
183
304
|
};
|
|
184
305
|
export const resolveEffectiveExpressionType = (expr, context) => {
|
|
185
306
|
if (expr.kind === "typeAssertion" || expr.kind === "asinterface") {
|
|
@@ -217,6 +338,7 @@ export const resolveEffectiveExpressionType = (expr, context) => {
|
|
|
217
338
|
const registeredSemanticType = expr.kind === "identifier"
|
|
218
339
|
? context.localSemanticTypes?.get(expr.name)
|
|
219
340
|
: undefined;
|
|
341
|
+
const identifierSemanticType = selectIdentifierSemanticType(registeredSemanticType, baseType, context);
|
|
220
342
|
if (!context.narrowedBindings) {
|
|
221
343
|
if (expr.kind === "memberAccess" &&
|
|
222
344
|
!expr.isComputed &&
|
|
@@ -227,7 +349,7 @@ export const resolveEffectiveExpressionType = (expr, context) => {
|
|
|
227
349
|
return maybeWrapOptionalMemberAccessType(expr, narrowedPropertyType);
|
|
228
350
|
}
|
|
229
351
|
}
|
|
230
|
-
return maybeWrapOptionalMemberAccessType(expr,
|
|
352
|
+
return maybeWrapOptionalMemberAccessType(expr, identifierSemanticType);
|
|
231
353
|
}
|
|
232
354
|
const narrowKey = expr.kind === "identifier"
|
|
233
355
|
? expr.name
|
|
@@ -244,7 +366,7 @@ export const resolveEffectiveExpressionType = (expr, context) => {
|
|
|
244
366
|
return maybeWrapOptionalMemberAccessType(expr, narrowedPropertyType);
|
|
245
367
|
}
|
|
246
368
|
}
|
|
247
|
-
return maybeWrapOptionalMemberAccessType(expr,
|
|
369
|
+
return maybeWrapOptionalMemberAccessType(expr, identifierSemanticType);
|
|
248
370
|
}
|
|
249
371
|
const narrowed = context.narrowedBindings.get(narrowKey);
|
|
250
372
|
if (!narrowed) {
|
|
@@ -282,6 +404,6 @@ export const resolveEffectiveExpressionType = (expr, context) => {
|
|
|
282
404
|
return maybeWrapOptionalMemberAccessType(expr, narrowedPropertyType);
|
|
283
405
|
}
|
|
284
406
|
}
|
|
285
|
-
return maybeWrapOptionalMemberAccessType(expr,
|
|
407
|
+
return maybeWrapOptionalMemberAccessType(expr, identifierSemanticType);
|
|
286
408
|
};
|
|
287
409
|
//# sourceMappingURL=narrowed-expression-types.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"narrowed-expression-types.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowed-expression-types.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,YAAY,GACb,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAE5E,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;QACL,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAkB,EAClB,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,OAA4B,EACP,EAAE;IACvB,IAAI,MAAM,GAAwB,OAAO,CAAC;IAC1C,OACE,MAAM,CAAC,IAAI,KAAK,yBAAyB;QACzC,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAChC,CAAC;QACD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,UAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,MAAM,MAAM,GACV,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,UAAU,CAAC;QAC3C,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3C,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,KAAK,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,OAAO,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QACnE,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;YAC/B,OAAO,CACL,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,UAAU,CAAC;gBAC3C,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,UAAU,CAAC,CACzC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,uBAAuB,EAAE,CAAC;QACrC,OAAO,QAAQ,CAAC,uBAAuB,CAAC;IAC1C,CAAC;IAED,MAAM,gBAAgB,GACpB,+BAA+B,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC;IACvE,MAAM,UAAU,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACjD,4BAA4B,CAAC,MAAM,EAAE,OAAO,CAAC,CAC9C,CAAC;IACF,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,EAAE,CAAC;QAChD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,QAAQ,CAAC,qBAAqB;QAChD,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3B,OAAO,iBAAiB,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,CACnG,GAAG,CACJ,EAAE,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,QAAgB,EAChB,YAAoB,EACpB,OAAuB,EACd,EAAE;IACX,MAAM,UAAU,GAAG,2BAA2B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,2BAA2B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,UAAU,IAAI,cAAc,EAAE,CAAC;QACjC,OAAO,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,cAAc,CAAC;IACnE,CAAC;IAED,OAAO,CACL,oBAAoB,CAClB,YAAY,CAAC,QAAQ,CAAC,EACtB,YAAY,CAAC,YAAY,CAAC,EAC1B,OAAO,CACR,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,WAAgC,EAChC,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAClD,IAAI,QAAQ,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,kCAAkC,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC1E,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,OAA4B,EAGhB,EAAE;IACd,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;QACxD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC9D,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACtC,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU;SAC1C,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,oBAAwC,CAAC;IAE7C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAChE,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAClD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;QACjD,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACvB,OACE,IAAI,CAAC,IAAI,KAAK,yBAAyB;YACvC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAC9B,CAAC;YACD,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QACzB,CAAC;QAED,IACE,IAAI,CAAC,IAAI,KAAK,sBAAsB;YACpC,IAAI,CAAC,UAAU,KAAK,aAAa,EACjC,CAAC;YACD,IAAI,oBAAoB,KAAK,SAAS,EAAE,CAAC;gBACvC,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,oBAAoB,GAAG,KAAK,GAAG,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,oBAAoB;QACzB,CAAC,CAAC;YACE,OAAO,EAAE,oBAAoB;YAC7B,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU;SAC1C;QACH,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,QAA4B,EAC5B,OAA4B,EAC5B,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,MAAM,UAAU,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAC;IAC7D,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,MAAM,YAAY,GAAG,UAAU,CAAC,WAAW;QACzC,CAAC,CAAC,gCAAgC,CAAC,UAAU,CAAC,WAAW,EAAE,OAAO,CAAC;QACnE,CAAC,CAAC,SAAS,CAAC;IACd,IACE,YAAY;QACZ,CAAC,2BAA2B,CAAC,QAAQ,EAAE,YAAY,EAAE,OAAO,CAAC,EAC7D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC;IAE/B,MAAM,uBAAuB,GAAG,+BAA+B,CAC7D,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IACE,uBAAuB;QACvB,OAAO,IAAI,CAAC;QACZ,OAAO,IAAI,uBAAuB,CAAC,MAAM,EACzC,CAAC;QACD,OAAO,uBAAuB,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM,YAAY,GAAG,gBAAgB,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;IACvE,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO,YAAY,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,MAAM,cAAc,GAAG,+BAA+B,CAAC,YAAY,CAAC,CAAC;QACrE,IAAI,cAAc,IAAI,OAAO,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC;YACvD,OAAO,cAAc,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAkB,EAClB,OAAuB,EACU,EAAE;IACnC,MAAM,SAAS,GACb,IAAI,CAAC,IAAI,KAAK,YAAY;QACxB,CAAC,CAAC,IAAI,CAAC,IAAI;QACX,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC;YAChC,CAAC,CAAC,SAAS,CAAC;IAClB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1D,OAAO,QAAQ,EAAE,IAAI,KAAK,eAAe;QACvC,CAAC,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC;QACnC,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACjE,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,QAAQ,GACZ,8BAA8B,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;QACzB,MAAM,SAAS,GACb,8BAA8B,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;YACnD,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;QAE1B,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,cAAc,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;QAC1D,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,cAAc,CAAC;QACxB,CAAC;QAED,IAAI,oBAAoB,CAAC,cAAc,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;YAC7D,OAAO,cAAc,CAAC;QACxB,CAAC;QAED,IAAI,YAAY,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,CAAC;YAC5C,OAAO,cAAc,CAAC;QACxB,CAAC;QAED,IAAI,YAAY,CAAC,cAAc,EAAE,SAAS,CAAC,EAAE,CAAC;YAC5C,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC;IACnC,MAAM,sBAAsB,GAC1B,IAAI,CAAC,IAAI,KAAK,YAAY;QACxB,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5C,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC9B,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,IAAI,CAAC,UAAU;YAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;YACD,MAAM,oBAAoB,GAAG,8BAA8B,CACzD,IAAI,CAAC,MAAM,EACX,OAAO,CACR,CAAC;YACF,MAAM,oBAAoB,GAAG,eAAe,CAC1C,oBAAoB,EACpB,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,CAAC;YACF,IAAI,oBAAoB,EAAE,CAAC;gBACzB,OAAO,iCAAiC,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,OAAO,iCAAiC,CACtC,IAAI,EACJ,sBAAsB,IAAI,QAAQ,CACnC,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GACb,IAAI,CAAC,IAAI,KAAK,YAAY;QACxB,CAAC,CAAC,IAAI,CAAC,IAAI;QACX,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC;YAChC,CAAC,CAAC,SAAS,CAAC;IAElB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,IAAI,CAAC,UAAU;YAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;YACD,MAAM,oBAAoB,GAAG,8BAA8B,CACzD,IAAI,CAAC,MAAM,EACX,OAAO,CACR,CAAC;YACF,MAAM,oBAAoB,GAAG,eAAe,CAC1C,oBAAoB,EACpB,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,CAAC;YACF,IAAI,oBAAoB,EAAE,CAAC;gBACzB,OAAO,iCAAiC,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,OAAO,iCAAiC,CACtC,IAAI,EACJ,sBAAsB,IAAI,QAAQ,CACnC,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,IAAI,CAAC,UAAU;YAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;YACD,MAAM,oBAAoB,GAAG,8BAA8B,CACzD,IAAI,CAAC,MAAM,EACX,OAAO,CACR,CAAC;YACF,MAAM,oBAAoB,GAAG,eAAe,CAC1C,oBAAoB,EACpB,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,CAAC;YACF,IAAI,oBAAoB,EAAE,CAAC;gBACzB,OAAO,iCAAiC,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,OAAO,iCAAiC,CACtC,IAAI,EACJ,sBAAsB,IAAI,QAAQ,CACnC,CAAC;IACJ,CAAC;IAED,IACE,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAC1B,QAAQ,CAAC,IAAI,KAAK,MAAM;QACxB,QAAQ,CAAC,IAAI,KAAK,eAAe,EACjC,CAAC;QACD,MAAM,UAAU,GACd,QAAQ,CAAC,UAAU,IAAI,sBAAsB,IAAI,QAAQ,CAAC;QAC5D,MAAM,cAAc,GAClB,QAAQ,CAAC,IAAI,KAAK,MAAM;YACtB,CAAC,CAAC,gCAAgC,CAC9B,UAAU,EACV,QAAQ,CAAC,OAAO,EAChB,OAAO,CACR;YACH,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;YAClB,OAAO,iCAAiC,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAChE,CAAC;QAED,IAAI,cAAc,EAAE,CAAC;YACnB,OAAO,iCAAiC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;QAC5B,CAAC,IAAI,CAAC,UAAU;QAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;QACD,MAAM,oBAAoB,GAAG,8BAA8B,CACzD,IAAI,CAAC,MAAM,EACX,OAAO,CACR,CAAC;QACF,MAAM,oBAAoB,GAAG,eAAe,CAC1C,oBAAoB,EACpB,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,CAAC;QACF,IAAI,oBAAoB,EAAE,CAAC;YACzB,OAAO,iCAAiC,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,OAAO,iCAAiC,CACtC,IAAI,EACJ,sBAAsB,IAAI,QAAQ,CACnC,CAAC;AACJ,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"narrowed-expression-types.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowed-expression-types.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,YAAY,GACb,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAC7E,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EACL,gCAAgC,EAChC,gCAAgC,GACjC,MAAM,mCAAmC,CAAC;AAE3C,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;QACL,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAkB,EAClB,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,OAA4B,EACP,EAAE;IACvB,IAAI,MAAM,GAAwB,OAAO,CAAC;IAC1C,OACE,MAAM,CAAC,IAAI,KAAK,yBAAyB;QACzC,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAChC,CAAC;QACD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,UAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,KAAK,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,OAAO,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QACnE,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;YAC/B,OAAO,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,cAAkC,EAClC,YAAgC,EAChC,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,KAAK,SAAS,IAAI,YAAY,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3E,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,MAAM,cAAc,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;IACpD,MAAM,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IAChD,MAAM,mBAAmB,GAAG,CAAC,IAAY,EAAW,EAAE,CACpD,IAAI,CAAC,IAAI,KAAK,mBAAmB;QACjC,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe;YAC5B,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;YACjD,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9D,IACE,mBAAmB,CAAC,YAAY,CAAC;QACjC,CAAC,mBAAmB,CAAC,cAAc,CAAC,EACpC,CAAC;QACD,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,MAAM,UAAU,GACd,oBAAoB,CAAC,YAAY,EAAE,cAAc,EAAE,OAAO,CAAC;QAC3D,oBAAoB,CAClB,gBAAgB,CAAC,YAAY,EAAE,OAAO,CAAC,EACvC,gBAAgB,CAAC,cAAc,EAAE,OAAO,CAAC,EACzC,OAAO,CACR,CAAC;IACJ,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,IACE,kBAAkB,CAAC,cAAc,EAAE,YAAY,EAAE,OAAO,CAAC;QACzD,CAAC,kBAAkB,CAAC,YAAY,EAAE,cAAc,EAAE,OAAO,CAAC,EAC1D,CAAC;QACD,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,uBAAuB,EAAE,CAAC;QACrC,OAAO,QAAQ,CAAC,uBAAuB,CAAC;IAC1C,CAAC;IAED,MAAM,gBAAgB,GACpB,+BAA+B,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC;IACvE,MAAM,UAAU,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACjD,4BAA4B,CAAC,MAAM,EAAE,OAAO,CAAC,CAC9C,CAAC;IACF,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,EAAE,CAAC;QAChD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GACf,QAAQ,CAAC,kBAAkB,KAAK,kBAAkB;QAChD,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7B,OAAO,iBACL,QAAQ,CAAC,kBAAkB,KAAK,kBAAkB;QAChD,CAAC,CAAC,eAAe;QACjB,CAAC,CAAC,WACN,IAAI,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAC9B,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,QAAgB,EAChB,YAAoB,EACpB,OAAuB,EACd,EAAE;IACX,MAAM,UAAU,GAAG,2BAA2B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,2BAA2B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,UAAU,IAAI,cAAc,EAAE,CAAC;QACjC,OAAO,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,cAAc,CAAC;IACnE,CAAC;IAED,OAAO,oBAAoB,CACzB,YAAY,CAAC,QAAQ,CAAC,EACtB,YAAY,CAAC,YAAY,CAAC,EAC1B,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,WAAgC,EAChC,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAClD,IAAI,QAAQ,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,kCAAkC,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC1E,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,YAAoB,EACpB,YAAoB,EACpB,OAAuB,EACd,EAAE;IACX,MAAM,oBAAoB,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,oBAAoB,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC;IAC7E,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC;IAE7E,OAAO,CACL,gCAAgC,CAC9B,oBAAoB,EACpB,oBAAoB,EACpB,OAAO,CACR;QACD,gCAAgC,CAC9B,oBAAoB,EACpB,oBAAoB,EACpB,OAAO,CACR;QACD,oBAAoB,CAAC,oBAAoB,EAAE,oBAAoB,EAAE,OAAO,CAAC;QACzE,oBAAoB,CAAC,oBAAoB,EAAE,oBAAoB,EAAE,OAAO,CAAC,CAC1E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;IAC3E,IAAI,cAAc,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,CACnD,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CACtB,+BAA+B,CAAC,YAAY,EAAE,YAAY,EAAE,OAAO,CAAC;QAClE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QACb,CAAC,CAAC,EAAE,CACT,CAAC;IAEF,OAAO,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,OAA4B,EAGhB,EAAE;IACd,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;QACxD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC9D,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACtC,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU;SAC1C,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,oBAAwC,CAAC;IAE7C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAChE,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAClD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;QACjD,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACvB,OACE,IAAI,CAAC,IAAI,KAAK,yBAAyB;YACvC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAC9B,CAAC;YACD,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QACzB,CAAC;QAED,IACE,IAAI,CAAC,IAAI,KAAK,sBAAsB;YACpC,IAAI,CAAC,UAAU,KAAK,aAAa,EACjC,CAAC;YACD,IAAI,oBAAoB,KAAK,SAAS,EAAE,CAAC;gBACvC,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,oBAAoB,GAAG,KAAK,GAAG,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,oBAAoB;QACzB,CAAC,CAAC;YACE,OAAO,EAAE,oBAAoB;YAC7B,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU;SAC1C;QACH,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,OAA4B,EAAW,EAAE;IACrE,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,uBAAuB;QACvC,MAAM,CAAC,IAAI,KAAK,mBAAmB,CACpC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,KAAa,EACb,OAAuB,EACd,EAAE,CACX,gCAAgC,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC;IACtD,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAE7C,MAAM,iCAAiC,GAAG,CACxC,OAA4B,EAC5B,QAA4B,EAC5B,QAA6B,EAC7B,SAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC1B,OAAO,yBAAyB,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC;YAC5D,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,IAAI,QAAQ,IAAI,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,IAAI,SAAS,IAAI,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,QAA4B,EAC5B,OAA4B,EAC5B,OAAuB,EACvB,UAAiD,EAAE,EAC/B,EAAE;IACtB,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,MAAM,UAAU,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAC;IAC7D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;YACxE,MAAM,QAAQ,GAAG,gCAAgC,CAC/C,QAAQ,EACR,MAAM,CAAC,IAAI,EACX,OAAO,EACP,OAAO,CACR,CAAC;YACF,MAAM,SAAS,GAAG,gCAAgC,CAChD,QAAQ,EACR,MAAM,CAAC,KAAK,EACZ,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,iCAAiC,CACtC,MAAM,CAAC,IAAI,EACX,QAAQ,EACR,MAAM,CAAC,KAAK,EACZ,SAAS,EACT,OAAO,CACR,CAAC;QACJ,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;YAC5C,MAAM,YAAY,GAAG,gCAAgC,CACnD,QAAQ,EACR,MAAM,CAAC,QAAQ,EACf,OAAO,EACP,OAAO,CACR,CAAC;YACF,MAAM,aAAa,GAAG,gCAAgC,CACpD,QAAQ,EACR,MAAM,CAAC,SAAS,EAChB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,iCAAiC,CACtC,MAAM,CAAC,QAAQ,EACf,YAAY,EACZ,MAAM,CAAC,SAAS,EAChB,aAAa,EACb,OAAO,CACR,CAAC;QACJ,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,UAAU,CAAC,WAAW;QACzC,CAAC,CAAC,gCAAgC,CAAC,UAAU,CAAC,WAAW,EAAE,OAAO,CAAC;QACnE,CAAC,CAAC,SAAS,CAAC;IACd,IACE,OAAO,CAAC,cAAc,KAAK,KAAK;QAChC,YAAY;QACZ,CAAC,2BAA2B,CAAC,QAAQ,EAAE,YAAY,EAAE,OAAO,CAAC,EAC7D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC;IAC/B,MAAM,iBAAiB,GAAG,6BAA6B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3E,MAAM,gBAAgB,GACpB,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5D,IACE,gBAAgB;QAChB,gCAAgC,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAC3D,CAAC;QACD,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,uBAAuB,GAAG,+BAA+B,CAC7D,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IACE,uBAAuB;QACvB,OAAO,IAAI,CAAC;QACZ,OAAO,IAAI,uBAAuB,CAAC,MAAM,EACzC,CAAC;QACD,OAAO,uBAAuB,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM,YAAY,GAAG,gBAAgB,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;IACvE,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO,YAAY,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,MAAM,cAAc,GAAG,+BAA+B,CAAC,YAAY,CAAC,CAAC;QACrE,IAAI,cAAc,IAAI,OAAO,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC;YACvD,OAAO,cAAc,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAkB,EAClB,OAAuB,EACU,EAAE;IACnC,MAAM,SAAS,GACb,IAAI,CAAC,IAAI,KAAK,YAAY;QACxB,CAAC,CAAC,IAAI,CAAC,IAAI;QACX,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC;YAChC,CAAC,CAAC,SAAS,CAAC;IAClB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1D,IAAI,QAAQ,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GACd,QAAQ,CAAC,UAAU;QACnB,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;YACzB,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAC5C,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,YAAY,CAAC;IACpB,MAAM,qBAAqB,GAAG,kCAAkC,CAC9D,UAAU,EACV,QAAQ,CAAC,IAAI,EACb,OAAO,CACR,CAAC;IACF,IAAI,qBAAqB,KAAK,SAAS,EAAE,CAAC;QACxC,OAAO,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,UAAU,GAAG,gCAAgC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACtE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,UAAU,CAAC,WAAW;QACzC,CAAC,CAAC,gCAAgC,CAAC,UAAU,CAAC,WAAW,EAAE,OAAO,CAAC;QACnE,CAAC,CAAC,SAAS,CAAC;IACd,IACE,UAAU;QACV,YAAY;QACZ,CAAC,2BAA2B,CAAC,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC,EAC/D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACjE,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,QAAQ,GACZ,8BAA8B,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;QACzB,MAAM,SAAS,GACb,8BAA8B,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;YACnD,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;QAE1B,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,cAAc,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;QAC1D,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,cAAc,CAAC;QACxB,CAAC;QAED,IAAI,oBAAoB,CAAC,cAAc,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;YAC7D,OAAO,cAAc,CAAC;QACxB,CAAC;QAED,IAAI,YAAY,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,CAAC;YAC5C,OAAO,cAAc,CAAC;QACxB,CAAC;QAED,IAAI,YAAY,CAAC,cAAc,EAAE,SAAS,CAAC,EAAE,CAAC;YAC5C,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC;IACnC,MAAM,sBAAsB,GAC1B,IAAI,CAAC,IAAI,KAAK,YAAY;QACxB,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5C,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,sBAAsB,GAAG,4BAA4B,CACzD,sBAAsB,EACtB,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC9B,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,IAAI,CAAC,UAAU;YAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;YACD,MAAM,oBAAoB,GAAG,8BAA8B,CACzD,IAAI,CAAC,MAAM,EACX,OAAO,CACR,CAAC;YACF,MAAM,oBAAoB,GAAG,eAAe,CAC1C,oBAAoB,EACpB,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,CAAC;YACF,IAAI,oBAAoB,EAAE,CAAC;gBACzB,OAAO,iCAAiC,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,OAAO,iCAAiC,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,SAAS,GACb,IAAI,CAAC,IAAI,KAAK,YAAY;QACxB,CAAC,CAAC,IAAI,CAAC,IAAI;QACX,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC;YAChC,CAAC,CAAC,SAAS,CAAC;IAElB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,IAAI,CAAC,UAAU;YAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;YACD,MAAM,oBAAoB,GAAG,8BAA8B,CACzD,IAAI,CAAC,MAAM,EACX,OAAO,CACR,CAAC;YACF,MAAM,oBAAoB,GAAG,eAAe,CAC1C,oBAAoB,EACpB,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,CAAC;YACF,IAAI,oBAAoB,EAAE,CAAC;gBACzB,OAAO,iCAAiC,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,OAAO,iCAAiC,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,IAAI,CAAC,UAAU;YAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;YACD,MAAM,oBAAoB,GAAG,8BAA8B,CACzD,IAAI,CAAC,MAAM,EACX,OAAO,CACR,CAAC;YACF,MAAM,oBAAoB,GAAG,eAAe,CAC1C,oBAAoB,EACpB,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,CAAC;YACF,IAAI,oBAAoB,EAAE,CAAC;gBACzB,OAAO,iCAAiC,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,OAAO,iCAAiC,CACtC,IAAI,EACJ,sBAAsB,IAAI,QAAQ,CACnC,CAAC;IACJ,CAAC;IAED,IACE,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAC1B,QAAQ,CAAC,IAAI,KAAK,MAAM;QACxB,QAAQ,CAAC,IAAI,KAAK,eAAe,EACjC,CAAC;QACD,MAAM,UAAU,GACd,QAAQ,CAAC,UAAU,IAAI,sBAAsB,IAAI,QAAQ,CAAC;QAC5D,MAAM,cAAc,GAClB,QAAQ,CAAC,IAAI,KAAK,MAAM;YACtB,CAAC,CAAC,gCAAgC,CAC9B,UAAU,EACV,QAAQ,CAAC,OAAO,EAChB,OAAO,CACR;YACH,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;YAClB,OAAO,iCAAiC,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAChE,CAAC;QAED,IAAI,cAAc,EAAE,CAAC;YACnB,OAAO,iCAAiC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;QAC5B,CAAC,IAAI,CAAC,UAAU;QAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;QACD,MAAM,oBAAoB,GAAG,8BAA8B,CACzD,IAAI,CAAC,MAAM,EACX,OAAO,CACR,CAAC;QACF,MAAM,oBAAoB,GAAG,eAAe,CAC1C,oBAAoB,EACpB,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,CAAC;QACF,IAAI,oBAAoB,EAAE,CAAC;YACzB,OAAO,iCAAiC,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,OAAO,iCAAiC,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;AACzE,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"narrowed-union-resolution.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowed-union-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAUrD;;;;;;GAMG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,2BAA2B,GACtC,cAAc,MAAM,EACpB,iBAAiB,MAAM,EACvB,SAAS,cAAc,KACtB,oBAAoB,GAAG,
|
|
1
|
+
{"version":3,"file":"narrowed-union-resolution.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowed-union-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAUrD;;;;;;GAMG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,2BAA2B,GACtC,cAAc,MAAM,EACpB,iBAAiB,MAAM,EACvB,SAAS,cAAc,KACtB,oBAAoB,GAAG,SA8JzB,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,cAAc,MAAM,GAAG,SAAS,EAChC,eAAe,MAAM,GAAG,SAAS,EACjC,mBAAmB,MAAM,GAAG,SAAS,EACrC,SAAS,cAAc,KACtB,oBAAoB,GAAG,SAgEzB,CAAC"}
|
|
@@ -41,15 +41,26 @@ export const resolveNarrowedUnionMembers = (originalName, unionSourceType, conte
|
|
|
41
41
|
if (!sourceMembers || effectiveMembers.length === 0) {
|
|
42
42
|
return undefined;
|
|
43
43
|
}
|
|
44
|
+
const coveredEffectiveMemberIndices = new Set();
|
|
44
45
|
const alignedMembers = sourceMembers.flatMap((member, index) => {
|
|
45
46
|
const exactMatches = findExactRuntimeUnionMemberIndices(effectiveMembers, member, context);
|
|
46
47
|
if (exactMatches.length > 0) {
|
|
48
|
+
for (const match of exactMatches) {
|
|
49
|
+
coveredEffectiveMemberIndices.add(match);
|
|
50
|
+
}
|
|
47
51
|
return [{ member, memberN: index + 1 }];
|
|
48
52
|
}
|
|
49
53
|
const semanticMatches = findRuntimeUnionMemberIndices(effectiveMembers, member, context);
|
|
50
|
-
|
|
54
|
+
if (semanticMatches.length > 0) {
|
|
55
|
+
for (const match of semanticMatches) {
|
|
56
|
+
coveredEffectiveMemberIndices.add(match);
|
|
57
|
+
}
|
|
58
|
+
return [{ member, memberN: index + 1 }];
|
|
59
|
+
}
|
|
60
|
+
return [];
|
|
51
61
|
});
|
|
52
|
-
if (alignedMembers.length
|
|
62
|
+
if (alignedMembers.length === 0 ||
|
|
63
|
+
coveredEffectiveMemberIndices.size !== effectiveMembers.length) {
|
|
53
64
|
return undefined;
|
|
54
65
|
}
|
|
55
66
|
return {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"narrowed-union-resolution.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowed-union-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAC9E,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EACL,kCAAkC,EAClC,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AAerC;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,YAAoB,EACpB,eAAuB,EACvB,OAAuB,EACW,EAAE;IACpC,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7D,MAAM,iBAAiB,GAAG,8BAA8B,CACtD,YAAY,EACZ,OAAO,CACR,CAAC;IACF,MAAM,8BAA8B,GAAG,CACrC,aAAqB,EACrB,iBAAqC,EACH,EAAE;QACpC,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,aAAa,GAAG,+BAA+B,CACnD,iBAAiB,EACjB,OAAO,CACR,CAAC;QACF,MAAM,gBAAgB,GACpB,+BAA+B,CAAC,aAAa,EAAE,OAAO,CAAC;YACvD,yBAAyB,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QAEpD,IAAI,CAAC,aAAa,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,cAAc,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;YAC7D,MAAM,YAAY,GAAG,kCAAkC,CACrD,gBAAgB,EAChB,MAAM,EACN,OAAO,CACR,CAAC;YACF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1C,CAAC;YAED,MAAM,eAAe,GAAG,6BAA6B,CACnD,gBAAgB,EAChB,MAAM,EACN,OAAO,CACR,CAAC;YACF,
|
|
1
|
+
{"version":3,"file":"narrowed-union-resolution.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowed-union-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAC9E,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EACL,kCAAkC,EAClC,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AAerC;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,YAAoB,EACpB,eAAuB,EACvB,OAAuB,EACW,EAAE;IACpC,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7D,MAAM,iBAAiB,GAAG,8BAA8B,CACtD,YAAY,EACZ,OAAO,CACR,CAAC;IACF,MAAM,8BAA8B,GAAG,CACrC,aAAqB,EACrB,iBAAqC,EACH,EAAE;QACpC,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,aAAa,GAAG,+BAA+B,CACnD,iBAAiB,EACjB,OAAO,CACR,CAAC;QACF,MAAM,gBAAgB,GACpB,+BAA+B,CAAC,aAAa,EAAE,OAAO,CAAC;YACvD,yBAAyB,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QAEpD,IAAI,CAAC,aAAa,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,6BAA6B,GAAG,IAAI,GAAG,EAAU,CAAC;QACxD,MAAM,cAAc,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;YAC7D,MAAM,YAAY,GAAG,kCAAkC,CACrD,gBAAgB,EAChB,MAAM,EACN,OAAO,CACR,CAAC;YACF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;oBACjC,6BAA6B,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC3C,CAAC;gBACD,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1C,CAAC;YAED,MAAM,eAAe,GAAG,6BAA6B,CACnD,gBAAgB,EAChB,MAAM,EACN,OAAO,CACR,CAAC;YACF,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC/B,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;oBACpC,6BAA6B,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC3C,CAAC;gBACD,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1C,CAAC;YAED,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC,CAAC;QAEH,IACE,cAAc,CAAC,MAAM,KAAK,CAAC;YAC3B,6BAA6B,CAAC,IAAI,KAAK,gBAAgB,CAAC,MAAM,EAC9D,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,OAAO,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC;YACnD,iBAAiB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC;YAC/D,iBAAiB,EAAE,aAAa,CAAC,MAAM;SACxC,CAAC;IACJ,CAAC,CAAC;IAEF,IAAI,CAAC,uBAAuB,CAAC,iBAAiB,IAAI,eAAe,EAAE,OAAO,CAAC,EAAE,CAAC;QAC5E,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,8DAA8D;IAC9D,IACE,QAAQ,EAAE,IAAI,KAAK,eAAe;QAClC,QAAQ,CAAC,aAAa;QACtB,QAAQ,CAAC,uBAAuB;QAChC,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,QAAQ,CAAC,uBAAuB,CAAC,MAAM,EACzE,CAAC;QACD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QAC1D,MAAM,eAAe,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CACjE,eAAe,CAAC,GAAG,CACjB,QAAQ,CAAC,uBAAuB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CACvD,CACF,CAAC;QACF,MAAM,yBAAyB,GAAG,QAAQ,CAAC,uBAAuB,CAAC,MAAM,CACvE,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAC1C,CAAC;QAEF,IACE,eAAe,CAAC,MAAM,KAAK,CAAC;YAC5B,eAAe,CAAC,MAAM,KAAK,yBAAyB,CAAC,MAAM,EAC3D,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,OAAO,EAAE,eAAe;YACxB,iBAAiB,EAAE,yBAAyB;YAC5C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;SAC9C,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,8BAA8B,CACnD,QAAQ,EAAE,IAAI,IAAI,eAAe,EACjC,iBAAiB,IAAI,QAAQ,EAAE,UAAU,IAAI,eAAe,CAC7D,CAAC;IACF,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,oEAAoE;IACpE,MAAM,iBAAiB,GACrB,QAAQ,EAAE,IAAI,KAAK,eAAe;QAChC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,IAAI,iBAAiB,IAAI,eAAe,CAAC;QAC/D,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI;YACf,QAAQ,EAAE,UAAU;YACpB,iBAAiB;YACjB,eAAe,CAAC,CAAC;IAEvB,4DAA4D;IAC5D,MAAM,OAAO,GAAG,+BAA+B,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;IAC5E,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,MAAM,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC;IACzC,MAAM,iBAAiB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAE/D,+CAA+C;IAC/C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACnD,OAAO;YACL,OAAO;YACP,iBAAiB;YACjB,iBAAiB;SAClB,CAAC;IACJ,CAAC;IAED,gCAAgC;IAChC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAC1D,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAClD,eAAe,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAC/B,CAAC;IACF,MAAM,yBAAyB,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CACrE,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAC7B,CAAC;IAEF,IACE,eAAe,CAAC,MAAM,KAAK,CAAC;QAC5B,eAAe,CAAC,MAAM,KAAK,yBAAyB,CAAC,MAAM,EAC3D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,OAAO,EAAE,eAAe;QACxB,iBAAiB,EAAE,yBAAyB;QAC5C,iBAAiB;KAClB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,YAAgC,EAChC,aAAiC,EACjC,iBAAqC,EACrC,OAAuB,EACW,EAAE;IACpC,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,UAAU,GAAG,2BAA2B,CAC5C,YAAY,EACZ,aAAa,EACb,OAAO,CACR,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,+BAA+B,CACpD,iBAAiB,EACjB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,wBAAwB,GAC5B,+BAA+B,CAAC,aAAa,EAAE,OAAO,CAAC;QACvD,yBAAyB,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,wBAAwB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE;QACrE,MAAM,YAAY,GAAG,kCAAkC,CACrD,wBAAwB,EACxB,aAAa,EACb,OAAO,CACR,CAAC;QACF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,CAAC;QAED,MAAM,eAAe,GAAG,6BAA6B,CACnD,wBAAwB,EACxB,aAAa,EACb,OAAO,CACR,CAAC;QACF,OAAO,eAAe,CAAC,MAAM,GAAG,CAAC;YAC/B,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC;YACjD,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,OAAO,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC;QACnD,iBAAiB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC;QAC/D,iBAAiB,EAAE,cAAc,CAAC,MAAM;KACzC,CAAC;AACJ,CAAC,CAAC"}
|
|
@@ -16,9 +16,12 @@ export type RuntimeSubsetSourceInfo = {
|
|
|
16
16
|
readonly sourceType: IrType;
|
|
17
17
|
readonly sourceMembers?: readonly IrType[];
|
|
18
18
|
readonly sourceCandidateMemberNs?: readonly number[];
|
|
19
|
+
readonly runtimeUnionArity?: number;
|
|
19
20
|
};
|
|
20
21
|
export declare const toReceiverAst: (receiver: string | CSharpExpressionAst) => CSharpExpressionAst;
|
|
21
22
|
export declare const buildUnionNarrowAst: (receiver: string | CSharpExpressionAst, memberN: number) => CSharpExpressionAst;
|
|
23
|
+
export declare const tryMapProjectedRuntimeMemberN: (receiver: string | CSharpExpressionAst, sourceMemberN: number) => number | undefined;
|
|
24
|
+
export declare const buildMappedUnionNarrowAst: (receiver: string | CSharpExpressionAst, sourceMemberN: number) => CSharpExpressionAst;
|
|
22
25
|
export declare const buildSubsetUnionType: (members: readonly IrType[]) => IrType | undefined;
|
|
23
26
|
export declare const withoutNarrowedBinding: (context: EmitterContext, bindingKey: string) => EmitterContext;
|
|
24
27
|
export declare const applyBinding: (bindingKey: string, binding: NarrowedBinding, context: EmitterContext) => EmitterContext;
|
|
@@ -37,8 +40,6 @@ export declare const buildRuntimeSubsetExpressionAst: (expr: Extract<IrExpressio
|
|
|
37
40
|
}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
38
41
|
export declare const buildConditionalNullishGuardAst: (sourceAst: CSharpExpressionAst, whenNonNull: CSharpExpressionAst, targetType: IrType, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
|
|
39
42
|
export declare const tryStripConditionalNullishGuardAst: (exprAst: CSharpExpressionAst) => CSharpExpressionAst | undefined;
|
|
40
|
-
export declare const isArrayLikeNarrowingCandidate: (type: IrType, context: EmitterContext) => boolean;
|
|
41
|
-
export declare const narrowTypeByArrayShape: (currentType: IrType | undefined, wantArray: boolean, context: EmitterContext, seen?: Set<string>) => IrType | undefined;
|
|
42
43
|
export declare const narrowTypeByNotAssignableTarget: (currentType: IrType | undefined, targetType: IrType | undefined, context: EmitterContext) => IrType | undefined;
|
|
43
44
|
export declare const currentNarrowedType: (bindingKey: string, fallbackType: IrType | undefined, context: EmitterContext) => IrType | undefined;
|
|
44
45
|
export declare const resolveRuntimeUnionFrame: (originalName: string, unionSourceType: IrType, context: EmitterContext) => NarrowedUnionMembers | undefined;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"narrowing-builder-core.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builder-core.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,
|
|
1
|
+
{"version":3,"file":"narrowing-builder-core.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builder-core.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAuB,MAAM,kBAAkB,CAAC;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACtE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAU1E,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,gCAAgC,CAAC;AAMxC,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,OAAO,CAAC;AAElD,MAAM,MAAM,aAAa,GAAG,CAC1B,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,cAAc,KACpB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;AAE3C,MAAM,MAAM,iBAAiB,GAAG,oBAAoB,CAAC;AAErD,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,uBAAuB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CACrC,CAAC;AAEF,eAAO,MAAM,aAAa,GACxB,UAAU,MAAM,GAAG,mBAAmB,KACrC,mBAGW,CAAC;AAEf,eAAO,MAAM,mBAAmB,GAC9B,UAAU,MAAM,GAAG,mBAAmB,EACtC,SAAS,MAAM,KACd,mBAWD,CAAC;AAqEH,eAAO,MAAM,6BAA6B,GACxC,UAAU,MAAM,GAAG,mBAAmB,EACtC,eAAe,MAAM,KACpB,MAAM,GAAG,SAsBX,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,UAAU,MAAM,GAAG,mBAAmB,EACtC,eAAe,MAAM,KACpB,mBAIA,CAAC;AAEJ,eAAO,MAAM,oBAAoB,GAC/B,SAAS,SAAS,MAAM,EAAE,KACzB,MAAM,GAAG,SAIX,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,SAAS,cAAc,EACvB,YAAY,MAAM,KACjB,cAYF,CAAC;AAEF,eAAO,MAAM,YAAY,GACvB,YAAY,MAAM,EAClB,SAAS,eAAe,EACxB,SAAS,cAAc,KACtB,cAOF,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,YAAY,MAAM,EAClB,aAAa,MAAM,EACnB,mBAAmB,iBAAiB,EACpC,SAAS,cAAc,KACtB,uBAwCF,CAAC;AAEF,eAAO,MAAM,gBAAgB,GAC3B,SAAS,mBAAmB,EAC5B,MAAM,MAAM,GAAG,SAAS,EACxB,YAAY,MAAM,GAAG,SAAS,EAC9B,iBAAiB,mBAAmB,EACpC,cAAc,MAAM,EACpB,iBAAiB,mBAAmB,EACpC,cAAc,MAAM,KACnB,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAS1C,CAAC;AAEH,eAAO,MAAM,yBAAyB,GACpC,SAAS,mBAAmB,EAC5B,MAAM,MAAM,GAAG,SAAS,EACxB,YAAY,MAAM,GAAG,SAAS,EAC9B,gBAAgB,mBAAmB,EACnC,cAAc,MAAM,EACpB,cAAc,MAAM,KACnB,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CASzC,CAAC;AAEJ,eAAO,MAAM,kCAAkC,GAC7C,YAAY,MAAM,EAClB,aAAa,MAAM,GAAG,SAAS,EAC/B,SAAS,cAAc,KACtB,MAAM,GAAG,SAC0D,CAAC;AAEvE,eAAO,MAAM,+BAA+B,GAC1C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC7D,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA2B1C,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,WAAW,mBAAmB,EAC9B,aAAa,mBAAmB,EAChC,YAAY,MAAM,EAClB,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CA0BtC,CAAC;AAEF,eAAO,MAAM,kCAAkC,GAC7C,SAAS,mBAAmB,KAC3B,mBAAmB,GAAG,SA8DxB,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,aAAa,MAAM,GAAG,SAAS,EAC/B,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,KACtB,MAAM,GAAG,SAmBX,CAAC;AAEF,eAAO,MAAM,mBAAmB,GAC9B,YAAY,MAAM,EAClB,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,MAAM,GAAG,SACqD,CAAC;AAElE,eAAO,MAAM,wBAAwB,8GAA8B,CAAC;AAEpE,eAAO,MAAM,iBAAiB,GAAI,MAAM,YAAY,KAAG,OAStD,CAAC"}
|