@tsonic/frontend 0.0.73 → 0.0.75
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/core-intrinsics/provenance.d.ts +7 -0
- package/dist/core-intrinsics/provenance.d.ts.map +1 -1
- package/dist/core-intrinsics/provenance.js +28 -8
- package/dist/core-intrinsics/provenance.js.map +1 -1
- package/dist/graph/extraction/imports.d.ts.map +1 -1
- package/dist/graph/extraction/imports.js +2 -0
- package/dist/graph/extraction/imports.js.map +1 -1
- package/dist/ir/binding/binding-call-resolution-calls.d.ts +11 -0
- package/dist/ir/binding/binding-call-resolution-calls.d.ts.map +1 -0
- package/dist/ir/binding/binding-call-resolution-calls.js +974 -0
- package/dist/ir/binding/binding-call-resolution-calls.js.map +1 -0
- package/dist/ir/binding/binding-call-resolution-candidates.d.ts +15 -0
- package/dist/ir/binding/binding-call-resolution-candidates.d.ts.map +1 -0
- package/dist/ir/binding/binding-call-resolution-candidates.js +178 -0
- package/dist/ir/binding/binding-call-resolution-candidates.js.map +1 -0
- package/dist/ir/binding/binding-call-resolution.d.ts +11 -0
- package/dist/ir/binding/binding-call-resolution.d.ts.map +1 -0
- package/dist/ir/binding/binding-call-resolution.js +11 -0
- package/dist/ir/binding/binding-call-resolution.js.map +1 -0
- package/dist/ir/binding/binding-factory.d.ts +7 -4
- package/dist/ir/binding/binding-factory.d.ts.map +1 -1
- package/dist/ir/binding/binding-factory.js +44 -829
- package/dist/ir/binding/binding-factory.js.map +1 -1
- package/dist/ir/binding/binding-helpers.d.ts +1 -0
- package/dist/ir/binding/binding-helpers.d.ts.map +1 -1
- package/dist/ir/binding/binding-helpers.js +37 -14
- package/dist/ir/binding/binding-helpers.js.map +1 -1
- package/dist/ir/binding/binding-registry.d.ts +52 -0
- package/dist/ir/binding/binding-registry.d.ts.map +1 -0
- package/dist/ir/binding/binding-registry.js +582 -0
- package/dist/ir/binding/binding-registry.js.map +1 -0
- package/dist/ir/binding/binding-types.d.ts +2 -0
- package/dist/ir/binding/binding-types.d.ts.map +1 -1
- package/dist/ir/binding-resolution-cases/extension-method-binding.test.d.ts +7 -0
- package/dist/ir/binding-resolution-cases/extension-method-binding.test.d.ts.map +1 -0
- package/dist/ir/binding-resolution-cases/extension-method-binding.test.js +463 -0
- package/dist/ir/binding-resolution-cases/extension-method-binding.test.js.map +1 -0
- package/dist/ir/binding-resolution-cases/extension-method-owner-resolution.test.d.ts +6 -0
- package/dist/ir/binding-resolution-cases/extension-method-owner-resolution.test.d.ts.map +1 -0
- package/dist/ir/binding-resolution-cases/extension-method-owner-resolution.test.js +252 -0
- package/dist/ir/binding-resolution-cases/extension-method-owner-resolution.test.js.map +1 -0
- package/dist/ir/binding-resolution-cases/extension-method-tsbindgen-modifiers.test.d.ts +6 -0
- package/dist/ir/binding-resolution-cases/extension-method-tsbindgen-modifiers.test.d.ts.map +1 -0
- package/dist/ir/binding-resolution-cases/extension-method-tsbindgen-modifiers.test.js +369 -0
- package/dist/ir/binding-resolution-cases/extension-method-tsbindgen-modifiers.test.js.map +1 -0
- package/dist/ir/binding-resolution-cases/extract-type-name.test.d.ts +5 -0
- package/dist/ir/binding-resolution-cases/extract-type-name.test.d.ts.map +1 -0
- package/dist/ir/binding-resolution-cases/extract-type-name.test.js +57 -0
- package/dist/ir/binding-resolution-cases/extract-type-name.test.js.map +1 -0
- package/dist/ir/binding-resolution-cases/global-binding-preferences.test.d.ts +5 -0
- package/dist/ir/binding-resolution-cases/global-binding-preferences.test.d.ts.map +1 -0
- package/dist/ir/binding-resolution-cases/global-binding-preferences.test.js +323 -0
- package/dist/ir/binding-resolution-cases/global-binding-preferences.test.js.map +1 -0
- package/dist/ir/binding-resolution-cases/global-identifier-resolution.test.d.ts +5 -0
- package/dist/ir/binding-resolution-cases/global-identifier-resolution.test.d.ts.map +1 -0
- package/dist/ir/binding-resolution-cases/global-identifier-resolution.test.js +1057 -0
- package/dist/ir/binding-resolution-cases/global-identifier-resolution.test.js.map +1 -0
- package/dist/ir/binding-resolution-cases/helpers.d.ts +38 -0
- package/dist/ir/binding-resolution-cases/helpers.d.ts.map +1 -0
- package/dist/ir/binding-resolution-cases/helpers.js +59 -0
- package/dist/ir/binding-resolution-cases/helpers.js.map +1 -0
- package/dist/ir/binding-resolution-cases/hierarchical-binding-resolution.test.d.ts +5 -0
- package/dist/ir/binding-resolution-cases/hierarchical-binding-resolution.test.d.ts.map +1 -0
- package/dist/ir/binding-resolution-cases/hierarchical-binding-resolution.test.js +259 -0
- package/dist/ir/binding-resolution-cases/hierarchical-binding-resolution.test.js.map +1 -0
- package/dist/ir/binding-resolution-cases/imported-globals-shadowing.test.d.ts +2 -0
- package/dist/ir/binding-resolution-cases/imported-globals-shadowing.test.d.ts.map +1 -0
- package/dist/ir/binding-resolution-cases/imported-globals-shadowing.test.js +566 -0
- package/dist/ir/binding-resolution-cases/imported-globals-shadowing.test.js.map +1 -0
- package/dist/ir/binding-resolution-cases/js-array-member-binding.test.d.ts +5 -0
- package/dist/ir/binding-resolution-cases/js-array-member-binding.test.d.ts.map +1 -0
- package/dist/ir/binding-resolution-cases/js-array-member-binding.test.js +186 -0
- package/dist/ir/binding-resolution-cases/js-array-member-binding.test.js.map +1 -0
- package/dist/ir/binding-resolution-cases/module-import-type-alias-renaming.test.d.ts +6 -0
- package/dist/ir/binding-resolution-cases/module-import-type-alias-renaming.test.d.ts.map +1 -0
- package/dist/ir/binding-resolution-cases/module-import-type-alias-renaming.test.js +198 -0
- package/dist/ir/binding-resolution-cases/module-import-type-alias-renaming.test.js.map +1 -0
- package/dist/ir/binding-resolution.test.d.ts +9 -4
- package/dist/ir/binding-resolution.test.d.ts.map +1 -1
- package/dist/ir/binding-resolution.test.js +9 -1428
- package/dist/ir/binding-resolution.test.js.map +1 -1
- package/dist/ir/bindings-disambiguation-cases/failure-disambiguation.test.d.ts +8 -0
- package/dist/ir/bindings-disambiguation-cases/failure-disambiguation.test.d.ts.map +1 -0
- package/dist/ir/bindings-disambiguation-cases/failure-disambiguation.test.js +255 -0
- package/dist/ir/bindings-disambiguation-cases/failure-disambiguation.test.js.map +1 -0
- package/dist/ir/bindings-disambiguation-cases/success-disambiguation.test.d.ts +11 -0
- package/dist/ir/bindings-disambiguation-cases/success-disambiguation.test.d.ts.map +1 -0
- package/dist/ir/bindings-disambiguation-cases/success-disambiguation.test.js +326 -0
- package/dist/ir/bindings-disambiguation-cases/success-disambiguation.test.js.map +1 -0
- package/dist/ir/bindings-disambiguation.test.d.ts +2 -10
- package/dist/ir/bindings-disambiguation.test.d.ts.map +1 -1
- package/dist/ir/bindings-disambiguation.test.js +2 -561
- package/dist/ir/bindings-disambiguation.test.js.map +1 -1
- package/dist/ir/builder/exports.d.ts +2 -2
- package/dist/ir/builder/exports.d.ts.map +1 -1
- package/dist/ir/builder/exports.js +6 -10
- package/dist/ir/builder/exports.js.map +1 -1
- package/dist/ir/builder/imports.d.ts.map +1 -1
- package/dist/ir/builder/imports.js +105 -62
- package/dist/ir/builder/imports.js.map +1 -1
- package/dist/ir/builder/orchestrator.d.ts.map +1 -1
- package/dist/ir/builder/orchestrator.js +7 -9
- package/dist/ir/builder/orchestrator.js.map +1 -1
- package/dist/ir/builder/statements.d.ts +5 -0
- package/dist/ir/builder/statements.d.ts.map +1 -1
- package/dist/ir/builder/statements.js +16 -5
- package/dist/ir/builder/statements.js.map +1 -1
- package/dist/ir/builder-cases/_test-helpers.d.ts +61 -0
- package/dist/ir/builder-cases/_test-helpers.d.ts.map +1 -0
- package/dist/ir/builder-cases/_test-helpers.js +123 -0
- package/dist/ir/builder-cases/_test-helpers.js.map +1 -0
- package/dist/ir/builder-cases/call-inference-generics/alias-cache.test.d.ts +2 -0
- package/dist/ir/builder-cases/call-inference-generics/alias-cache.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/call-inference-generics/alias-cache.test.js +123 -0
- package/dist/ir/builder-cases/call-inference-generics/alias-cache.test.js.map +1 -0
- package/dist/ir/builder-cases/call-inference-generics/context-threading.test.d.ts +2 -0
- package/dist/ir/builder-cases/call-inference-generics/context-threading.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/call-inference-generics/context-threading.test.js +839 -0
- package/dist/ir/builder-cases/call-inference-generics/context-threading.test.js.map +1 -0
- package/dist/ir/builder-cases/clr-identity.test.d.ts +5 -0
- package/dist/ir/builder-cases/clr-identity.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/clr-identity.test.js +188 -0
- package/dist/ir/builder-cases/clr-identity.test.js.map +1 -0
- package/dist/ir/builder-cases/clr-iterable-overload-resolution.test.d.ts +2 -0
- package/dist/ir/builder-cases/clr-iterable-overload-resolution.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/clr-iterable-overload-resolution.test.js +1436 -0
- package/dist/ir/builder-cases/clr-iterable-overload-resolution.test.js.map +1 -0
- package/dist/ir/builder-cases/conditional-narrowing.test.d.ts +5 -0
- package/dist/ir/builder-cases/conditional-narrowing.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/conditional-narrowing.test.js +598 -0
- package/dist/ir/builder-cases/conditional-narrowing.test.js.map +1 -0
- package/dist/ir/builder-cases/contextual-typing-middleware.test.d.ts +5 -0
- package/dist/ir/builder-cases/contextual-typing-middleware.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/contextual-typing-middleware.test.js +384 -0
- package/dist/ir/builder-cases/contextual-typing-middleware.test.js.map +1 -0
- package/dist/ir/builder-cases/expression-conversion.test.d.ts +5 -0
- package/dist/ir/builder-cases/expression-conversion.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/expression-conversion.test.js +712 -0
- package/dist/ir/builder-cases/expression-conversion.test.js.map +1 -0
- package/dist/ir/builder-cases/fluent-and-nullable-params.test.d.ts +5 -0
- package/dist/ir/builder-cases/fluent-and-nullable-params.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/fluent-and-nullable-params.test.js +170 -0
- package/dist/ir/builder-cases/fluent-and-nullable-params.test.js.map +1 -0
- package/dist/ir/builder-cases/for-of-loops.test.d.ts +5 -0
- package/dist/ir/builder-cases/for-of-loops.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/for-of-loops.test.js +367 -0
- package/dist/ir/builder-cases/for-of-loops.test.js.map +1 -0
- package/dist/ir/builder-cases/generic-call-parameter-specialization.test.d.ts +2 -0
- package/dist/ir/builder-cases/generic-call-parameter-specialization.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/generic-call-parameter-specialization.test.js +192 -0
- package/dist/ir/builder-cases/generic-call-parameter-specialization.test.js.map +1 -0
- package/dist/ir/builder-cases/implements-and-struct.test.d.ts +5 -0
- package/dist/ir/builder-cases/implements-and-struct.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/implements-and-struct.test.js +145 -0
- package/dist/ir/builder-cases/implements-and-struct.test.js.map +1 -0
- package/dist/ir/builder-cases/import-extraction.test.d.ts +5 -0
- package/dist/ir/builder-cases/import-extraction.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/import-extraction.test.js +852 -0
- package/dist/ir/builder-cases/import-extraction.test.js.map +1 -0
- package/dist/ir/builder-cases/imported-null-guard-assignments.test.d.ts +2 -0
- package/dist/ir/builder-cases/imported-null-guard-assignments.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/imported-null-guard-assignments.test.js +185 -0
- package/dist/ir/builder-cases/imported-null-guard-assignments.test.js.map +1 -0
- package/dist/ir/builder-cases/imported-union-aliases.test.d.ts +2 -0
- package/dist/ir/builder-cases/imported-union-aliases.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/imported-union-aliases.test.js +255 -0
- package/dist/ir/builder-cases/imported-union-aliases.test.js.map +1 -0
- package/dist/ir/builder-cases/installed-source-package-deterministic-typing.test.d.ts +2 -0
- package/dist/ir/builder-cases/installed-source-package-deterministic-typing.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/installed-source-package-deterministic-typing.test.js +1267 -0
- package/dist/ir/builder-cases/installed-source-package-deterministic-typing.test.js.map +1 -0
- package/dist/ir/builder-cases/invocation-flow-assertions.test.d.ts +2 -0
- package/dist/ir/builder-cases/invocation-flow-assertions.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/invocation-flow-assertions.test.js +198 -0
- package/dist/ir/builder-cases/invocation-flow-assertions.test.js.map +1 -0
- package/dist/ir/builder-cases/js-surface-helpers.test.d.ts +5 -0
- package/dist/ir/builder-cases/js-surface-helpers.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/js-surface-helpers.test.js +1990 -0
- package/dist/ir/builder-cases/js-surface-helpers.test.js.map +1 -0
- package/dist/ir/builder-cases/module-structure-and-exports.test.d.ts +5 -0
- package/dist/ir/builder-cases/module-structure-and-exports.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/module-structure-and-exports.test.js +97 -0
- package/dist/ir/builder-cases/module-structure-and-exports.test.js.map +1 -0
- package/dist/ir/builder-cases/namespace-imports-and-function-narrowing.test.d.ts +5 -0
- package/dist/ir/builder-cases/namespace-imports-and-function-narrowing.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/namespace-imports-and-function-narrowing.test.js +511 -0
- package/dist/ir/builder-cases/namespace-imports-and-function-narrowing.test.js.map +1 -0
- package/dist/ir/builder-cases/narrowing-isarray-and-typeof.test.d.ts +5 -0
- package/dist/ir/builder-cases/narrowing-isarray-and-typeof.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/narrowing-isarray-and-typeof.test.js +676 -0
- package/dist/ir/builder-cases/narrowing-isarray-and-typeof.test.js.map +1 -0
- package/dist/ir/builder-cases/object-exports-and-member-inference.test.d.ts +5 -0
- package/dist/ir/builder-cases/object-exports-and-member-inference.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/object-exports-and-member-inference.test.js +159 -0
- package/dist/ir/builder-cases/object-exports-and-member-inference.test.js.map +1 -0
- package/dist/ir/builder-cases/object-synthesis-advanced.test.d.ts +5 -0
- package/dist/ir/builder-cases/object-synthesis-advanced.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/object-synthesis-advanced.test.js +250 -0
- package/dist/ir/builder-cases/object-synthesis-advanced.test.js.map +1 -0
- package/dist/ir/builder-cases/object-synthesis.test.d.ts +5 -0
- package/dist/ir/builder-cases/object-synthesis.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/object-synthesis.test.js +254 -0
- package/dist/ir/builder-cases/object-synthesis.test.js.map +1 -0
- package/dist/ir/builder-cases/overload-family-markers.test.d.ts +2 -0
- package/dist/ir/builder-cases/overload-family-markers.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/overload-family-markers.test.js +264 -0
- package/dist/ir/builder-cases/overload-family-markers.test.js.map +1 -0
- package/dist/ir/builder-cases/overload-null-guard-selection.test.d.ts +2 -0
- package/dist/ir/builder-cases/overload-null-guard-selection.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/overload-null-guard-selection.test.js +210 -0
- package/dist/ir/builder-cases/overload-null-guard-selection.test.js.map +1 -0
- package/dist/ir/builder-cases/overload-stub-typing.test.d.ts +2 -0
- package/dist/ir/builder-cases/overload-stub-typing.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/overload-stub-typing.test.js +111 -0
- package/dist/ir/builder-cases/overload-stub-typing.test.js.map +1 -0
- package/dist/ir/builder-cases/private-members-and-instanceof.test.d.ts +5 -0
- package/dist/ir/builder-cases/private-members-and-instanceof.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/private-members-and-instanceof.test.js +239 -0
- package/dist/ir/builder-cases/private-members-and-instanceof.test.js.map +1 -0
- package/dist/ir/builder-cases/promise-callback-typing.test.d.ts +5 -0
- package/dist/ir/builder-cases/promise-callback-typing.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/promise-callback-typing.test.js +977 -0
- package/dist/ir/builder-cases/promise-callback-typing.test.js.map +1 -0
- package/dist/ir/builder-cases/recursive-aliases-and-flow-types.test.d.ts +5 -0
- package/dist/ir/builder-cases/recursive-aliases-and-flow-types.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/recursive-aliases-and-flow-types.test.js +509 -0
- package/dist/ir/builder-cases/recursive-aliases-and-flow-types.test.js.map +1 -0
- package/dist/ir/builder-cases/statement-conversion.test.d.ts +5 -0
- package/dist/ir/builder-cases/statement-conversion.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/statement-conversion.test.js +240 -0
- package/dist/ir/builder-cases/statement-conversion.test.js.map +1 -0
- package/dist/ir/builder-cases/type-access-and-records.test.d.ts +5 -0
- package/dist/ir/builder-cases/type-access-and-records.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/type-access-and-records.test.js +420 -0
- package/dist/ir/builder-cases/type-access-and-records.test.js.map +1 -0
- package/dist/ir/builder-cases/typeof-narrowing-and-intrinsics.test.d.ts +5 -0
- package/dist/ir/builder-cases/typeof-narrowing-and-intrinsics.test.d.ts.map +1 -0
- package/dist/ir/builder-cases/typeof-narrowing-and-intrinsics.test.js +187 -0
- package/dist/ir/builder-cases/typeof-narrowing-and-intrinsics.test.js.map +1 -0
- package/dist/ir/builder.test.d.ts +27 -4
- package/dist/ir/builder.test.d.ts.map +1 -1
- package/dist/ir/builder.test.js +27 -3579
- package/dist/ir/builder.test.js.map +1 -1
- package/dist/ir/converters/access-paths.d.ts +20 -0
- package/dist/ir/converters/access-paths.d.ts.map +1 -0
- package/dist/ir/converters/access-paths.js +163 -0
- package/dist/ir/converters/access-paths.js.map +1 -0
- package/dist/ir/converters/array-type-guards.d.ts +7 -0
- package/dist/ir/converters/array-type-guards.d.ts.map +1 -0
- package/dist/ir/converters/array-type-guards.js +33 -0
- package/dist/ir/converters/array-type-guards.js.map +1 -0
- package/dist/ir/converters/assertion-wrapping.d.ts +4 -0
- package/dist/ir/converters/assertion-wrapping.d.ts.map +1 -0
- package/dist/ir/converters/assertion-wrapping.js +40 -0
- package/dist/ir/converters/assertion-wrapping.js.map +1 -0
- package/dist/ir/converters/expressions/access/access-converter.d.ts.map +1 -1
- package/dist/ir/converters/expressions/access/access-converter.js +104 -41
- package/dist/ir/converters/expressions/access/access-converter.js.map +1 -1
- package/dist/ir/converters/expressions/access/binding-resolution-hierarchical.d.ts +18 -0
- package/dist/ir/converters/expressions/access/binding-resolution-hierarchical.d.ts.map +1 -0
- package/dist/ir/converters/expressions/access/binding-resolution-hierarchical.js +347 -0
- package/dist/ir/converters/expressions/access/binding-resolution-hierarchical.js.map +1 -0
- package/dist/ir/converters/expressions/access/binding-resolution-memberid.d.ts +28 -0
- package/dist/ir/converters/expressions/access/binding-resolution-memberid.d.ts.map +1 -0
- package/dist/ir/converters/expressions/access/binding-resolution-memberid.js +522 -0
- package/dist/ir/converters/expressions/access/binding-resolution-memberid.js.map +1 -0
- package/dist/ir/converters/expressions/access/binding-resolution.d.ts +7 -31
- package/dist/ir/converters/expressions/access/binding-resolution.d.ts.map +1 -1
- package/dist/ir/converters/expressions/access/binding-resolution.js +7 -490
- package/dist/ir/converters/expressions/access/binding-resolution.js.map +1 -1
- package/dist/ir/converters/expressions/access/member-resolution.d.ts +7 -6
- package/dist/ir/converters/expressions/access/member-resolution.d.ts.map +1 -1
- package/dist/ir/converters/expressions/access/member-resolution.js +323 -77
- package/dist/ir/converters/expressions/access/member-resolution.js.map +1 -1
- package/dist/ir/converters/expressions/ambient-global-source-owner.d.ts +5 -0
- package/dist/ir/converters/expressions/ambient-global-source-owner.d.ts.map +1 -0
- package/dist/ir/converters/expressions/ambient-global-source-owner.js +252 -0
- package/dist/ir/converters/expressions/ambient-global-source-owner.js.map +1 -0
- package/dist/ir/converters/expressions/array-literals.d.ts +25 -0
- package/dist/ir/converters/expressions/array-literals.d.ts.map +1 -0
- package/dist/ir/converters/expressions/array-literals.js +356 -0
- package/dist/ir/converters/expressions/array-literals.js.map +1 -0
- package/dist/ir/converters/expressions/calls/bound-global-call-parameters.d.ts +13 -0
- package/dist/ir/converters/expressions/calls/bound-global-call-parameters.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/bound-global-call-parameters.js +56 -0
- package/dist/ir/converters/expressions/calls/bound-global-call-parameters.js.map +1 -0
- package/dist/ir/converters/expressions/calls/call-converter.d.ts +7 -17
- package/dist/ir/converters/expressions/calls/call-converter.d.ts.map +1 -1
- package/dist/ir/converters/expressions/calls/call-converter.js +7 -648
- package/dist/ir/converters/expressions/calls/call-converter.js.map +1 -1
- package/dist/ir/converters/expressions/calls/call-expression.d.ts +9 -0
- package/dist/ir/converters/expressions/calls/call-expression.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/call-expression.js +9 -0
- package/dist/ir/converters/expressions/calls/call-expression.js.map +1 -0
- package/dist/ir/converters/expressions/calls/call-general.d.ts +25 -0
- package/dist/ir/converters/expressions/calls/call-general.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/call-general.js +2237 -0
- package/dist/ir/converters/expressions/calls/call-general.js.map +1 -0
- package/dist/ir/converters/expressions/calls/call-intrinsics.d.ts +16 -0
- package/dist/ir/converters/expressions/calls/call-intrinsics.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/call-intrinsics.js +308 -0
- package/dist/ir/converters/expressions/calls/call-intrinsics.js.map +1 -0
- package/dist/ir/converters/expressions/calls/call-resolution.d.ts +58 -0
- package/dist/ir/converters/expressions/calls/call-resolution.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/call-resolution.js +293 -0
- package/dist/ir/converters/expressions/calls/call-resolution.js.map +1 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis-argument-passing.d.ts +51 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis-argument-passing.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis-argument-passing.js +313 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis-argument-passing.js.map +1 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis-unification.d.ts +13 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis-unification.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis-unification.js +251 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis-unification.js.map +1 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis-unification.test.d.ts +2 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis-unification.test.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis-unification.test.js +18 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis-unification.test.js.map +1 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis.d.ts +12 -51
- package/dist/ir/converters/expressions/calls/call-site-analysis.d.ts.map +1 -1
- package/dist/ir/converters/expressions/calls/call-site-analysis.js +9 -524
- package/dist/ir/converters/expressions/calls/call-site-analysis.js.map +1 -1
- package/dist/ir/converters/expressions/calls/invocation-finalization.d.ts +56 -0
- package/dist/ir/converters/expressions/calls/invocation-finalization.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/invocation-finalization.js +723 -0
- package/dist/ir/converters/expressions/calls/invocation-finalization.js.map +1 -0
- package/dist/ir/converters/expressions/calls/new-converter.d.ts.map +1 -1
- package/dist/ir/converters/expressions/calls/new-converter.js +78 -3
- package/dist/ir/converters/expressions/calls/new-converter.js.map +1 -1
- package/dist/ir/converters/expressions/calls/source-backed-constructor-metadata.d.ts +22 -0
- package/dist/ir/converters/expressions/calls/source-backed-constructor-metadata.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/source-backed-constructor-metadata.js +257 -0
- package/dist/ir/converters/expressions/calls/source-backed-constructor-metadata.js.map +1 -0
- package/dist/ir/converters/expressions/collections.d.ts +5 -25
- package/dist/ir/converters/expressions/collections.d.ts.map +1 -1
- package/dist/ir/converters/expressions/collections.js +5 -883
- package/dist/ir/converters/expressions/collections.js.map +1 -1
- package/dist/ir/converters/expressions/dynamic-import.d.ts.map +1 -1
- package/dist/ir/converters/expressions/dynamic-import.js.map +1 -1
- package/dist/ir/converters/expressions/functions.d.ts.map +1 -1
- package/dist/ir/converters/expressions/functions.js +80 -65
- package/dist/ir/converters/expressions/functions.js.map +1 -1
- package/dist/ir/converters/expressions/helpers.js +1 -1
- package/dist/ir/converters/expressions/helpers.js.map +1 -1
- package/dist/ir/converters/expressions/import-meta.d.ts +3 -3
- package/dist/ir/converters/expressions/import-meta.d.ts.map +1 -1
- package/dist/ir/converters/expressions/import-meta.js +22 -8
- package/dist/ir/converters/expressions/import-meta.js.map +1 -1
- package/dist/ir/converters/expressions/literals.d.ts.map +1 -1
- package/dist/ir/converters/expressions/literals.js +31 -6
- package/dist/ir/converters/expressions/literals.js.map +1 -1
- package/dist/ir/converters/expressions/numeric-recovery-cases/call-return-and-intent.test.d.ts +9 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/call-return-and-intent.test.d.ts.map +1 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/call-return-and-intent.test.js +124 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/call-return-and-intent.test.js.map +1 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/e2e-integration.test.d.ts +8 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/e2e-integration.test.d.ts.map +1 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/e2e-integration.test.js +117 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/e2e-integration.test.js.map +1 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/property-access-recovery.test.d.ts +8 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/property-access-recovery.test.d.ts.map +1 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/property-access-recovery.test.js +170 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/property-access-recovery.test.js.map +1 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/test-helpers.d.ts +31 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/test-helpers.d.ts.map +1 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/test-helpers.js +183 -0
- package/dist/ir/converters/expressions/numeric-recovery-cases/test-helpers.js.map +1 -0
- package/dist/ir/converters/expressions/numeric-recovery.test.d.ts +3 -16
- package/dist/ir/converters/expressions/numeric-recovery.test.d.ts.map +1 -1
- package/dist/ir/converters/expressions/numeric-recovery.test.js +3 -407
- package/dist/ir/converters/expressions/numeric-recovery.test.js.map +1 -1
- package/dist/ir/converters/expressions/object-literal-helpers.d.ts +12 -0
- package/dist/ir/converters/expressions/object-literal-helpers.d.ts.map +1 -0
- package/dist/ir/converters/expressions/object-literal-helpers.js +12 -0
- package/dist/ir/converters/expressions/object-literal-helpers.js.map +1 -0
- package/dist/ir/converters/expressions/object-literal-synthesis.d.ts +27 -0
- package/dist/ir/converters/expressions/object-literal-synthesis.d.ts.map +1 -0
- package/dist/ir/converters/expressions/object-literal-synthesis.js +459 -0
- package/dist/ir/converters/expressions/object-literal-synthesis.js.map +1 -0
- package/dist/ir/converters/expressions/object-literal-type-helpers.d.ts +27 -0
- package/dist/ir/converters/expressions/object-literal-type-helpers.d.ts.map +1 -0
- package/dist/ir/converters/expressions/object-literal-type-helpers.js +267 -0
- package/dist/ir/converters/expressions/object-literal-type-helpers.js.map +1 -0
- package/dist/ir/converters/expressions/object-literals.d.ts +16 -0
- package/dist/ir/converters/expressions/object-literals.d.ts.map +1 -0
- package/dist/ir/converters/expressions/object-literals.js +317 -0
- package/dist/ir/converters/expressions/object-literals.js.map +1 -0
- package/dist/ir/converters/expressions/operators.d.ts.map +1 -1
- package/dist/ir/converters/expressions/operators.js +33 -19
- package/dist/ir/converters/expressions/operators.js.map +1 -1
- package/dist/ir/converters/expressions/other.d.ts +4 -2
- package/dist/ir/converters/expressions/other.d.ts.map +1 -1
- package/dist/ir/converters/expressions/other.js +32 -10
- package/dist/ir/converters/expressions/other.js.map +1 -1
- package/dist/ir/converters/flow-narrowing.d.ts +6 -25
- package/dist/ir/converters/flow-narrowing.d.ts.map +1 -1
- package/dist/ir/converters/flow-narrowing.js +5 -416
- package/dist/ir/converters/flow-narrowing.js.map +1 -1
- package/dist/ir/converters/heritage-reference-type.d.ts +5 -0
- package/dist/ir/converters/heritage-reference-type.d.ts.map +1 -0
- package/dist/ir/converters/heritage-reference-type.js +22 -0
- package/dist/ir/converters/heritage-reference-type.js.map +1 -0
- package/dist/ir/converters/narrowing-candidates.d.ts +7 -0
- package/dist/ir/converters/narrowing-candidates.d.ts.map +1 -0
- package/dist/ir/converters/narrowing-candidates.js +5 -0
- package/dist/ir/converters/narrowing-candidates.js.map +1 -0
- package/dist/ir/converters/narrowing-collection.d.ts +10 -0
- package/dist/ir/converters/narrowing-collection.d.ts.map +1 -0
- package/dist/ir/converters/narrowing-collection.js +10 -0
- package/dist/ir/converters/narrowing-collection.js.map +1 -0
- package/dist/ir/converters/narrowing-environment.d.ts +13 -0
- package/dist/ir/converters/narrowing-environment.d.ts.map +1 -0
- package/dist/ir/converters/narrowing-environment.js +83 -0
- package/dist/ir/converters/narrowing-environment.js.map +1 -0
- package/dist/ir/converters/narrowing-property-helpers.d.ts +8 -0
- package/dist/ir/converters/narrowing-property-helpers.d.ts.map +1 -0
- package/dist/ir/converters/narrowing-property-helpers.js +57 -0
- package/dist/ir/converters/narrowing-property-helpers.js.map +1 -0
- package/dist/ir/converters/narrowing-resolvers-equality.d.ts +22 -0
- package/dist/ir/converters/narrowing-resolvers-equality.d.ts.map +1 -0
- package/dist/ir/converters/narrowing-resolvers-equality.js +309 -0
- package/dist/ir/converters/narrowing-resolvers-equality.js.map +1 -0
- package/dist/ir/converters/narrowing-resolvers-equality.test.d.ts +2 -0
- package/dist/ir/converters/narrowing-resolvers-equality.test.d.ts.map +1 -0
- package/dist/ir/converters/narrowing-resolvers-equality.test.js +159 -0
- package/dist/ir/converters/narrowing-resolvers-equality.test.js.map +1 -0
- package/dist/ir/converters/narrowing-resolvers-typeof.d.ts +41 -0
- package/dist/ir/converters/narrowing-resolvers-typeof.d.ts.map +1 -0
- package/dist/ir/converters/narrowing-resolvers-typeof.js +251 -0
- package/dist/ir/converters/narrowing-resolvers-typeof.js.map +1 -0
- package/dist/ir/converters/narrowing-resolvers.d.ts +12 -0
- package/dist/ir/converters/narrowing-resolvers.d.ts.map +1 -0
- package/dist/ir/converters/narrowing-resolvers.js +10 -0
- package/dist/ir/converters/narrowing-resolvers.js.map +1 -0
- package/dist/ir/converters/narrowing-truthy.d.ts +19 -0
- package/dist/ir/converters/narrowing-truthy.d.ts.map +1 -0
- package/dist/ir/converters/narrowing-truthy.js +355 -0
- package/dist/ir/converters/narrowing-truthy.js.map +1 -0
- package/dist/ir/converters/reference-type-guards.d.ts +8 -0
- package/dist/ir/converters/reference-type-guards.d.ts.map +1 -0
- package/dist/ir/converters/reference-type-guards.js +51 -0
- package/dist/ir/converters/reference-type-guards.js.map +1 -0
- package/dist/ir/converters/reference-type-guards.test.d.ts +2 -0
- package/dist/ir/converters/reference-type-guards.test.d.ts.map +1 -0
- package/dist/ir/converters/reference-type-guards.test.js +51 -0
- package/dist/ir/converters/reference-type-guards.test.js.map +1 -0
- package/dist/ir/converters/return-expression-types.d.ts +3 -0
- package/dist/ir/converters/return-expression-types.d.ts.map +1 -0
- package/dist/ir/converters/return-expression-types.js +10 -0
- package/dist/ir/converters/return-expression-types.js.map +1 -0
- package/dist/ir/converters/statements/control/blocks.d.ts.map +1 -1
- package/dist/ir/converters/statements/control/blocks.js +75 -3
- package/dist/ir/converters/statements/control/blocks.js.map +1 -1
- package/dist/ir/converters/statements/control/conditionals.d.ts.map +1 -1
- package/dist/ir/converters/statements/control/conditionals.js +2 -12
- package/dist/ir/converters/statements/control/conditionals.js.map +1 -1
- package/dist/ir/converters/statements/control/loops.d.ts.map +1 -1
- package/dist/ir/converters/statements/control/loops.js +18 -4
- package/dist/ir/converters/statements/control/loops.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/constructors.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/constructors.js +36 -19
- package/dist/ir/converters/statements/declarations/classes/constructors.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/member-names.d.ts +5 -0
- package/dist/ir/converters/statements/declarations/classes/member-names.d.ts.map +1 -0
- package/dist/ir/converters/statements/declarations/classes/member-names.js +6 -0
- package/dist/ir/converters/statements/declarations/classes/member-names.js.map +1 -0
- package/dist/ir/converters/statements/declarations/classes/method-declaration.d.ts +11 -0
- package/dist/ir/converters/statements/declarations/classes/method-declaration.d.ts.map +1 -0
- package/dist/ir/converters/statements/declarations/classes/method-declaration.js +54 -0
- package/dist/ir/converters/statements/declarations/classes/method-declaration.js.map +1 -0
- package/dist/ir/converters/statements/declarations/classes/methods.d.ts +2 -15
- package/dist/ir/converters/statements/declarations/classes/methods.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/methods.js +2 -810
- package/dist/ir/converters/statements/declarations/classes/methods.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/orchestrator.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/orchestrator.js +15 -41
- package/dist/ir/converters/statements/declarations/classes/orchestrator.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/override-detection.d.ts +4 -1
- package/dist/ir/converters/statements/declarations/classes/override-detection.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/override-detection.js +18 -10
- package/dist/ir/converters/statements/declarations/classes/override-detection.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/properties.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/properties.js +10 -3
- package/dist/ir/converters/statements/declarations/classes/properties.js.map +1 -1
- package/dist/ir/converters/statements/declarations/functions.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/functions.js +8 -2
- package/dist/ir/converters/statements/declarations/functions.js.map +1 -1
- package/dist/ir/converters/statements/declarations/interfaces.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/interfaces.js +67 -2
- package/dist/ir/converters/statements/declarations/interfaces.js.map +1 -1
- package/dist/ir/converters/statements/declarations/overload-family-builders.d.ts +9 -0
- package/dist/ir/converters/statements/declarations/overload-family-builders.d.ts.map +1 -0
- package/dist/ir/converters/statements/declarations/overload-family-builders.js +21 -0
- package/dist/ir/converters/statements/declarations/overload-family-builders.js.map +1 -0
- package/dist/ir/converters/statements/declarations/type-aliases.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/type-aliases.js +12 -1
- package/dist/ir/converters/statements/declarations/type-aliases.js.map +1 -1
- package/dist/ir/converters/statements/declarations/variable-generic-lowering.d.ts +50 -0
- package/dist/ir/converters/statements/declarations/variable-generic-lowering.d.ts.map +1 -0
- package/dist/ir/converters/statements/declarations/variable-generic-lowering.js +281 -0
- package/dist/ir/converters/statements/declarations/variable-generic-lowering.js.map +1 -0
- package/dist/ir/converters/statements/declarations/variable-helpers.d.ts +29 -0
- package/dist/ir/converters/statements/declarations/variable-helpers.d.ts.map +1 -0
- package/dist/ir/converters/statements/declarations/variable-helpers.js +58 -0
- package/dist/ir/converters/statements/declarations/variable-helpers.js.map +1 -0
- package/dist/ir/converters/statements/declarations/variables-generic-function-values.d.ts +21 -0
- package/dist/ir/converters/statements/declarations/variables-generic-function-values.d.ts.map +1 -0
- package/dist/ir/converters/statements/declarations/variables-generic-function-values.js +263 -0
- package/dist/ir/converters/statements/declarations/variables-generic-function-values.js.map +1 -0
- package/dist/ir/converters/statements/declarations/variables.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/variables.js +3 -262
- package/dist/ir/converters/statements/declarations/variables.js.map +1 -1
- package/dist/ir/converters/synthetic-types.d.ts.map +1 -1
- package/dist/ir/converters/synthetic-types.js +83 -4
- package/dist/ir/converters/synthetic-types.js.map +1 -1
- package/dist/ir/converters/type-env.d.ts +3 -1
- package/dist/ir/converters/type-env.d.ts.map +1 -1
- package/dist/ir/converters/type-env.js +52 -19
- package/dist/ir/converters/type-env.js.map +1 -1
- package/dist/ir/expression-converter-dispatch.d.ts +21 -0
- package/dist/ir/expression-converter-dispatch.d.ts.map +1 -0
- package/dist/ir/expression-converter-dispatch.js +550 -0
- package/dist/ir/expression-converter-dispatch.js.map +1 -0
- package/dist/ir/expression-converter-helpers.d.ts +27 -0
- package/dist/ir/expression-converter-helpers.d.ts.map +1 -0
- package/dist/ir/expression-converter-helpers.js +172 -0
- package/dist/ir/expression-converter-helpers.js.map +1 -0
- package/dist/ir/expression-converter.d.ts +5 -15
- package/dist/ir/expression-converter.d.ts.map +1 -1
- package/dist/ir/expression-converter.js +5 -410
- package/dist/ir/expression-converter.js.map +1 -1
- package/dist/ir/field-marker.test.js +1 -1
- package/dist/ir/field-marker.test.js.map +1 -1
- package/dist/ir/json-global-typing.test.d.ts +2 -0
- package/dist/ir/json-global-typing.test.d.ts.map +1 -0
- package/dist/ir/json-global-typing.test.js +80 -0
- package/dist/ir/json-global-typing.test.js.map +1 -0
- package/dist/ir/program-context-factory.d.ts +25 -0
- package/dist/ir/program-context-factory.d.ts.map +1 -0
- package/dist/ir/program-context-factory.js +196 -0
- package/dist/ir/program-context-factory.js.map +1 -0
- package/dist/ir/program-context-types.d.ts +147 -0
- package/dist/ir/program-context-types.d.ts.map +1 -0
- package/dist/ir/program-context-types.js +123 -0
- package/dist/ir/program-context-types.js.map +1 -0
- package/dist/ir/program-context.d.ts +6 -122
- package/dist/ir/program-context.d.ts.map +1 -1
- package/dist/ir/program-context.js +5 -347
- package/dist/ir/program-context.js.map +1 -1
- package/dist/ir/program-context.test.js +20 -0
- package/dist/ir/program-context.test.js.map +1 -1
- package/dist/ir/syntax/overload-stubs.d.ts +4 -0
- package/dist/ir/syntax/overload-stubs.d.ts.map +1 -0
- package/dist/ir/syntax/overload-stubs.js +32 -0
- package/dist/ir/syntax/overload-stubs.js.map +1 -0
- package/dist/ir/syntax/property-names.d.ts +6 -0
- package/dist/ir/syntax/property-names.d.ts.map +1 -0
- package/dist/ir/syntax/property-names.js +116 -0
- package/dist/ir/syntax/property-names.js.map +1 -0
- package/dist/ir/type-system/call-resolution-callable-types.d.ts +10 -0
- package/dist/ir/type-system/call-resolution-callable-types.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-callable-types.js +288 -0
- package/dist/ir/type-system/call-resolution-callable-types.js.map +1 -0
- package/dist/ir/type-system/call-resolution-candidate-selection.d.ts +9 -0
- package/dist/ir/type-system/call-resolution-candidate-selection.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-candidate-selection.js +413 -0
- package/dist/ir/type-system/call-resolution-candidate-selection.js.map +1 -0
- package/dist/ir/type-system/call-resolution-inference.d.ts +12 -0
- package/dist/ir/type-system/call-resolution-inference.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-inference.js +12 -0
- package/dist/ir/type-system/call-resolution-inference.js.map +1 -0
- package/dist/ir/type-system/call-resolution-method-substitution.d.ts +12 -0
- package/dist/ir/type-system/call-resolution-method-substitution.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-method-substitution.js +115 -0
- package/dist/ir/type-system/call-resolution-method-substitution.js.map +1 -0
- package/dist/ir/type-system/call-resolution-parameters.d.ts +30 -0
- package/dist/ir/type-system/call-resolution-parameters.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-parameters.js +167 -0
- package/dist/ir/type-system/call-resolution-parameters.js.map +1 -0
- package/dist/ir/type-system/call-resolution-receiver-substitution.d.ts +12 -0
- package/dist/ir/type-system/call-resolution-receiver-substitution.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-receiver-substitution.js +134 -0
- package/dist/ir/type-system/call-resolution-receiver-substitution.js.map +1 -0
- package/dist/ir/type-system/call-resolution-resolve.d.ts +12 -0
- package/dist/ir/type-system/call-resolution-resolve.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-resolve.js +275 -0
- package/dist/ir/type-system/call-resolution-resolve.js.map +1 -0
- package/dist/ir/type-system/call-resolution-scoring.d.ts +18 -0
- package/dist/ir/type-system/call-resolution-scoring.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-scoring.js +166 -0
- package/dist/ir/type-system/call-resolution-scoring.js.map +1 -0
- package/dist/ir/type-system/call-resolution-signatures-catalog.d.ts +19 -0
- package/dist/ir/type-system/call-resolution-signatures-catalog.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-signatures-catalog.js +121 -0
- package/dist/ir/type-system/call-resolution-signatures-catalog.js.map +1 -0
- package/dist/ir/type-system/call-resolution-signatures-catalog.test.d.ts +2 -0
- package/dist/ir/type-system/call-resolution-signatures-catalog.test.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-signatures-catalog.test.js +88 -0
- package/dist/ir/type-system/call-resolution-signatures-catalog.test.js.map +1 -0
- package/dist/ir/type-system/call-resolution-signatures-raw.d.ts +21 -0
- package/dist/ir/type-system/call-resolution-signatures-raw.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-signatures-raw.js +242 -0
- package/dist/ir/type-system/call-resolution-signatures-raw.js.map +1 -0
- package/dist/ir/type-system/call-resolution-signatures.d.ts +10 -0
- package/dist/ir/type-system/call-resolution-signatures.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-signatures.js +10 -0
- package/dist/ir/type-system/call-resolution-signatures.js.map +1 -0
- package/dist/ir/type-system/call-resolution-type-ids.d.ts +43 -0
- package/dist/ir/type-system/call-resolution-type-ids.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-type-ids.js +465 -0
- package/dist/ir/type-system/call-resolution-type-ids.js.map +1 -0
- package/dist/ir/type-system/call-resolution-type-ids.test.d.ts +2 -0
- package/dist/ir/type-system/call-resolution-type-ids.test.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-type-ids.test.js +63 -0
- package/dist/ir/type-system/call-resolution-type-ids.test.js.map +1 -0
- package/dist/ir/type-system/call-resolution-unification.d.ts +18 -0
- package/dist/ir/type-system/call-resolution-unification.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-unification.js +637 -0
- package/dist/ir/type-system/call-resolution-unification.js.map +1 -0
- package/dist/ir/type-system/call-resolution-utilities.d.ts +11 -0
- package/dist/ir/type-system/call-resolution-utilities.d.ts.map +1 -0
- package/dist/ir/type-system/call-resolution-utilities.js +11 -0
- package/dist/ir/type-system/call-resolution-utilities.js.map +1 -0
- package/dist/ir/type-system/inference-declarations-overrides.d.ts +33 -0
- package/dist/ir/type-system/inference-declarations-overrides.d.ts.map +1 -0
- package/dist/ir/type-system/inference-declarations-overrides.js +241 -0
- package/dist/ir/type-system/inference-declarations-overrides.js.map +1 -0
- package/dist/ir/type-system/inference-declarations-types.d.ts +20 -0
- package/dist/ir/type-system/inference-declarations-types.d.ts.map +1 -0
- package/dist/ir/type-system/inference-declarations-types.js +475 -0
- package/dist/ir/type-system/inference-declarations-types.js.map +1 -0
- package/dist/ir/type-system/inference-declarations.d.ts +10 -0
- package/dist/ir/type-system/inference-declarations.d.ts.map +1 -0
- package/dist/ir/type-system/inference-declarations.js +10 -0
- package/dist/ir/type-system/inference-declarations.js.map +1 -0
- package/dist/ir/type-system/inference-expressions-infer.d.ts +25 -0
- package/dist/ir/type-system/inference-expressions-infer.d.ts.map +1 -0
- package/dist/ir/type-system/inference-expressions-infer.js +427 -0
- package/dist/ir/type-system/inference-expressions-infer.js.map +1 -0
- package/dist/ir/type-system/inference-expressions-lambda.d.ts +13 -0
- package/dist/ir/type-system/inference-expressions-lambda.d.ts.map +1 -0
- package/dist/ir/type-system/inference-expressions-lambda.js +101 -0
- package/dist/ir/type-system/inference-expressions-lambda.js.map +1 -0
- package/dist/ir/type-system/inference-expressions.d.ts +10 -0
- package/dist/ir/type-system/inference-expressions.d.ts.map +1 -0
- package/dist/ir/type-system/inference-expressions.js +10 -0
- package/dist/ir/type-system/inference-expressions.js.map +1 -0
- package/dist/ir/type-system/inference-initializers-call.d.ts +37 -0
- package/dist/ir/type-system/inference-initializers-call.d.ts.map +1 -0
- package/dist/ir/type-system/inference-initializers-call.js +242 -0
- package/dist/ir/type-system/inference-initializers-call.js.map +1 -0
- package/dist/ir/type-system/inference-initializers-variable.d.ts +14 -0
- package/dist/ir/type-system/inference-initializers-variable.d.ts.map +1 -0
- package/dist/ir/type-system/inference-initializers-variable.js +178 -0
- package/dist/ir/type-system/inference-initializers-variable.js.map +1 -0
- package/dist/ir/type-system/inference-initializers.d.ts +10 -0
- package/dist/ir/type-system/inference-initializers.d.ts.map +1 -0
- package/dist/ir/type-system/inference-initializers.js +10 -0
- package/dist/ir/type-system/inference-initializers.js.map +1 -0
- package/dist/ir/type-system/inference-member-id.d.ts +21 -0
- package/dist/ir/type-system/inference-member-id.d.ts.map +1 -0
- package/dist/ir/type-system/inference-member-id.js +402 -0
- package/dist/ir/type-system/inference-member-id.js.map +1 -0
- package/dist/ir/type-system/inference-member-lookup.d.ts +15 -0
- package/dist/ir/type-system/inference-member-lookup.d.ts.map +1 -0
- package/dist/ir/type-system/inference-member-lookup.js +567 -0
- package/dist/ir/type-system/inference-member-lookup.js.map +1 -0
- package/dist/ir/type-system/inference-member-resolution.d.ts +10 -0
- package/dist/ir/type-system/inference-member-resolution.d.ts.map +1 -0
- package/dist/ir/type-system/inference-member-resolution.js +10 -0
- package/dist/ir/type-system/inference-member-resolution.js.map +1 -0
- package/dist/ir/type-system/inference-type-preference.d.ts +9 -0
- package/dist/ir/type-system/inference-type-preference.d.ts.map +1 -0
- package/dist/ir/type-system/inference-type-preference.js +67 -0
- package/dist/ir/type-system/inference-type-preference.js.map +1 -0
- package/dist/ir/type-system/inference-utilities.d.ts +48 -0
- package/dist/ir/type-system/inference-utilities.d.ts.map +1 -0
- package/dist/ir/type-system/inference-utilities.js +182 -0
- package/dist/ir/type-system/inference-utilities.js.map +1 -0
- package/dist/ir/type-system/internal/handle-types.d.ts +12 -0
- package/dist/ir/type-system/internal/handle-types.d.ts.map +1 -1
- package/dist/ir/type-system/internal/nominal-env.d.ts +1 -1
- package/dist/ir/type-system/internal/nominal-env.d.ts.map +1 -1
- package/dist/ir/type-system/internal/nominal-env.js +12 -114
- package/dist/ir/type-system/internal/nominal-env.js.map +1 -1
- package/dist/ir/type-system/internal/registry-builder.d.ts +19 -0
- package/dist/ir/type-system/internal/registry-builder.d.ts.map +1 -0
- package/dist/ir/type-system/internal/registry-builder.js +292 -0
- package/dist/ir/type-system/internal/registry-builder.js.map +1 -0
- package/dist/ir/type-system/internal/registry-helpers-extraction.d.ts +69 -0
- package/dist/ir/type-system/internal/registry-helpers-extraction.d.ts.map +1 -0
- package/dist/ir/type-system/internal/registry-helpers-extraction.js +429 -0
- package/dist/ir/type-system/internal/registry-helpers-extraction.js.map +1 -0
- package/dist/ir/type-system/internal/registry-helpers-inference.d.ts +19 -0
- package/dist/ir/type-system/internal/registry-helpers-inference.d.ts.map +1 -0
- package/dist/ir/type-system/internal/registry-helpers-inference.js +237 -0
- package/dist/ir/type-system/internal/registry-helpers-inference.js.map +1 -0
- package/dist/ir/type-system/internal/registry-helpers.d.ts +12 -0
- package/dist/ir/type-system/internal/registry-helpers.d.ts.map +1 -0
- package/dist/ir/type-system/internal/registry-helpers.js +12 -0
- package/dist/ir/type-system/internal/registry-helpers.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/conditional-utility-types-core.d.ts +53 -0
- package/dist/ir/type-system/internal/type-converter/conditional-utility-types-core.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/conditional-utility-types-core.js +281 -0
- package/dist/ir/type-system/internal/type-converter/conditional-utility-types-core.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/conditional-utility-types-extract.d.ts +35 -0
- package/dist/ir/type-system/internal/type-converter/conditional-utility-types-extract.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/conditional-utility-types-extract.js +308 -0
- package/dist/ir/type-system/internal/type-converter/conditional-utility-types-extract.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/conditional-utility-types.d.ts +23 -0
- package/dist/ir/type-system/internal/type-converter/conditional-utility-types.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/conditional-utility-types.js +23 -0
- package/dist/ir/type-system/internal/type-converter/conditional-utility-types.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/direct-alias-expansion.d.ts +5 -0
- package/dist/ir/type-system/internal/type-converter/direct-alias-expansion.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/direct-alias-expansion.js +232 -0
- package/dist/ir/type-system/internal/type-converter/direct-alias-expansion.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/functions.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/functions.js +21 -0
- package/dist/ir/type-system/internal/type-converter/functions.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/mapped-utility-expansion.d.ts +37 -0
- package/dist/ir/type-system/internal/type-converter/mapped-utility-expansion.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/mapped-utility-expansion.js +334 -0
- package/dist/ir/type-system/internal/type-converter/mapped-utility-expansion.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/mapped-utility-record.d.ts +27 -0
- package/dist/ir/type-system/internal/type-converter/mapped-utility-record.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/mapped-utility-record.js +174 -0
- package/dist/ir/type-system/internal/type-converter/mapped-utility-record.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/mapped-utility-types.d.ts +10 -0
- package/dist/ir/type-system/internal/type-converter/mapped-utility-types.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/mapped-utility-types.js +10 -0
- package/dist/ir/type-system/internal/type-converter/mapped-utility-types.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/objects.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/objects.js +11 -6
- package/dist/ir/type-system/internal/type-converter/objects.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/orchestrator.d.ts +6 -5
- package/dist/ir/type-system/internal/type-converter/orchestrator.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/orchestrator.js +80 -457
- package/dist/ir/type-system/internal/type-converter/orchestrator.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/orchestrator.test.js +49 -59
- package/dist/ir/type-system/internal/type-converter/orchestrator.test.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/primitives.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/primitives.js +9 -1
- package/dist/ir/type-system/internal/type-converter/primitives.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/references-alias.d.ts +21 -0
- package/dist/ir/type-system/internal/type-converter/references-alias.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/references-alias.js +267 -0
- package/dist/ir/type-system/internal/type-converter/references-alias.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/references-converter.d.ts +16 -0
- package/dist/ir/type-system/internal/type-converter/references-converter.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/references-converter.js +203 -0
- package/dist/ir/type-system/internal/type-converter/references-converter.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/references-normalize.d.ts +49 -0
- package/dist/ir/type-system/internal/type-converter/references-normalize.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/references-normalize.js +162 -0
- package/dist/ir/type-system/internal/type-converter/references-normalize.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/references-structural-bindings.d.ts +52 -0
- package/dist/ir/type-system/internal/type-converter/references-structural-bindings.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/references-structural-bindings.js +295 -0
- package/dist/ir/type-system/internal/type-converter/references-structural-bindings.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/references-structural-members.d.ts +55 -0
- package/dist/ir/type-system/internal/type-converter/references-structural-members.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/references-structural-members.js +334 -0
- package/dist/ir/type-system/internal/type-converter/references-structural-members.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/references-structural.d.ts +12 -0
- package/dist/ir/type-system/internal/type-converter/references-structural.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/references-structural.js +12 -0
- package/dist/ir/type-system/internal/type-converter/references-structural.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/references.d.ts +8 -9
- package/dist/ir/type-system/internal/type-converter/references.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/references.js +7 -980
- package/dist/ir/type-system/internal/type-converter/references.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/type-operators.d.ts +16 -0
- package/dist/ir/type-system/internal/type-converter/type-operators.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/type-operators.js +197 -0
- package/dist/ir/type-system/internal/type-converter/type-operators.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/unions-intersections.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/unions-intersections.js +2 -4
- package/dist/ir/type-system/internal/type-converter/unions-intersections.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/comprehensive-expansion.test.d.ts +2 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/comprehensive-expansion.test.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/comprehensive-expansion.test.js +246 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/comprehensive-expansion.test.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-awaited-constructor-instance.test.d.ts +2 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-awaited-constructor-instance.test.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-awaited-constructor-instance.test.js +179 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-awaited-constructor-instance.test.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-nonnullable-exclude-extract.test.d.ts +2 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-nonnullable-exclude-extract.test.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-nonnullable-exclude-extract.test.js +277 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-nonnullable-exclude-extract.test.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-return-params.test.d.ts +2 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-return-params.test.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-return-params.test.js +163 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-return-params.test.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/expansion-safety.test.d.ts +2 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/expansion-safety.test.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/expansion-safety.test.js +305 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/expansion-safety.test.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/helpers.d.ts +38 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/helpers.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/helpers.js +127 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/helpers.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/record-expansion.test.d.ts +2 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/record-expansion.test.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/record-expansion.test.js +145 -0
- package/dist/ir/type-system/internal/type-converter/utility-types-cases/record-expansion.test.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/utility-types.d.ts +6 -76
- package/dist/ir/type-system/internal/type-converter/utility-types.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/utility-types.js +6 -1031
- package/dist/ir/type-system/internal/type-converter/utility-types.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/utility-types.test.d.ts +6 -9
- package/dist/ir/type-system/internal/type-converter/utility-types.test.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/utility-types.test.js +6 -1416
- package/dist/ir/type-system/internal/type-converter/utility-types.test.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/value-inference.d.ts +13 -0
- package/dist/ir/type-system/internal/type-converter/value-inference.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/value-inference.js +311 -0
- package/dist/ir/type-system/internal/type-converter/value-inference.js.map +1 -0
- package/dist/ir/type-system/internal/type-registry.d.ts +12 -12
- package/dist/ir/type-system/internal/type-registry.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-registry.js +4 -529
- package/dist/ir/type-system/internal/type-registry.js.map +1 -1
- package/dist/ir/type-system/internal/universe/catalog-types.d.ts +260 -0
- package/dist/ir/type-system/internal/universe/catalog-types.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/catalog-types.js +12 -0
- package/dist/ir/type-system/internal/universe/catalog-types.js.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-catalog.d.ts +7 -5
- package/dist/ir/type-system/internal/universe/clr-catalog.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-catalog.js +160 -90
- package/dist/ir/type-system/internal/universe/clr-catalog.js.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-catalog.test.js +166 -72
- package/dist/ir/type-system/internal/universe/clr-catalog.test.js.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-entry-converter.d.ts +7 -47
- package/dist/ir/type-system/internal/universe/clr-entry-converter.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-entry-converter.js +6 -694
- package/dist/ir/type-system/internal/universe/clr-entry-converter.js.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-heritage-enrichment.d.ts +10 -0
- package/dist/ir/type-system/internal/universe/clr-heritage-enrichment.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-heritage-enrichment.js +168 -0
- package/dist/ir/type-system/internal/universe/clr-heritage-enrichment.js.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-heritage-extraction.d.ts +28 -0
- package/dist/ir/type-system/internal/universe/clr-heritage-extraction.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-heritage-extraction.js +307 -0
- package/dist/ir/type-system/internal/universe/clr-heritage-extraction.js.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-heritage-extractor.d.ts +11 -0
- package/dist/ir/type-system/internal/universe/clr-heritage-extractor.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-heritage-extractor.js +10 -0
- package/dist/ir/type-system/internal/universe/clr-heritage-extractor.js.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-raw-converter.d.ts +41 -0
- package/dist/ir/type-system/internal/universe/clr-raw-converter.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-raw-converter.js +364 -0
- package/dist/ir/type-system/internal/universe/clr-raw-converter.js.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-type-parser.d.ts +3 -41
- package/dist/ir/type-system/internal/universe/clr-type-parser.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-type-parser.js +3 -470
- package/dist/ir/type-system/internal/universe/clr-type-parser.js.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-type-parser.test.js +13 -2
- package/dist/ir/type-system/internal/universe/clr-type-parser.test.js.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-type-string-parsing.d.ts +28 -0
- package/dist/ir/type-system/internal/universe/clr-type-string-parsing.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-type-string-parsing.js +208 -0
- package/dist/ir/type-system/internal/universe/clr-type-string-parsing.js.map +1 -0
- package/dist/ir/type-system/internal/universe/dts-type-node-conversion.d.ts +28 -0
- package/dist/ir/type-system/internal/universe/dts-type-node-conversion.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/dts-type-node-conversion.js +279 -0
- package/dist/ir/type-system/internal/universe/dts-type-node-conversion.js.map +1 -0
- package/dist/ir/type-system/internal/universe/index.d.ts +1 -1
- package/dist/ir/type-system/internal/universe/index.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/index.js.map +1 -1
- package/dist/ir/type-system/internal/universe/raw-bindings-types.d.ts +167 -0
- package/dist/ir/type-system/internal/universe/raw-bindings-types.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/raw-bindings-types.js +79 -0
- package/dist/ir/type-system/internal/universe/raw-bindings-types.js.map +1 -0
- package/dist/ir/type-system/internal/universe/source-catalog.d.ts +1 -1
- package/dist/ir/type-system/internal/universe/source-catalog.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/source-catalog.js.map +1 -1
- package/dist/ir/type-system/internal/universe/types.d.ts +4 -388
- package/dist/ir/type-system/internal/universe/types.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/types.js +2 -60
- package/dist/ir/type-system/internal/universe/types.js.map +1 -1
- package/dist/ir/type-system/internal/universe/unified-universe.d.ts +2 -2
- package/dist/ir/type-system/internal/universe/unified-universe.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/unified-universe.js +467 -19
- package/dist/ir/type-system/internal/universe/unified-universe.js.map +1 -1
- package/dist/ir/type-system/internal/universe/unified-universe.test.js +7 -2
- package/dist/ir/type-system/internal/universe/unified-universe.test.js.map +1 -1
- package/dist/ir/type-system/iterable-type-shapes.d.ts +8 -0
- package/dist/ir/type-system/iterable-type-shapes.d.ts.map +1 -0
- package/dist/ir/type-system/iterable-type-shapes.js +229 -0
- package/dist/ir/type-system/iterable-type-shapes.js.map +1 -0
- package/dist/ir/type-system/type-alias-expansion.d.ts +4 -0
- package/dist/ir/type-system/type-alias-expansion.d.ts.map +1 -0
- package/dist/ir/type-system/type-alias-expansion.js +27 -0
- package/dist/ir/type-system/type-alias-expansion.js.map +1 -0
- package/dist/ir/type-system/type-system-call-resolution.d.ts +16 -68
- package/dist/ir/type-system/type-system-call-resolution.d.ts.map +1 -1
- package/dist/ir/type-system/type-system-call-resolution.js +17 -1407
- package/dist/ir/type-system/type-system-call-resolution.js.map +1 -1
- package/dist/ir/type-system/type-system-factory.d.ts +24 -0
- package/dist/ir/type-system/type-system-factory.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-factory.js +145 -0
- package/dist/ir/type-system/type-system-factory.js.map +1 -0
- package/dist/ir/type-system/type-system-inference.d.ts +13 -92
- package/dist/ir/type-system/type-system-inference.d.ts.map +1 -1
- package/dist/ir/type-system/type-system-inference.js +18 -1315
- package/dist/ir/type-system/type-system-inference.js.map +1 -1
- package/dist/ir/type-system/type-system-relations.d.ts +1 -0
- package/dist/ir/type-system/type-system-relations.d.ts.map +1 -1
- package/dist/ir/type-system/type-system-relations.js +332 -19
- package/dist/ir/type-system/type-system-relations.js.map +1 -1
- package/dist/ir/type-system/type-system-state-call-types.d.ts +62 -0
- package/dist/ir/type-system/type-system-state-call-types.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-state-call-types.js +2 -0
- package/dist/ir/type-system/type-system-state-call-types.js.map +1 -0
- package/dist/ir/type-system/type-system-state-handle-types.d.ts +134 -0
- package/dist/ir/type-system/type-system-state-handle-types.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-state-handle-types.js +2 -0
- package/dist/ir/type-system/type-system-state-handle-types.js.map +1 -0
- package/dist/ir/type-system/type-system-state-helpers.d.ts +56 -0
- package/dist/ir/type-system/type-system-state-helpers.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-state-helpers.js +291 -0
- package/dist/ir/type-system/type-system-state-helpers.js.map +1 -0
- package/dist/ir/type-system/type-system-state-model.d.ts +33 -0
- package/dist/ir/type-system/type-system-state-model.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-state-model.js +3 -0
- package/dist/ir/type-system/type-system-state-model.js.map +1 -0
- package/dist/ir/type-system/type-system-state-registry-types.d.ts +11 -0
- package/dist/ir/type-system/type-system-state-registry-types.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-state-registry-types.js +17 -0
- package/dist/ir/type-system/type-system-state-registry-types.js.map +1 -0
- package/dist/ir/type-system/type-system-state-types.d.ts +4 -0
- package/dist/ir/type-system/type-system-state-types.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-state-types.js +4 -0
- package/dist/ir/type-system/type-system-state-types.js.map +1 -0
- package/dist/ir/type-system/type-system-state.d.ts +4 -454
- package/dist/ir/type-system/type-system-state.d.ts.map +1 -1
- package/dist/ir/type-system/type-system-state.js +4 -228
- package/dist/ir/type-system/type-system-state.js.map +1 -1
- package/dist/ir/type-system/type-system-types-api.d.ts +341 -0
- package/dist/ir/type-system/type-system-types-api.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-types-api.js +11 -0
- package/dist/ir/type-system/type-system-types-api.js.map +1 -0
- package/dist/ir/type-system/type-system-utilities.d.ts +4 -48
- package/dist/ir/type-system/type-system-utilities.d.ts.map +1 -1
- package/dist/ir/type-system/type-system-utilities.js +4 -347
- package/dist/ir/type-system/type-system-utilities.js.map +1 -1
- package/dist/ir/type-system/type-system.d.ts +8 -313
- package/dist/ir/type-system/type-system.d.ts.map +1 -1
- package/dist/ir/type-system/type-system.js +7 -131
- package/dist/ir/type-system/type-system.js.map +1 -1
- package/dist/ir/type-system/types.d.ts +2 -0
- package/dist/ir/type-system/types.d.ts.map +1 -1
- package/dist/ir/type-system/types.js +5 -0
- package/dist/ir/type-system/types.js.map +1 -1
- package/dist/ir/type-system/utility-type-filter-helpers.d.ts +40 -0
- package/dist/ir/type-system/utility-type-filter-helpers.d.ts.map +1 -0
- package/dist/ir/type-system/utility-type-filter-helpers.js +142 -0
- package/dist/ir/type-system/utility-type-filter-helpers.js.map +1 -0
- package/dist/ir/type-system/utility-type-mapped-helpers.d.ts +34 -0
- package/dist/ir/type-system/utility-type-mapped-helpers.d.ts.map +1 -0
- package/dist/ir/type-system/utility-type-mapped-helpers.js +243 -0
- package/dist/ir/type-system/utility-type-mapped-helpers.js.map +1 -0
- package/dist/ir/types/expressions-core.d.ts +331 -0
- package/dist/ir/types/expressions-core.d.ts.map +1 -0
- package/dist/ir/types/expressions-core.js +5 -0
- package/dist/ir/types/expressions-core.js.map +1 -0
- package/dist/ir/types/expressions-extended.d.ts +232 -0
- package/dist/ir/types/expressions-extended.d.ts.map +1 -0
- package/dist/ir/types/expressions-extended.js +6 -0
- package/dist/ir/types/expressions-extended.js.map +1 -0
- package/dist/ir/types/expressions.d.ts +6 -480
- package/dist/ir/types/expressions.d.ts.map +1 -1
- package/dist/ir/types/expressions.js +5 -1
- package/dist/ir/types/expressions.js.map +1 -1
- package/dist/ir/types/helpers.d.ts +4 -0
- package/dist/ir/types/helpers.d.ts.map +1 -1
- package/dist/ir/types/index.d.ts +4 -2
- package/dist/ir/types/index.d.ts.map +1 -1
- package/dist/ir/types/index.js +2 -1
- package/dist/ir/types/index.js.map +1 -1
- package/dist/ir/types/ir-substitution-builders.d.ts +91 -0
- package/dist/ir/types/ir-substitution-builders.d.ts.map +1 -0
- package/dist/ir/types/ir-substitution-builders.js +340 -0
- package/dist/ir/types/ir-substitution-builders.js.map +1 -0
- package/dist/ir/types/ir-substitution-core.d.ts +55 -0
- package/dist/ir/types/ir-substitution-core.d.ts.map +1 -0
- package/dist/ir/types/ir-substitution-core.js +402 -0
- package/dist/ir/types/ir-substitution-core.js.map +1 -0
- package/dist/ir/types/ir-substitution.d.ts +13 -142
- package/dist/ir/types/ir-substitution.d.ts.map +1 -1
- package/dist/ir/types/ir-substitution.js +9 -565
- package/dist/ir/types/ir-substitution.js.map +1 -1
- package/dist/ir/types/ir-types.d.ts +80 -4
- package/dist/ir/types/ir-types.d.ts.map +1 -1
- package/dist/ir/types/overload-family.d.ts +36 -0
- package/dist/ir/types/overload-family.d.ts.map +1 -0
- package/dist/ir/types/overload-family.js +9 -0
- package/dist/ir/types/overload-family.js.map +1 -0
- package/dist/ir/types/statements.d.ts +8 -1
- package/dist/ir/types/statements.d.ts.map +1 -1
- package/dist/ir/types/type-ops.d.ts +41 -2
- package/dist/ir/types/type-ops.d.ts.map +1 -1
- package/dist/ir/types/type-ops.js +744 -45
- package/dist/ir/types/type-ops.js.map +1 -1
- package/dist/ir/types/type-ops.test.js +443 -1
- package/dist/ir/types/type-ops.test.js.map +1 -1
- package/dist/ir/types.d.ts +2 -2
- package/dist/ir/types.d.ts.map +1 -1
- package/dist/ir/types.js +1 -1
- package/dist/ir/types.js.map +1 -1
- package/dist/ir/validation/anon-type-declaration-synthesis.d.ts +11 -0
- package/dist/ir/validation/anon-type-declaration-synthesis.d.ts.map +1 -0
- package/dist/ir/validation/anon-type-declaration-synthesis.js +11 -0
- package/dist/ir/validation/anon-type-declaration-synthesis.js.map +1 -0
- package/dist/ir/validation/anon-type-ir-rewriting.d.ts +10 -0
- package/dist/ir/validation/anon-type-ir-rewriting.d.ts.map +1 -0
- package/dist/ir/validation/anon-type-ir-rewriting.js +3 -0
- package/dist/ir/validation/anon-type-ir-rewriting.js.map +1 -0
- package/dist/ir/validation/anon-type-lower-expressions.d.ts +10 -0
- package/dist/ir/validation/anon-type-lower-expressions.d.ts.map +1 -0
- package/dist/ir/validation/anon-type-lower-expressions.js +364 -0
- package/dist/ir/validation/anon-type-lower-expressions.js.map +1 -0
- package/dist/ir/validation/anon-type-lower-statements.d.ts +13 -0
- package/dist/ir/validation/anon-type-lower-statements.d.ts.map +1 -0
- package/dist/ir/validation/anon-type-lower-statements.js +270 -0
- package/dist/ir/validation/anon-type-lower-statements.js.map +1 -0
- package/dist/ir/validation/anon-type-lower-types.d.ts +60 -0
- package/dist/ir/validation/anon-type-lower-types.d.ts.map +1 -0
- package/dist/ir/validation/anon-type-lower-types.js +287 -0
- package/dist/ir/validation/anon-type-lower-types.js.map +1 -0
- package/dist/ir/validation/anon-type-naming.d.ts +20 -0
- package/dist/ir/validation/anon-type-naming.d.ts.map +1 -0
- package/dist/ir/validation/anon-type-naming.js +153 -0
- package/dist/ir/validation/anon-type-naming.js.map +1 -0
- package/dist/ir/validation/anon-type-shape-analysis.d.ts +13 -0
- package/dist/ir/validation/anon-type-shape-analysis.d.ts.map +1 -0
- package/dist/ir/validation/anon-type-shape-analysis.js +12 -0
- package/dist/ir/validation/anon-type-shape-analysis.js.map +1 -0
- package/dist/ir/validation/anon-type-shape-collectors.d.ts +39 -0
- package/dist/ir/validation/anon-type-shape-collectors.d.ts.map +1 -0
- package/dist/ir/validation/anon-type-shape-collectors.js +369 -0
- package/dist/ir/validation/anon-type-shape-collectors.js.map +1 -0
- package/dist/ir/validation/anon-type-shape-serialization.d.ts +38 -0
- package/dist/ir/validation/anon-type-shape-serialization.d.ts.map +1 -0
- package/dist/ir/validation/anon-type-shape-serialization.js +241 -0
- package/dist/ir/validation/anon-type-shape-serialization.js.map +1 -0
- package/dist/ir/validation/anon-type-template-inference.d.ts +12 -0
- package/dist/ir/validation/anon-type-template-inference.d.ts.map +1 -0
- package/dist/ir/validation/anon-type-template-inference.js +296 -0
- package/dist/ir/validation/anon-type-template-inference.js.map +1 -0
- package/dist/ir/validation/anonymous-type-lowering-pass.d.ts +7 -1
- package/dist/ir/validation/anonymous-type-lowering-pass.d.ts.map +1 -1
- package/dist/ir/validation/anonymous-type-lowering-pass.js +315 -1166
- package/dist/ir/validation/anonymous-type-lowering-pass.js.map +1 -1
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/basic-lowering.test.d.ts +2 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/basic-lowering.test.d.ts.map +1 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/basic-lowering.test.js +332 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/basic-lowering.test.js.map +1 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/cross-module-reuse.test.d.ts +2 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/cross-module-reuse.test.d.ts.map +1 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/cross-module-reuse.test.js +255 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/cross-module-reuse.test.js.map +1 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/structural-references.test.d.ts +2 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/structural-references.test.d.ts.map +1 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/structural-references.test.js +715 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/structural-references.test.js.map +1 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/test-helpers.d.ts +4 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/test-helpers.d.ts.map +1 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/test-helpers.js +85 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions-cases/test-helpers.js.map +1 -0
- package/dist/ir/validation/anonymous-type-lowering-regressions.test.d.ts +3 -1
- package/dist/ir/validation/anonymous-type-lowering-regressions.test.d.ts.map +1 -1
- package/dist/ir/validation/anonymous-type-lowering-regressions.test.js +3 -120
- package/dist/ir/validation/anonymous-type-lowering-regressions.test.js.map +1 -1
- package/dist/ir/validation/arrow-return-expression-walk.d.ts +13 -0
- package/dist/ir/validation/arrow-return-expression-walk.d.ts.map +1 -0
- package/dist/ir/validation/arrow-return-expression-walk.js +224 -0
- package/dist/ir/validation/arrow-return-expression-walk.js.map +1 -0
- package/dist/ir/validation/arrow-return-finalization-pass.d.ts +3 -17
- package/dist/ir/validation/arrow-return-finalization-pass.d.ts.map +1 -1
- package/dist/ir/validation/arrow-return-finalization-pass.js +2 -418
- package/dist/ir/validation/arrow-return-finalization-pass.js.map +1 -1
- package/dist/ir/validation/arrow-return-statement-walk.d.ts +27 -0
- package/dist/ir/validation/arrow-return-statement-walk.d.ts.map +1 -0
- package/dist/ir/validation/arrow-return-statement-walk.js +206 -0
- package/dist/ir/validation/arrow-return-statement-walk.js.map +1 -0
- package/dist/ir/validation/attribute-collection/arg-extractor.d.ts +8 -2
- package/dist/ir/validation/attribute-collection/arg-extractor.d.ts.map +1 -1
- package/dist/ir/validation/attribute-collection/arg-extractor.js.map +1 -1
- package/dist/ir/validation/attribute-collection/marker-chain-parser.d.ts +21 -0
- package/dist/ir/validation/attribute-collection/marker-chain-parser.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection/marker-chain-parser.js +261 -0
- package/dist/ir/validation/attribute-collection/marker-chain-parser.js.map +1 -0
- package/dist/ir/validation/attribute-collection/marker-collection.d.ts +28 -0
- package/dist/ir/validation/attribute-collection/marker-collection.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection/marker-collection.js +343 -0
- package/dist/ir/validation/attribute-collection/marker-collection.js.map +1 -0
- package/dist/ir/validation/attribute-collection/marker-detection.d.ts +25 -0
- package/dist/ir/validation/attribute-collection/marker-detection.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection/marker-detection.js +214 -0
- package/dist/ir/validation/attribute-collection/marker-detection.js.map +1 -0
- package/dist/ir/validation/attribute-collection/marker-parser.d.ts +7 -24
- package/dist/ir/validation/attribute-collection/marker-parser.d.ts.map +1 -1
- package/dist/ir/validation/attribute-collection/marker-parser.js +7 -400
- package/dist/ir/validation/attribute-collection/marker-parser.js.map +1 -1
- package/dist/ir/validation/attribute-collection/module-rebuild.d.ts +28 -0
- package/dist/ir/validation/attribute-collection/module-rebuild.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection/module-rebuild.js +176 -0
- package/dist/ir/validation/attribute-collection/module-rebuild.js.map +1 -0
- package/dist/ir/validation/attribute-collection/orchestrator.d.ts +3 -19
- package/dist/ir/validation/attribute-collection/orchestrator.d.ts.map +1 -1
- package/dist/ir/validation/attribute-collection/orchestrator.js +2 -323
- package/dist/ir/validation/attribute-collection/orchestrator.js.map +1 -1
- package/dist/ir/validation/attribute-collection-cases/ctor-add.test.d.ts +5 -0
- package/dist/ir/validation/attribute-collection-cases/ctor-add.test.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection-cases/ctor-add.test.js +62 -0
- package/dist/ir/validation/attribute-collection-cases/ctor-add.test.js.map +1 -0
- package/dist/ir/validation/attribute-collection-cases/error-cases.test.d.ts +5 -0
- package/dist/ir/validation/attribute-collection-cases/error-cases.test.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection-cases/error-cases.test.js +246 -0
- package/dist/ir/validation/attribute-collection-cases/error-cases.test.js.map +1 -0
- package/dist/ir/validation/attribute-collection-cases/function-and-misc.test.d.ts +6 -0
- package/dist/ir/validation/attribute-collection-cases/function-and-misc.test.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection-cases/function-and-misc.test.js +77 -0
- package/dist/ir/validation/attribute-collection-cases/function-and-misc.test.js.map +1 -0
- package/dist/ir/validation/attribute-collection-cases/helpers.d.ts +186 -0
- package/dist/ir/validation/attribute-collection-cases/helpers.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection-cases/helpers.js +239 -0
- package/dist/ir/validation/attribute-collection-cases/helpers.js.map +1 -0
- package/dist/ir/validation/attribute-collection-cases/method-selector.test.d.ts +5 -0
- package/dist/ir/validation/attribute-collection-cases/method-selector.test.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection-cases/method-selector.test.js +371 -0
- package/dist/ir/validation/attribute-collection-cases/method-selector.test.js.map +1 -0
- package/dist/ir/validation/attribute-collection-cases/prop-selector.test.d.ts +5 -0
- package/dist/ir/validation/attribute-collection-cases/prop-selector.test.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection-cases/prop-selector.test.js +209 -0
- package/dist/ir/validation/attribute-collection-cases/prop-selector.test.js.map +1 -0
- package/dist/ir/validation/attribute-collection-cases/type-add.test.d.ts +5 -0
- package/dist/ir/validation/attribute-collection-cases/type-add.test.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection-cases/type-add.test.js +330 -0
- package/dist/ir/validation/attribute-collection-cases/type-add.test.js.map +1 -0
- package/dist/ir/validation/attribute-collection-pass.d.ts +5 -4
- package/dist/ir/validation/attribute-collection-pass.d.ts.map +1 -1
- package/dist/ir/validation/attribute-collection-pass.js +5 -4
- package/dist/ir/validation/attribute-collection-pass.js.map +1 -1
- package/dist/ir/validation/attribute-collection-pass.test.d.ts +8 -1
- package/dist/ir/validation/attribute-collection-pass.test.d.ts.map +1 -1
- package/dist/ir/validation/attribute-collection-pass.test.js +8 -1331
- package/dist/ir/validation/attribute-collection-pass.test.js.map +1 -1
- package/dist/ir/validation/call-resolution-refresh-pass.d.ts +8 -0
- package/dist/ir/validation/call-resolution-refresh-pass.d.ts.map +1 -0
- package/dist/ir/validation/call-resolution-refresh-pass.js +616 -0
- package/dist/ir/validation/call-resolution-refresh-pass.js.map +1 -0
- package/dist/ir/validation/char-validation-expressions.d.ts +13 -0
- package/dist/ir/validation/char-validation-expressions.d.ts.map +1 -0
- package/dist/ir/validation/char-validation-expressions.js +362 -0
- package/dist/ir/validation/char-validation-expressions.js.map +1 -0
- package/dist/ir/validation/char-validation-pass.d.ts +7 -22
- package/dist/ir/validation/char-validation-pass.d.ts.map +1 -1
- package/dist/ir/validation/char-validation-pass.js +6 -504
- package/dist/ir/validation/char-validation-pass.js.map +1 -1
- package/dist/ir/validation/char-validation-types.d.ts +28 -0
- package/dist/ir/validation/char-validation-types.d.ts.map +1 -0
- package/dist/ir/validation/char-validation-types.js +144 -0
- package/dist/ir/validation/char-validation-types.js.map +1 -0
- package/dist/ir/validation/index.d.ts +3 -0
- package/dist/ir/validation/index.d.ts.map +1 -1
- package/dist/ir/validation/index.js +3 -0
- package/dist/ir/validation/index.js.map +1 -1
- package/dist/ir/validation/known-builtin-reference-types.d.ts +12 -0
- package/dist/ir/validation/known-builtin-reference-types.d.ts.map +1 -0
- package/dist/ir/validation/known-builtin-reference-types.js +29 -0
- package/dist/ir/validation/known-builtin-reference-types.js.map +1 -0
- package/dist/ir/validation/numeric-classification.d.ts +105 -0
- package/dist/ir/validation/numeric-classification.d.ts.map +1 -0
- package/dist/ir/validation/numeric-classification.js +368 -0
- package/dist/ir/validation/numeric-classification.js.map +1 -0
- package/dist/ir/validation/numeric-coercion-pass.d.ts +3 -50
- package/dist/ir/validation/numeric-coercion-pass.d.ts.map +1 -1
- package/dist/ir/validation/numeric-coercion-pass.js +3 -777
- package/dist/ir/validation/numeric-coercion-pass.js.map +1 -1
- package/dist/ir/validation/numeric-expression-validation.d.ts +26 -0
- package/dist/ir/validation/numeric-expression-validation.d.ts.map +1 -0
- package/dist/ir/validation/numeric-expression-validation.js +253 -0
- package/dist/ir/validation/numeric-expression-validation.js.map +1 -0
- package/dist/ir/validation/numeric-invariants-cases/array-index-proofs.test.d.ts +11 -0
- package/dist/ir/validation/numeric-invariants-cases/array-index-proofs.test.d.ts.map +1 -0
- package/dist/ir/validation/numeric-invariants-cases/array-index-proofs.test.js +185 -0
- package/dist/ir/validation/numeric-invariants-cases/array-index-proofs.test.js.map +1 -0
- package/dist/ir/validation/numeric-invariants-cases/arrow-function-proofs.test.d.ts +16 -0
- package/dist/ir/validation/numeric-invariants-cases/arrow-function-proofs.test.d.ts.map +1 -0
- package/dist/ir/validation/numeric-invariants-cases/arrow-function-proofs.test.js +364 -0
- package/dist/ir/validation/numeric-invariants-cases/arrow-function-proofs.test.js.map +1 -0
- package/dist/ir/validation/numeric-invariants-cases/binary-promotion.test.d.ts +9 -0
- package/dist/ir/validation/numeric-invariants-cases/binary-promotion.test.d.ts.map +1 -0
- package/dist/ir/validation/numeric-invariants-cases/binary-promotion.test.js +119 -0
- package/dist/ir/validation/numeric-invariants-cases/binary-promotion.test.js.map +1 -0
- package/dist/ir/validation/numeric-invariants-cases/helpers.d.ts +60 -0
- package/dist/ir/validation/numeric-invariants-cases/helpers.d.ts.map +1 -0
- package/dist/ir/validation/numeric-invariants-cases/helpers.js +163 -0
- package/dist/ir/validation/numeric-invariants-cases/helpers.js.map +1 -0
- package/dist/ir/validation/numeric-invariants-cases/literal-range-validation.test.d.ts +8 -0
- package/dist/ir/validation/numeric-invariants-cases/literal-range-validation.test.d.ts.map +1 -0
- package/dist/ir/validation/numeric-invariants-cases/literal-range-validation.test.js +110 -0
- package/dist/ir/validation/numeric-invariants-cases/literal-range-validation.test.js.map +1 -0
- package/dist/ir/validation/numeric-invariants-cases/narrowing-intent.test.d.ts +12 -0
- package/dist/ir/validation/numeric-invariants-cases/narrowing-intent.test.d.ts.map +1 -0
- package/dist/ir/validation/numeric-invariants-cases/narrowing-intent.test.js +188 -0
- package/dist/ir/validation/numeric-invariants-cases/narrowing-intent.test.js.map +1 -0
- package/dist/ir/validation/numeric-invariants.test.d.ts +5 -14
- package/dist/ir/validation/numeric-invariants.test.d.ts.map +1 -1
- package/dist/ir/validation/numeric-invariants.test.js +5 -932
- package/dist/ir/validation/numeric-invariants.test.js.map +1 -1
- package/dist/ir/validation/numeric-proof-analysis.d.ts +9 -0
- package/dist/ir/validation/numeric-proof-analysis.d.ts.map +1 -0
- package/dist/ir/validation/numeric-proof-analysis.js +8 -0
- package/dist/ir/validation/numeric-proof-analysis.js.map +1 -0
- package/dist/ir/validation/numeric-proof-expression-walk.d.ts +18 -0
- package/dist/ir/validation/numeric-proof-expression-walk.d.ts.map +1 -0
- package/dist/ir/validation/numeric-proof-expression-walk.js +331 -0
- package/dist/ir/validation/numeric-proof-expression-walk.js.map +1 -0
- package/dist/ir/validation/numeric-proof-guard-facts.d.ts +29 -0
- package/dist/ir/validation/numeric-proof-guard-facts.d.ts.map +1 -0
- package/dist/ir/validation/numeric-proof-guard-facts.js +213 -0
- package/dist/ir/validation/numeric-proof-guard-facts.js.map +1 -0
- package/dist/ir/validation/numeric-proof-inference.d.ts +33 -0
- package/dist/ir/validation/numeric-proof-inference.d.ts.map +1 -0
- package/dist/ir/validation/numeric-proof-inference.js +222 -0
- package/dist/ir/validation/numeric-proof-inference.js.map +1 -0
- package/dist/ir/validation/numeric-proof-pass.d.ts +5 -25
- package/dist/ir/validation/numeric-proof-pass.d.ts.map +1 -1
- package/dist/ir/validation/numeric-proof-pass.js +5 -1164
- package/dist/ir/validation/numeric-proof-pass.js.map +1 -1
- package/dist/ir/validation/numeric-proof-proving.d.ts +21 -0
- package/dist/ir/validation/numeric-proof-proving.d.ts.map +1 -0
- package/dist/ir/validation/numeric-proof-proving.js +261 -0
- package/dist/ir/validation/numeric-proof-proving.js.map +1 -0
- package/dist/ir/validation/numeric-proof-statement-walk.d.ts +37 -0
- package/dist/ir/validation/numeric-proof-statement-walk.d.ts.map +1 -0
- package/dist/ir/validation/numeric-proof-statement-walk.js +295 -0
- package/dist/ir/validation/numeric-proof-statement-walk.js.map +1 -0
- package/dist/ir/validation/numeric-proof-walk.d.ts +10 -0
- package/dist/ir/validation/numeric-proof-walk.d.ts.map +1 -0
- package/dist/ir/validation/numeric-proof-walk.js +9 -0
- package/dist/ir/validation/numeric-proof-walk.js.map +1 -0
- package/dist/ir/validation/numeric-statement-processing.d.ts +39 -0
- package/dist/ir/validation/numeric-statement-processing.d.ts.map +1 -0
- package/dist/ir/validation/numeric-statement-processing.js +229 -0
- package/dist/ir/validation/numeric-statement-processing.js.map +1 -0
- package/dist/ir/validation/numeric-validation.d.ts +13 -0
- package/dist/ir/validation/numeric-validation.d.ts.map +1 -0
- package/dist/ir/validation/numeric-validation.js +12 -0
- package/dist/ir/validation/numeric-validation.js.map +1 -0
- package/dist/ir/validation/overload-collection-cases/basic.test.d.ts +2 -0
- package/dist/ir/validation/overload-collection-cases/basic.test.d.ts.map +1 -0
- package/dist/ir/validation/overload-collection-cases/basic.test.js +103 -0
- package/dist/ir/validation/overload-collection-cases/basic.test.js.map +1 -0
- package/dist/ir/validation/overload-collection-cases/consistency.test.d.ts +2 -0
- package/dist/ir/validation/overload-collection-cases/consistency.test.d.ts.map +1 -0
- package/dist/ir/validation/overload-collection-cases/consistency.test.js +79 -0
- package/dist/ir/validation/overload-collection-cases/consistency.test.js.map +1 -0
- package/dist/ir/validation/overload-collection-cases/error-cases.test.d.ts +2 -0
- package/dist/ir/validation/overload-collection-cases/error-cases.test.d.ts.map +1 -0
- package/dist/ir/validation/overload-collection-cases/error-cases.test.js +24 -0
- package/dist/ir/validation/overload-collection-cases/error-cases.test.js.map +1 -0
- package/dist/ir/validation/overload-collection-cases/helpers.d.ts +107 -0
- package/dist/ir/validation/overload-collection-cases/helpers.d.ts.map +1 -0
- package/dist/ir/validation/overload-collection-cases/helpers.js +142 -0
- package/dist/ir/validation/overload-collection-cases/helpers.js.map +1 -0
- package/dist/ir/validation/overload-collection-pass.d.ts +16 -0
- package/dist/ir/validation/overload-collection-pass.d.ts.map +1 -0
- package/dist/ir/validation/overload-collection-pass.js +930 -0
- package/dist/ir/validation/overload-collection-pass.js.map +1 -0
- package/dist/ir/validation/overload-collection-pass.test.d.ts +4 -0
- package/dist/ir/validation/overload-collection-pass.test.d.ts.map +1 -0
- package/dist/ir/validation/overload-collection-pass.test.js +4 -0
- package/dist/ir/validation/overload-collection-pass.test.js.map +1 -0
- package/dist/ir/validation/overload-family-consistency-pass.d.ts +9 -0
- package/dist/ir/validation/overload-family-consistency-pass.d.ts.map +1 -0
- package/dist/ir/validation/overload-family-consistency-pass.js +161 -0
- package/dist/ir/validation/overload-family-consistency-pass.js.map +1 -0
- package/dist/ir/validation/rest-type-synthesis-helpers.d.ts +52 -0
- package/dist/ir/validation/rest-type-synthesis-helpers.d.ts.map +1 -0
- package/dist/ir/validation/rest-type-synthesis-helpers.js +250 -0
- package/dist/ir/validation/rest-type-synthesis-helpers.js.map +1 -0
- package/dist/ir/validation/rest-type-synthesis-pass.d.ts +6 -20
- package/dist/ir/validation/rest-type-synthesis-pass.d.ts.map +1 -1
- package/dist/ir/validation/rest-type-synthesis-pass.js +5 -461
- package/dist/ir/validation/rest-type-synthesis-pass.js.map +1 -1
- package/dist/ir/validation/rest-type-synthesis-processing.d.ts +14 -0
- package/dist/ir/validation/rest-type-synthesis-processing.d.ts.map +1 -0
- package/dist/ir/validation/rest-type-synthesis-processing.js +220 -0
- package/dist/ir/validation/rest-type-synthesis-processing.js.map +1 -0
- package/dist/ir/validation/soundness-gate-cases/any-type-and-primitives.test.d.ts +12 -0
- package/dist/ir/validation/soundness-gate-cases/any-type-and-primitives.test.d.ts.map +1 -0
- package/dist/ir/validation/soundness-gate-cases/any-type-and-primitives.test.js +99 -0
- package/dist/ir/validation/soundness-gate-cases/any-type-and-primitives.test.js.map +1 -0
- package/dist/ir/validation/soundness-gate-cases/computed-member-access.test.d.ts +10 -0
- package/dist/ir/validation/soundness-gate-cases/computed-member-access.test.d.ts.map +1 -0
- package/dist/ir/validation/soundness-gate-cases/computed-member-access.test.js +139 -0
- package/dist/ir/validation/soundness-gate-cases/computed-member-access.test.js.map +1 -0
- package/dist/ir/validation/soundness-gate-cases/inference-diagnostics.test.d.ts +10 -0
- package/dist/ir/validation/soundness-gate-cases/inference-diagnostics.test.d.ts.map +1 -0
- package/dist/ir/validation/soundness-gate-cases/inference-diagnostics.test.js +123 -0
- package/dist/ir/validation/soundness-gate-cases/inference-diagnostics.test.js.map +1 -0
- package/dist/ir/validation/soundness-gate-cases/reference-type-resolution.test.d.ts +15 -0
- package/dist/ir/validation/soundness-gate-cases/reference-type-resolution.test.d.ts.map +1 -0
- package/dist/ir/validation/soundness-gate-cases/reference-type-resolution.test.js +292 -0
- package/dist/ir/validation/soundness-gate-cases/reference-type-resolution.test.js.map +1 -0
- package/dist/ir/validation/soundness-gate-cases/test-helpers.d.ts +12 -0
- package/dist/ir/validation/soundness-gate-cases/test-helpers.d.ts.map +1 -0
- package/dist/ir/validation/soundness-gate-cases/test-helpers.js +36 -0
- package/dist/ir/validation/soundness-gate-cases/test-helpers.js.map +1 -0
- package/dist/ir/validation/soundness-gate-cases/type-params-and-intrinsics.test.d.ts +11 -0
- package/dist/ir/validation/soundness-gate-cases/type-params-and-intrinsics.test.d.ts.map +1 -0
- package/dist/ir/validation/soundness-gate-cases/type-params-and-intrinsics.test.js +249 -0
- package/dist/ir/validation/soundness-gate-cases/type-params-and-intrinsics.test.js.map +1 -0
- package/dist/ir/validation/soundness-gate-expression-validation.d.ts +3 -0
- package/dist/ir/validation/soundness-gate-expression-validation.d.ts.map +1 -0
- package/dist/ir/validation/soundness-gate-expression-validation.js +205 -0
- package/dist/ir/validation/soundness-gate-expression-validation.js.map +1 -0
- package/dist/ir/validation/soundness-gate-shared.d.ts +26 -0
- package/dist/ir/validation/soundness-gate-shared.d.ts.map +1 -0
- package/dist/ir/validation/soundness-gate-shared.js +46 -0
- package/dist/ir/validation/soundness-gate-shared.js.map +1 -0
- package/dist/ir/validation/soundness-gate-statement-validation.d.ts +5 -0
- package/dist/ir/validation/soundness-gate-statement-validation.d.ts.map +1 -0
- package/dist/ir/validation/soundness-gate-statement-validation.js +199 -0
- package/dist/ir/validation/soundness-gate-statement-validation.js.map +1 -0
- package/dist/ir/validation/soundness-gate-type-validation.d.ts +9 -0
- package/dist/ir/validation/soundness-gate-type-validation.d.ts.map +1 -0
- package/dist/ir/validation/soundness-gate-type-validation.js +149 -0
- package/dist/ir/validation/soundness-gate-type-validation.js.map +1 -0
- package/dist/ir/validation/soundness-gate.d.ts +2 -18
- package/dist/ir/validation/soundness-gate.d.ts.map +1 -1
- package/dist/ir/validation/soundness-gate.js +15 -608
- package/dist/ir/validation/soundness-gate.js.map +1 -1
- package/dist/ir/validation/soundness-gate.test.d.ts +5 -12
- package/dist/ir/validation/soundness-gate.test.d.ts.map +1 -1
- package/dist/ir/validation/soundness-gate.test.js +5 -696
- package/dist/ir/validation/soundness-gate.test.js.map +1 -1
- package/dist/ir/validation/virtual-marking-pass.d.ts +10 -2
- package/dist/ir/validation/virtual-marking-pass.d.ts.map +1 -1
- package/dist/ir/validation/virtual-marking-pass.js +347 -59
- package/dist/ir/validation/virtual-marking-pass.js.map +1 -1
- package/dist/ir/validation/virtual-marking-pass.test.d.ts +2 -0
- package/dist/ir/validation/virtual-marking-pass.test.d.ts.map +1 -0
- package/dist/ir/validation/virtual-marking-pass.test.js +314 -0
- package/dist/ir/validation/virtual-marking-pass.test.js.map +1 -0
- package/dist/ir/validation/yield-expression-lowering.d.ts +13 -0
- package/dist/ir/validation/yield-expression-lowering.d.ts.map +1 -0
- package/dist/ir/validation/yield-expression-lowering.js +13 -0
- package/dist/ir/validation/yield-expression-lowering.js.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/assignment-yield.test.d.ts +14 -0
- package/dist/ir/validation/yield-lowering-cases/assignment-yield.test.d.ts.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/assignment-yield.test.js +383 -0
- package/dist/ir/validation/yield-lowering-cases/assignment-yield.test.js.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/basic-yield.test.d.ts +12 -0
- package/dist/ir/validation/yield-lowering-cases/basic-yield.test.d.ts.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/basic-yield.test.js +120 -0
- package/dist/ir/validation/yield-lowering-cases/basic-yield.test.js.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/control-flow.test.d.ts +13 -0
- package/dist/ir/validation/yield-lowering-cases/control-flow.test.d.ts.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/control-flow.test.js +284 -0
- package/dist/ir/validation/yield-lowering-cases/control-flow.test.js.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/destructuring-and-unsupported.test.d.ts +13 -0
- package/dist/ir/validation/yield-lowering-cases/destructuring-and-unsupported.test.d.ts.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/destructuring-and-unsupported.test.js +334 -0
- package/dist/ir/validation/yield-lowering-cases/destructuring-and-unsupported.test.js.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/for-loop-initializer.test.d.ts +16 -0
- package/dist/ir/validation/yield-lowering-cases/for-loop-initializer.test.d.ts.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/for-loop-initializer.test.js +321 -0
- package/dist/ir/validation/yield-lowering-cases/for-loop-initializer.test.js.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/helpers.d.ts +32 -0
- package/dist/ir/validation/yield-lowering-cases/helpers.d.ts.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/helpers.js +76 -0
- package/dist/ir/validation/yield-lowering-cases/helpers.js.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/nested-yield-in-statements.test.d.ts +13 -0
- package/dist/ir/validation/yield-lowering-cases/nested-yield-in-statements.test.d.ts.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/nested-yield-in-statements.test.js +221 -0
- package/dist/ir/validation/yield-lowering-cases/nested-yield-in-statements.test.js.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/non-generator-and-modules.test.d.ts +11 -0
- package/dist/ir/validation/yield-lowering-cases/non-generator-and-modules.test.d.ts.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/non-generator-and-modules.test.js +136 -0
- package/dist/ir/validation/yield-lowering-cases/non-generator-and-modules.test.js.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/pipeline-contract-and-return.test.d.ts +14 -0
- package/dist/ir/validation/yield-lowering-cases/pipeline-contract-and-return.test.d.ts.map +1 -0
- package/dist/ir/validation/yield-lowering-cases/pipeline-contract-and-return.test.js +219 -0
- package/dist/ir/validation/yield-lowering-cases/pipeline-contract-and-return.test.js.map +1 -0
- package/dist/ir/validation/yield-lowering-helpers.d.ts +63 -0
- package/dist/ir/validation/yield-lowering-helpers.d.ts.map +1 -0
- package/dist/ir/validation/yield-lowering-helpers.js +240 -0
- package/dist/ir/validation/yield-lowering-helpers.js.map +1 -0
- package/dist/ir/validation/yield-lowering-pass.d.ts +7 -1
- package/dist/ir/validation/yield-lowering-pass.d.ts.map +1 -1
- package/dist/ir/validation/yield-lowering-pass.js +8 -1418
- package/dist/ir/validation/yield-lowering-pass.js.map +1 -1
- package/dist/ir/validation/yield-lowering-pass.test.d.ts +8 -11
- package/dist/ir/validation/yield-lowering-pass.test.d.ts.map +1 -1
- package/dist/ir/validation/yield-lowering-pass.test.js +8 -1975
- package/dist/ir/validation/yield-lowering-pass.test.js.map +1 -1
- package/dist/ir/validation/yield-main-expression-lowering.d.ts +20 -0
- package/dist/ir/validation/yield-main-expression-lowering.d.ts.map +1 -0
- package/dist/ir/validation/yield-main-expression-lowering.js +381 -0
- package/dist/ir/validation/yield-main-expression-lowering.js.map +1 -0
- package/dist/ir/validation/yield-member-access-lowering.d.ts +21 -0
- package/dist/ir/validation/yield-member-access-lowering.d.ts.map +1 -0
- package/dist/ir/validation/yield-member-access-lowering.js +58 -0
- package/dist/ir/validation/yield-member-access-lowering.js.map +1 -0
- package/dist/ir/validation/yield-module-processing.d.ts +25 -0
- package/dist/ir/validation/yield-module-processing.d.ts.map +1 -0
- package/dist/ir/validation/yield-module-processing.js +180 -0
- package/dist/ir/validation/yield-module-processing.js.map +1 -0
- package/dist/ir/validation/yield-statement-loops.d.ts +51 -0
- package/dist/ir/validation/yield-statement-loops.d.ts.map +1 -0
- package/dist/ir/validation/yield-statement-loops.js +344 -0
- package/dist/ir/validation/yield-statement-loops.js.map +1 -0
- package/dist/ir/validation/yield-statement-lowering.d.ts +18 -0
- package/dist/ir/validation/yield-statement-lowering.d.ts.map +1 -0
- package/dist/ir/validation/yield-statement-lowering.js +48 -0
- package/dist/ir/validation/yield-statement-lowering.js.map +1 -0
- package/dist/ir/validation/yield-statement-simple.d.ts +33 -0
- package/dist/ir/validation/yield-statement-simple.d.ts.map +1 -0
- package/dist/ir/validation/yield-statement-simple.js +268 -0
- package/dist/ir/validation/yield-statement-simple.js.map +1 -0
- package/dist/program/binding-loader.d.ts.map +1 -1
- package/dist/program/binding-loader.js +1099 -6
- package/dist/program/binding-loader.js.map +1 -1
- package/dist/program/binding-payload-invariants.test.d.ts +2 -0
- package/dist/program/binding-payload-invariants.test.d.ts.map +1 -0
- package/dist/program/binding-payload-invariants.test.js +55 -0
- package/dist/program/binding-payload-invariants.test.js.map +1 -0
- package/dist/program/binding-registry-loading.d.ts +51 -0
- package/dist/program/binding-registry-loading.d.ts.map +1 -0
- package/dist/program/binding-registry-loading.js +816 -0
- package/dist/program/binding-registry-loading.js.map +1 -0
- package/dist/program/binding-registry-resolution-extension.d.ts +26 -0
- package/dist/program/binding-registry-resolution-extension.d.ts.map +1 -0
- package/dist/program/binding-registry-resolution-extension.js +161 -0
- package/dist/program/binding-registry-resolution-extension.js.map +1 -0
- package/dist/program/binding-registry-resolution-member.d.ts +46 -0
- package/dist/program/binding-registry-resolution-member.d.ts.map +1 -0
- package/dist/program/binding-registry-resolution-member.js +252 -0
- package/dist/program/binding-registry-resolution-member.js.map +1 -0
- package/dist/program/binding-registry-resolution.d.ts +13 -0
- package/dist/program/binding-registry-resolution.d.ts.map +1 -0
- package/dist/program/binding-registry-resolution.js +12 -0
- package/dist/program/binding-registry-resolution.js.map +1 -0
- package/dist/program/binding-registry.d.ts +34 -22
- package/dist/program/binding-registry.d.ts.map +1 -1
- package/dist/program/binding-registry.js +111 -562
- package/dist/program/binding-registry.js.map +1 -1
- package/dist/program/binding-types.d.ts +34 -3
- package/dist/program/binding-types.d.ts.map +1 -1
- package/dist/program/binding-types.js +82 -6
- package/dist/program/binding-types.js.map +1 -1
- package/dist/program/bindings-cases/dotnet-payload-boundaries.test.d.ts +2 -0
- package/dist/program/bindings-cases/dotnet-payload-boundaries.test.d.ts.map +1 -0
- package/dist/program/bindings-cases/dotnet-payload-boundaries.test.js +115 -0
- package/dist/program/bindings-cases/dotnet-payload-boundaries.test.js.map +1 -0
- package/dist/program/bindings-cases/hierarchical-and-type-semantics.test.d.ts +6 -0
- package/dist/program/bindings-cases/hierarchical-and-type-semantics.test.d.ts.map +1 -0
- package/dist/program/bindings-cases/hierarchical-and-type-semantics.test.js +573 -0
- package/dist/program/bindings-cases/hierarchical-and-type-semantics.test.js.map +1 -0
- package/dist/program/bindings-cases/load-bindings.test.d.ts +7 -0
- package/dist/program/bindings-cases/load-bindings.test.d.ts.map +1 -0
- package/dist/program/bindings-cases/load-bindings.test.js +545 -0
- package/dist/program/bindings-cases/load-bindings.test.js.map +1 -0
- package/dist/program/bindings-cases/registry-basics.test.d.ts +6 -0
- package/dist/program/bindings-cases/registry-basics.test.d.ts.map +1 -0
- package/dist/program/bindings-cases/registry-basics.test.js +201 -0
- package/dist/program/bindings-cases/registry-basics.test.js.map +1 -0
- package/dist/program/bindings-cases/registry-member-resolution.test.d.ts +8 -0
- package/dist/program/bindings-cases/registry-member-resolution.test.d.ts.map +1 -0
- package/dist/program/bindings-cases/registry-member-resolution.test.js +301 -0
- package/dist/program/bindings-cases/registry-member-resolution.test.js.map +1 -0
- package/dist/program/bindings.d.ts +2 -1
- package/dist/program/bindings.d.ts.map +1 -1
- package/dist/program/bindings.js +1 -0
- package/dist/program/bindings.js.map +1 -1
- package/dist/program/bindings.test.d.ts +12 -2
- package/dist/program/bindings.test.d.ts.map +1 -1
- package/dist/program/bindings.test.js +12 -989
- package/dist/program/bindings.test.js.map +1 -1
- package/dist/program/core-declarations.d.ts +16 -0
- package/dist/program/core-declarations.d.ts.map +1 -0
- package/dist/program/core-declarations.js +126 -0
- package/dist/program/core-declarations.js.map +1 -0
- package/dist/program/creation-cases/authoritative-type-roots.test.d.ts +6 -0
- package/dist/program/creation-cases/authoritative-type-roots.test.d.ts.map +1 -0
- package/dist/program/creation-cases/authoritative-type-roots.test.js +136 -0
- package/dist/program/creation-cases/authoritative-type-roots.test.js.map +1 -0
- package/dist/program/creation-cases/compiler-options.test.d.ts +5 -0
- package/dist/program/creation-cases/compiler-options.test.d.ts.map +1 -0
- package/dist/program/creation-cases/compiler-options.test.js +77 -0
- package/dist/program/creation-cases/compiler-options.test.js.map +1 -0
- package/dist/program/creation-cases/core-type-checking.test.d.ts +6 -0
- package/dist/program/creation-cases/core-type-checking.test.d.ts.map +1 -0
- package/dist/program/creation-cases/core-type-checking.test.js +66 -0
- package/dist/program/creation-cases/core-type-checking.test.js.map +1 -0
- package/dist/program/creation-cases/js-surface-globals.test.d.ts +6 -0
- package/dist/program/creation-cases/js-surface-globals.test.d.ts.map +1 -0
- package/dist/program/creation-cases/js-surface-globals.test.js +236 -0
- package/dist/program/creation-cases/js-surface-globals.test.js.map +1 -0
- package/dist/program/creation-cases/module-bindings.test.d.ts +2 -0
- package/dist/program/creation-cases/module-bindings.test.d.ts.map +1 -0
- package/dist/program/creation-cases/module-bindings.test.js +253 -0
- package/dist/program/creation-cases/module-bindings.test.js.map +1 -0
- package/dist/program/creation-cases/package-resolution.test.d.ts +6 -0
- package/dist/program/creation-cases/package-resolution.test.d.ts.map +1 -0
- package/dist/program/creation-cases/package-resolution.test.js +116 -0
- package/dist/program/creation-cases/package-resolution.test.js.map +1 -0
- package/dist/program/creation-cases/surface-isolation.test.d.ts +6 -0
- package/dist/program/creation-cases/surface-isolation.test.d.ts.map +1 -0
- package/dist/program/creation-cases/surface-isolation.test.js +196 -0
- package/dist/program/creation-cases/surface-isolation.test.js.map +1 -0
- package/dist/program/creation-cases/test-package-helpers.d.ts +6 -0
- package/dist/program/creation-cases/test-package-helpers.d.ts.map +1 -0
- package/dist/program/creation-cases/test-package-helpers.js +26 -0
- package/dist/program/creation-cases/test-package-helpers.js.map +1 -0
- package/dist/program/creation.d.ts +3 -14
- package/dist/program/creation.d.ts.map +1 -1
- package/dist/program/creation.js +3 -780
- package/dist/program/creation.js.map +1 -1
- package/dist/program/creation.test.d.ts +10 -2
- package/dist/program/creation.test.d.ts.map +1 -1
- package/dist/program/creation.test.js +10 -932
- package/dist/program/creation.test.js.map +1 -1
- package/dist/program/declaration-module-aliases.d.ts +13 -0
- package/dist/program/declaration-module-aliases.d.ts.map +1 -0
- package/dist/program/declaration-module-aliases.js +144 -0
- package/dist/program/declaration-module-aliases.js.map +1 -0
- package/dist/program/dependency-graph.d.ts +3 -1
- package/dist/program/dependency-graph.d.ts.map +1 -1
- package/dist/program/dependency-graph.js +211 -23
- package/dist/program/dependency-graph.js.map +1 -1
- package/dist/program/dependency-graph.test.js +307 -85
- package/dist/program/dependency-graph.test.js.map +1 -1
- package/dist/program/diagnostics.d.ts +1 -1
- package/dist/program/diagnostics.d.ts.map +1 -1
- package/dist/program/diagnostics.js +2 -48
- package/dist/program/diagnostics.js.map +1 -1
- package/dist/program/diagnostics.test.js +9 -24
- package/dist/program/diagnostics.test.js.map +1 -1
- package/dist/program/dotnet-binding-payload.d.ts +12 -0
- package/dist/program/dotnet-binding-payload.d.ts.map +1 -0
- package/dist/program/dotnet-binding-payload.js +71 -0
- package/dist/program/dotnet-binding-payload.js.map +1 -0
- package/dist/program/fixture-fast-coverage.test.d.ts +2 -0
- package/dist/program/fixture-fast-coverage.test.d.ts.map +1 -0
- package/dist/program/fixture-fast-coverage.test.js +225 -0
- package/dist/program/fixture-fast-coverage.test.js.map +1 -0
- package/dist/program/index.d.ts +1 -1
- package/dist/program/index.d.ts.map +1 -1
- package/dist/program/index.js +1 -1
- package/dist/program/index.js.map +1 -1
- package/dist/program/json-deserialize-overload-resolution.test.d.ts +2 -0
- package/dist/program/json-deserialize-overload-resolution.test.d.ts.map +1 -0
- package/dist/program/json-deserialize-overload-resolution.test.js +57 -0
- package/dist/program/json-deserialize-overload-resolution.test.js.map +1 -0
- package/dist/program/metadata.d.ts.map +1 -1
- package/dist/program/metadata.js +24 -8
- package/dist/program/metadata.js.map +1 -1
- package/dist/program/metadata.test.js +30 -82
- package/dist/program/metadata.test.js.map +1 -1
- package/dist/program/module-resolution.d.ts +29 -0
- package/dist/program/module-resolution.d.ts.map +1 -0
- package/dist/program/module-resolution.js +257 -0
- package/dist/program/module-resolution.js.map +1 -0
- package/dist/program/package-roots.d.ts +3 -1
- package/dist/program/package-roots.d.ts.map +1 -1
- package/dist/program/package-roots.js +159 -21
- package/dist/program/package-roots.js.map +1 -1
- package/dist/program/package-roots.test.js +81 -25
- package/dist/program/package-roots.test.js.map +1 -1
- package/dist/program/program-assembly.d.ts +12 -0
- package/dist/program/program-assembly.d.ts.map +1 -0
- package/dist/program/program-assembly.js +409 -0
- package/dist/program/program-assembly.js.map +1 -0
- package/dist/program/program-factory.d.ts +9 -0
- package/dist/program/program-factory.d.ts.map +1 -0
- package/dist/program/program-factory.js +9 -0
- package/dist/program/program-factory.js.map +1 -0
- package/dist/program/program-input-discovery.d.ts +19 -0
- package/dist/program/program-input-discovery.d.ts.map +1 -0
- package/dist/program/program-input-discovery.js +379 -0
- package/dist/program/program-input-discovery.js.map +1 -0
- package/dist/program/program-input-discovery.test.d.ts +2 -0
- package/dist/program/program-input-discovery.test.d.ts.map +1 -0
- package/dist/program/program-input-discovery.test.js +342 -0
- package/dist/program/program-input-discovery.test.js.map +1 -0
- package/dist/program/source-binding-imports.d.ts +7 -0
- package/dist/program/source-binding-imports.d.ts.map +1 -0
- package/dist/program/source-binding-imports.js +80 -0
- package/dist/program/source-binding-imports.js.map +1 -0
- package/dist/program/source-binding-imports.test.d.ts +2 -0
- package/dist/program/source-binding-imports.test.d.ts.map +1 -0
- package/dist/program/source-binding-imports.test.js +58 -0
- package/dist/program/source-binding-imports.test.js.map +1 -0
- package/dist/program/source-file-identity.d.ts +13 -0
- package/dist/program/source-file-identity.d.ts.map +1 -0
- package/dist/program/source-file-identity.js +127 -0
- package/dist/program/source-file-identity.js.map +1 -0
- package/dist/program/source-package-metadata.d.ts +14 -0
- package/dist/program/source-package-metadata.d.ts.map +1 -0
- package/dist/program/source-package-metadata.js +227 -0
- package/dist/program/source-package-metadata.js.map +1 -0
- package/dist/program/tsbindgen-instance-receiver-substitution.test.d.ts +2 -0
- package/dist/program/tsbindgen-instance-receiver-substitution.test.d.ts.map +1 -0
- package/dist/program/tsbindgen-instance-receiver-substitution.test.js +194 -0
- package/dist/program/tsbindgen-instance-receiver-substitution.test.js.map +1 -0
- package/dist/program/types.d.ts +3 -2
- package/dist/program/types.d.ts.map +1 -1
- package/dist/program/xunit-equal-overload-resolution.test.d.ts +2 -0
- package/dist/program/xunit-equal-overload-resolution.test.d.ts.map +1 -0
- package/dist/program/xunit-equal-overload-resolution.test.js +205 -0
- package/dist/program/xunit-equal-overload-resolution.test.js.map +1 -0
- package/dist/program.d.ts +1 -1
- package/dist/program.d.ts.map +1 -1
- package/dist/resolver/clr-bindings-package-resolution.d.ts +28 -0
- package/dist/resolver/clr-bindings-package-resolution.d.ts.map +1 -0
- package/dist/resolver/clr-bindings-package-resolution.js +120 -0
- package/dist/resolver/clr-bindings-package-resolution.js.map +1 -0
- package/dist/resolver/clr-bindings-resolve-logic.d.ts +40 -0
- package/dist/resolver/clr-bindings-resolve-logic.d.ts.map +1 -0
- package/dist/resolver/clr-bindings-resolve-logic.js +192 -0
- package/dist/resolver/clr-bindings-resolve-logic.js.map +1 -0
- package/dist/resolver/clr-bindings-resolver.d.ts +9 -69
- package/dist/resolver/clr-bindings-resolver.d.ts.map +1 -1
- package/dist/resolver/clr-bindings-resolver.js +4 -436
- package/dist/resolver/clr-bindings-resolver.js.map +1 -1
- package/dist/resolver/dynamic-import.test.js +20 -11
- package/dist/resolver/dynamic-import.test.js.map +1 -1
- package/dist/resolver/import-resolution.d.ts +3 -0
- package/dist/resolver/import-resolution.d.ts.map +1 -1
- package/dist/resolver/import-resolution.js +120 -33
- package/dist/resolver/import-resolution.js.map +1 -1
- package/dist/resolver/source-package-resolution.d.ts +18 -0
- package/dist/resolver/source-package-resolution.d.ts.map +1 -1
- package/dist/resolver/source-package-resolution.js +141 -14
- package/dist/resolver/source-package-resolution.js.map +1 -1
- package/dist/resolver/source-package-resolution.test.js +27 -52
- package/dist/resolver/source-package-resolution.test.js.map +1 -1
- package/dist/resolver-cases/namespace-and-classname.test.d.ts +5 -0
- package/dist/resolver-cases/namespace-and-classname.test.d.ts.map +1 -0
- package/dist/resolver-cases/namespace-and-classname.test.js +32 -0
- package/dist/resolver-cases/namespace-and-classname.test.js.map +1 -0
- package/dist/resolver-cases/resolve-import.test.d.ts +5 -0
- package/dist/resolver-cases/resolve-import.test.d.ts.map +1 -0
- package/dist/resolver-cases/resolve-import.test.js +460 -0
- package/dist/resolver-cases/resolve-import.test.js.map +1 -0
- package/dist/resolver.test.d.ts +2 -4
- package/dist/resolver.test.d.ts.map +1 -1
- package/dist/resolver.test.js +2 -289
- package/dist/resolver.test.js.map +1 -1
- package/dist/surface/profiles.d.ts +1 -1
- package/dist/surface/profiles.d.ts.map +1 -1
- package/dist/surface/profiles.js +146 -53
- package/dist/surface/profiles.js.map +1 -1
- package/dist/surface/profiles.test.js +97 -108
- package/dist/surface/profiles.test.js.map +1 -1
- package/dist/testing/filesystem-fixtures.d.ts +7 -0
- package/dist/testing/filesystem-fixtures.d.ts.map +1 -0
- package/dist/testing/filesystem-fixtures.js +80 -0
- package/dist/testing/filesystem-fixtures.js.map +1 -0
- package/dist/types/diagnostic.d.ts +1 -1
- package/dist/types/diagnostic.d.ts.map +1 -1
- package/dist/types/diagnostic.js.map +1 -1
- package/dist/validation/contextual-type-analysis.d.ts +12 -0
- package/dist/validation/contextual-type-analysis.d.ts.map +1 -0
- package/dist/validation/contextual-type-analysis.js +11 -0
- package/dist/validation/contextual-type-analysis.js.map +1 -0
- package/dist/validation/contextual-type-checks.d.ts +35 -0
- package/dist/validation/contextual-type-checks.d.ts.map +1 -0
- package/dist/validation/contextual-type-checks.js +214 -0
- package/dist/validation/contextual-type-checks.js.map +1 -0
- package/dist/validation/exports.d.ts.map +1 -1
- package/dist/validation/exports.js +14 -15
- package/dist/validation/exports.js.map +1 -1
- package/dist/validation/features-cases/promise-chaining.test.d.ts +2 -0
- package/dist/validation/features-cases/promise-chaining.test.d.ts.map +1 -0
- package/dist/validation/features-cases/promise-chaining.test.js +113 -0
- package/dist/validation/features-cases/promise-chaining.test.js.map +1 -0
- package/dist/validation/features-cases/test-helpers.d.ts +11 -0
- package/dist/validation/features-cases/test-helpers.d.ts.map +1 -0
- package/dist/validation/features-cases/test-helpers.js +125 -0
- package/dist/validation/features-cases/test-helpers.js.map +1 -0
- package/dist/validation/features-cases/tsn2001-unsupported-syntax.test.d.ts +2 -0
- package/dist/validation/features-cases/tsn2001-unsupported-syntax.test.d.ts.map +1 -0
- package/dist/validation/features-cases/tsn2001-unsupported-syntax.test.js +158 -0
- package/dist/validation/features-cases/tsn2001-unsupported-syntax.test.js.map +1 -0
- package/dist/validation/features-cases/tsn5001-function-length.test.d.ts +2 -0
- package/dist/validation/features-cases/tsn5001-function-length.test.d.ts.map +1 -0
- package/dist/validation/features-cases/tsn5001-function-length.test.js +104 -0
- package/dist/validation/features-cases/tsn5001-function-length.test.js.map +1 -0
- package/dist/validation/features.d.ts.map +1 -1
- package/dist/validation/features.js +223 -0
- package/dist/validation/features.js.map +1 -1
- package/dist/validation/features.test.d.ts +3 -1
- package/dist/validation/features.test.d.ts.map +1 -1
- package/dist/validation/features.test.js +3 -386
- package/dist/validation/features.test.js.map +1 -1
- package/dist/validation/imports.d.ts.map +1 -1
- package/dist/validation/imports.js +37 -3
- package/dist/validation/imports.js.map +1 -1
- package/dist/validation/imports.test.js +45 -9
- package/dist/validation/imports.test.js.map +1 -1
- package/dist/validation/static-safety-arrow-rules.d.ts +11 -0
- package/dist/validation/static-safety-arrow-rules.d.ts.map +1 -0
- package/dist/validation/static-safety-arrow-rules.js +54 -0
- package/dist/validation/static-safety-arrow-rules.js.map +1 -0
- package/dist/validation/static-safety-dictionary-keys.d.ts +10 -0
- package/dist/validation/static-safety-dictionary-keys.d.ts.map +1 -0
- package/dist/validation/static-safety-dictionary-keys.js +32 -0
- package/dist/validation/static-safety-dictionary-keys.js.map +1 -0
- package/dist/validation/static-safety-rules.d.ts +27 -0
- package/dist/validation/static-safety-rules.d.ts.map +1 -0
- package/dist/validation/static-safety-rules.js +231 -0
- package/dist/validation/static-safety-rules.js.map +1 -0
- package/dist/validation/static-safety.d.ts +4 -7
- package/dist/validation/static-safety.d.ts.map +1 -1
- package/dist/validation/static-safety.js +3 -673
- package/dist/validation/static-safety.js.map +1 -1
- package/dist/validation/synthesis-eligibility.d.ts +31 -0
- package/dist/validation/synthesis-eligibility.d.ts.map +1 -0
- package/dist/validation/synthesis-eligibility.js +161 -0
- package/dist/validation/synthesis-eligibility.js.map +1 -0
- package/dist/validator-cases/any-and-object-literals.test.d.ts +10 -0
- package/dist/validator-cases/any-and-object-literals.test.d.ts.map +1 -0
- package/dist/validator-cases/any-and-object-literals.test.js +271 -0
- package/dist/validator-cases/any-and-object-literals.test.js.map +1 -0
- package/dist/validator-cases/generic-validation.test.d.ts +11 -0
- package/dist/validator-cases/generic-validation.test.d.ts.map +1 -0
- package/dist/validator-cases/generic-validation.test.js +282 -0
- package/dist/validator-cases/generic-validation.test.js.map +1 -0
- package/dist/validator-cases/helpers.d.ts +9 -0
- package/dist/validator-cases/helpers.d.ts.map +1 -0
- package/dist/validator-cases/helpers.js +46 -0
- package/dist/validator-cases/helpers.js.map +1 -0
- package/dist/validator-cases/parameters-and-dict-keys.test.d.ts +10 -0
- package/dist/validator-cases/parameters-and-dict-keys.test.d.ts.map +1 -0
- package/dist/validator-cases/parameters-and-dict-keys.test.js +280 -0
- package/dist/validator-cases/parameters-and-dict-keys.test.js.map +1 -0
- package/dist/validator-cases/utility-types.test.d.ts +12 -0
- package/dist/validator-cases/utility-types.test.d.ts.map +1 -0
- package/dist/validator-cases/utility-types.test.js +323 -0
- package/dist/validator-cases/utility-types.test.js.map +1 -0
- package/dist/validator-maximus-cases/array-and-literal-inference.test.d.ts +2 -0
- package/dist/validator-maximus-cases/array-and-literal-inference.test.d.ts.map +1 -0
- package/dist/validator-maximus-cases/array-and-literal-inference.test.js +221 -0
- package/dist/validator-maximus-cases/array-and-literal-inference.test.js.map +1 -0
- package/dist/validator-maximus-cases/deterministic-typing.test.d.ts +2 -0
- package/dist/validator-maximus-cases/deterministic-typing.test.d.ts.map +1 -0
- package/dist/validator-maximus-cases/deterministic-typing.test.js +432 -0
- package/dist/validator-maximus-cases/deterministic-typing.test.js.map +1 -0
- package/dist/validator-maximus-cases/dictionary-and-object-literal.test.d.ts +2 -0
- package/dist/validator-maximus-cases/dictionary-and-object-literal.test.d.ts.map +1 -0
- package/dist/validator-maximus-cases/dictionary-and-object-literal.test.js +273 -0
- package/dist/validator-maximus-cases/dictionary-and-object-literal.test.js.map +1 -0
- package/dist/validator-maximus-cases/feature-gating.test.d.ts +2 -0
- package/dist/validator-maximus-cases/feature-gating.test.d.ts.map +1 -0
- package/dist/validator-maximus-cases/feature-gating.test.js +181 -0
- package/dist/validator-maximus-cases/feature-gating.test.js.map +1 -0
- package/dist/validator-maximus-cases/generic-function-values.test.d.ts +2 -0
- package/dist/validator-maximus-cases/generic-function-values.test.d.ts.map +1 -0
- package/dist/validator-maximus-cases/generic-function-values.test.js +346 -0
- package/dist/validator-maximus-cases/generic-function-values.test.js.map +1 -0
- package/dist/validator-maximus-cases/helpers.d.ts +9 -0
- package/dist/validator-maximus-cases/helpers.d.ts.map +1 -0
- package/dist/validator-maximus-cases/helpers.js +113 -0
- package/dist/validator-maximus-cases/helpers.js.map +1 -0
- package/dist/validator-maximus-cases/type-syntax.test.d.ts +2 -0
- package/dist/validator-maximus-cases/type-syntax.test.d.ts.map +1 -0
- package/dist/validator-maximus-cases/type-syntax.test.js +157 -0
- package/dist/validator-maximus-cases/type-syntax.test.js.map +1 -0
- package/dist/validator.maximus.test.d.ts +6 -1
- package/dist/validator.maximus.test.d.ts.map +1 -1
- package/dist/validator.maximus.test.js +6 -1417
- package/dist/validator.maximus.test.js.map +1 -1
- package/dist/validator.test.d.ts +4 -10
- package/dist/validator.test.d.ts.map +1 -1
- package/dist/validator.test.js +4 -1086
- package/dist/validator.test.js.map +1 -1
- package/package.json +3 -3
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"binding-registry-loading.js","sourceRoot":"","sources":["../../src/program/binding-registry-loading.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,gCAAgC,EAAE,MAAM,uBAAuB,CAAC;AACzE,iIAAiI;AACjI,OAAO,EAAE,oBAAoB,EAAE,MAAM,0DAA0D,CAAC;AAShG,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAgCtE,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,QAAgB,EAChB,OAAe,EACf,SAAiB,EACT,EAAE,CAAC,GAAG,QAAQ,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;AAEpD;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAe,EAAsB,EAAE;IACzE,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACnC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,mBAA2B,EACP,EAAE;IACtB,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;IAC3C,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAEjC,MAAM,CAAC,KAAK,CAAC,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,IAAI,QAAQ,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7D,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,OAAO,IAAI,CAAC;QAAE,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IACzD,OAAO,QAAQ,IAAI,SAAS,CAAC;AAC/B,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,sBAAsB,GAAG,CAAC,GAAW,EAAY,EAAE;IACvD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,EAAE,CAAC;IAEjB,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACvB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,KAAK,EAAE,CAAC;YACR,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACxB,KAAK,EAAE,CAAC;YACR,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5B,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,KAAc,EAAU,EAAE;IACjD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACvE,CAAC;IAED,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;SAC3B,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;SAC1C,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;SACtE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,qCAAqC,GAAG,CAC5C,MAAqB,EACb,EAAE;IACV,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,aAAa,MAAM,CAAC,SAAS,EAAE,CAAC;IACzC,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,MAAM,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,qBAAqB,eAAe,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,gBAAgB,eAAe,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,MAAM,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,sBAAsB,eAAe,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAAC,MAAqB,EAAU,EAAE,CACpE,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,qCAAqC,CAAC,MAAM,CAAC,EAAE,CAAC;AAE/J,MAAM,0BAA0B,GAAG,CACjC,OAAe,EACf,KAAa,EACb,KAAa,EACN,EAAE;IACT,MAAM,IAAI,KAAK,CAAC,kCAAkC,OAAO,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC,CAAC;AACjF,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,QAAuB,EACvB,QAAuB,EACvB,OAAe,EACf,KAAa,EACb,KAAa,EACE,EAAE;IACjB,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,eAAe,CAAC,QAAQ,CAAC,KAAK,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5D,0BAA0B,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,QAAuB,EACvB,QAAuB,EACvB,OAAe,EACf,KAAa,EACb,KAAa,EACE,EAAE;IACjB,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,MAAM,GAA4B;QACtC,GAAI,QAAoC;KACzC,CAAC;IACF,KAAK,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,IAAI,MAAM,CAAC,OAAO,CAC/C,QAAmC,CACpC,EAAE,CAAC;QACF,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,SAAS;QACX,CAAC;QACD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,IAAI,eAAe,CAAC,aAAa,CAAC,KAAK,eAAe,CAAC,aAAa,CAAC,EAAE,CAAC;YACtE,0BAA0B,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,KAAK,IAAI,GAAG,EAAE,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,OAAO,MAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,QAAuB,EACvB,QAAuB,EACvB,OAAe,EACA,EAAE;IACjB,MAAM,KAAK,GAAG,kBAAkB,CAC9B,QAAQ,CAAC,KAAK,EACd,QAAQ,CAAC,KAAK,EACd,OAAO,EACP,QAAQ,CAAC,KAAK,EACd,OAAO,CACE,CAAC;IAEZ,OAAO;QACL,IAAI,EAAE,kBAAkB,CACtB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,IAAI,EACb,OAAO,EACP,KAAK,EACL,MAAM,CACkB;QAC1B,SAAS,EAAE,kBAAkB,CAC3B,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,SAAS,EAClB,OAAO,EACP,KAAK,EACL,WAAW,CACZ;QACD,YAAY,EAAE,kBAAkB,CAC9B,QAAQ,CAAC,YAAY,EACrB,QAAQ,CAAC,YAAY,EACrB,OAAO,EACP,KAAK,EACL,cAAc,CACf;QACD,gBAAgB,EAAE,kBAAkB,CAClC,QAAQ,CAAC,gBAAgB,EACzB,QAAQ,CAAC,gBAAgB,EACzB,OAAO,EACP,KAAK,EACL,kBAAkB,CACnB;QACD,iBAAiB,EAAE,kBAAkB,CACnC,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,iBAAiB,EAC1B,OAAO,EACP,KAAK,EACL,mBAAmB,CACpB;QACD,oBAAoB,EAAE,kBAAkB,CACtC,QAAQ,CAAC,oBAAoB,EAC7B,QAAQ,CAAC,oBAAoB,EAC7B,OAAO,EACP,KAAK,EACL,sBAAsB,CACvB;QACD,cAAc,EAAE,kBAAkB,CAChC,QAAQ,CAAC,cAAc,EACvB,QAAQ,CAAC,cAAc,EACvB,OAAO,EACP,KAAK,EACL,gBAAgB,CACjB;QACD,cAAc,EAAE,kBAAkB,CAChC,QAAQ,CAAC,cAAc,EACvB,QAAQ,CAAC,cAAc,EACvB,OAAO,EACP,KAAK,EACL,gBAAgB,CACjB;QACD,IAAI,EAAE,kBAAkB,CACtB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,IAAI,EACb,OAAO,EACP,KAAK,EACL,MAAM,CACG;QACX,KAAK;QACL,OAAO,EAAE,2BAA2B,CAClC,QAAQ,CAAC,OAAO,EAChB,QAAQ,CAAC,OAAO,EAChB,OAAO,EACP,KAAK,EACL,SAAS,CACkB;QAC7B,kBAAkB,EAAE,kBAAkB,CACpC,QAAQ,CAAC,kBAAkB,EAC3B,QAAQ,CAAC,kBAAkB,EAC3B,OAAO,EACP,KAAK,EACL,oBAAoB,CACrB;QACD,iBAAiB,EAAE,kBAAkB,CACnC,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,iBAAiB,EAC1B,OAAO,EACP,KAAK,EACL,mBAAmB,CACpB;QACD,aAAa,EAAE,2BAA2B,CACxC,QAAQ,CAAC,aAAa,EACtB,QAAQ,CAAC,aAAa,EACtB,OAAO,EACP,KAAK,EACL,eAAe,CAChB;QACD,YAAY,EAAE,2BAA2B,CACvC,QAAQ,CAAC,YAAY,EACrB,QAAQ,CAAC,YAAY,EACrB,OAAO,EACP,KAAK,EACL,cAAc,CACf;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,OAAwB,EACxB,MAAqB,EACrB,OAAe,EACT,EAAE;IACR,MAAM,WAAW,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAC7B,CAAC,SAAS,EAAE,EAAE,CAAC,2BAA2B,CAAC,SAAS,CAAC,KAAK,WAAW,CACtE,CAAC;IACF,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,MAAM,cAAc,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,+CAA+C,OAAO,EAAE,CAAC,CAAC;QAC5E,CAAC;QACD,OAAO,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,cAAc,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACrE,OAAO;IACT,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,QAA6C,EAC7C,QAAiC,EACxB,EAAE;IACX,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,QAAkC,EAClC,QAAkC,EAClC,OAAe,EACW,EAAE;IAC5B,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoD,CAAC;IAEzE,MAAM,GAAG,GAAG,CAAC,MAAqB,EAAQ,EAAE;QAC1C,MAAM,GAAG,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACxE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC;YACpC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;YAC7D,OAAO;QACT,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC,CAAC;IAEF,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,GAAG,CAAC,MAAM,CAAC,CAAC;IACd,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,GAAG,CAAC,MAAM,CAAC,CAAC;IACd,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,QAAiC,EACjC,QAAqB,EACrB,OAAe,EACF,EAAE;IACf,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CACb,gCAAgC,OAAO,IAAI,QAAQ,CAAC,KAAK,EAAE,CAC5D,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,QAAQ;QACX,OAAO,EAAE,mBAAmB,CAC1B,QAAQ,CAAC,OAAO,EAChB,QAAQ,CAAC,OAAO,EAChB,GAAG,OAAO,IAAI,QAAQ,CAAC,KAAK,EAAE,CAC/B;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,QAAsC,EACtC,QAA0B,EACR,EAAE;IACpB,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,qCAAqC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEnD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;QACD,WAAW,CAAC,GAAG,CACb,IAAI,CAAC,KAAK,EACV,gBAAgB,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,CACzE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,QAAQ;QACX,KAAK,EAAE,SAAS;aACb,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;aACtC,MAAM,CAAC,CAAC,IAAI,EAAuB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;KAC7D,CAAC;AACJ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,yCAAyC;AACzC,8EAA8E;AAE9E,MAAM,YAAY,GAAG,CACnB,KAA2B,EAC3B,SAAiB,EACjB,UAAkB,EACZ,EAAE;IACR,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU;QAAE,OAAO;IACtC,IAAI,SAAS,KAAK,UAAU;QAAE,OAAO;IAErC,MAAM,GAAG,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;IACnE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACpB,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,KAA2B,EAC3B,SAAiB,EACjB,SAAiB,EACX,EAAE;IACR,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS;QAAE,OAAO;IACrC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO;IACpC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CAAC,QAAgB,EAAW,EAAE,CACtE,QAAQ,CAAC,QAAQ,CAAC,0BAA0B,CAAC,CAAC;AAEhD,MAAM,qBAAqB,GAAG,CAC5B,aAAqB,EACrB,IAAyC,EACjC,EAAE,CACV,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,aAAa,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;AAE1E,MAAM,wBAAwB,GAAG,CAC/B,KAA2B,EAC3B,SAAiB,EACjB,OAAe,EACf,gBAAwB,EAClB,EAAE;IACR,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO;IACT,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC5C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;IACT,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACvC,OAAO;IACT,CAAC;IAED,MAAM,eAAe,GAAgB;QACnC,GAAG,QAAQ;QACX,KAAK,EAAE,OAAO;KACf,CAAC;IAEF,MAAM,qBAAqB,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACvD,IACE,qBAAqB;QACrB,CAAC,qBAAqB,CAAC,IAAI,KAAK,eAAe,CAAC,IAAI;YAClD,qBAAqB,CAAC,IAAI,KAAK,eAAe,CAAC,IAAI,CAAC,EACtD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,gCAAgC,OAAO,EAAE,CAAC,CAAC;IAC7D,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC9B,KAAK,CAAC,KAAK,CAAC,GAAG,CACb,OAAO,EACP,gBAAgB,CAAC,qBAAqB,EAAE,eAAe,EAAE,OAAO,CAAC,CAClE,CAAC;IAEF,KAAK,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC,IAAI,KAAK,CAAC,IAAI,CACpD,KAAK,CAAC,kBAAkB,CAAC,OAAO,EAAE,CACnC,EAAE,CAAC;QACF,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YAC7C,SAAS;QACX,CAAC;QACD,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1D,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,gBAAgB,GACpB,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;QACtD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;QACD,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;QACzD,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM,cAAc,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QACjC,KAAK,CAAC,WAAW,CAAC,GAAG,CACnB,OAAO,EACP,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CACxD,CAAC;QACF,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC;IACD,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,CAC7C,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,CAC5B,EAAE,CAAC;QACF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC3D,IAAI,gBAAgB,EAAE,CAAC;QACrB,KAAK,CAAC,YAAY,CAAC,GAAG,CACpB,OAAO,EACP,IAAI,GAAG,CACL,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,SAAS,EAAE,EAAE,CACzC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAC9C,CACF,CACF,CAAC;QACF,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC;IACD,KAAK,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,CAC9C,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,CAC7B,EAAE,CAAC;QACF,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/B,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,QAAQ,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC9D,CAAC;QACD,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC9C,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,GAAG,SAAS,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,GAAG,OAAO,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,YAAY,EAAE,CAAC;YACjB,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC7B,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,WAAW,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAC5D,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;gBAC7C,IACE,CAAC,WAAW,CAAC,IAAI,CACf,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,KAAK,UAAU,CACzD,EACD,CAAC;oBACD,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;YACD,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACrC,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,CAClD,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,CAC3B,EAAE,CAAC;QACF,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,MAAM,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACjD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBAC/D,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,GAAG,IAAI,CAAC;YACf,OAAO,eAAe,CAAC;QACzB,CAAC,CAAC,CAAC;QACH,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,cAAc,EAAE;gBACnC,GAAG,SAAS;gBACZ,KAAK,EAAE,aAAa;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,EAAE,sBAAsB,CAAC,IAAI,KAAK,CAAC,IAAI,CACjD,KAAK,CAAC,gBAAgB,CAAC,OAAO,EAAE,CACjC,EAAE,CAAC;QACF,MAAM,WAAW,GAAG,sBAAsB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC1D,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GACf,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,GAAG,EAA2B,CAAC;QAC5E,KAAK,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;YACzE,MAAM,iBAAiB,GAAG,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;YAC7D,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;gBAC7C,IACE,CAAC,iBAAiB,CAAC,IAAI,CACrB,CAAC,SAAwB,EAAE,EAAE,CAC3B,eAAe,CAAC,SAAS,CAAC,KAAK,UAAU,CAC5C,EACD,CAAC;oBACD,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACnC,CAAC;YACH,CAAC;YACD,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;QAClD,CAAC;QACD,sBAAsB,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACjD,sBAAsB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,KAA2B,EAC3B,aAAqB,EACrB,IAAiB,EACjB,iBAA0B,EACb,EAAE;IACf,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,iBAAiB,EAAE,CAAC;QACtB,IAAI,KAAK,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,cAAc,GAAG,qBAAqB,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;YAClE,OAAO,cAAc,KAAK,IAAI,CAAC,KAAK;gBAClC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,KAAK,EAAE,cAAc;iBACtB,CAAC;QACR,CAAC;QAED,MAAM,sBAAsB,GAAG,qBAAqB,CAClD,aAAa,EACb,QAAQ,CACT,CAAC;QACF,IAAI,sBAAsB,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC9C,MAAM,IAAI,KAAK,CACb,gCAAgC,aAAa,IAAI,IAAI,CAAC,KAAK,EAAE,CAC9D,CAAC;QACJ,CAAC;QAED,wBAAwB,CACtB,KAAK,EACL,IAAI,CAAC,KAAK,EACV,sBAAsB,EACtB,QAAQ,CAAC,IAAI,CACd,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,cAAc,GAAG,qBAAqB,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;IAElE,OAAO;QACL,GAAG,IAAI;QACP,KAAK,EAAE,cAAc;KACtB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,KAA2B,EAC3B,aAAqB,EACrB,IAAiB,EACX,EAAE;IACR,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;IACT,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QAC/D,OAAO;IACT,CAAC;IAED,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CACnE,IAAI,EACJ,GAAG,CACJ,CAAC;IACF,IAAI,iBAAiB,KAAK,aAAa,EAAE,CAAC;QACxC,OAAO;IACT,CAAC;IAED,MAAM,IAAI,KAAK,CACb,gCAAgC,aAAa,IAAI,IAAI,CAAC,KAAK,EAAE,CAC9D,CAAC;AACJ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,6CAA6C;AAC7C,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAA2B,EAC3B,SAAiB,EACjB,QAAqB,EACf,EAAE;IACR,MAAM,iBAAiB,GAAG,iCAAiC,CAAC,SAAS,CAAC,CAAC;IACvE,wEAAwE;IACxE,0EAA0E;IAC1E,yEAAyE;IACzE,+CAA+C;IAC/C,IAAI,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO;IACpD,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAExC,MAAM,iBAAiB,GAAG,CAAC,GAAW,EAAE,MAAqB,EAAQ,EAAE;QACrE,MAAM,QAAQ,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACtD,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC3C,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC;IAEF,MAAM,oBAAoB,GAAG,CAAC,MAAqB,EAAQ,EAAE;QAC3D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO;QAErC,MAAM,YAAY,GAAG,gBAAgB,CACnC,MAAM,CAAC,OAAO,CAAC,QAAQ,EACvB,MAAM,CAAC,OAAO,CAAC,IAAI,EACnB,MAAM,CAAC,OAAO,CAAC,MAAM,CACtB,CAAC;QACF,MAAM,QAAQ,GAAG,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAClE,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QACpD,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,KAAa,EAAE,OAAe,EAAQ,EAAE;QAClE,MAAM,KAAK,GAAG,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QACxE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACnB,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC;IAEF,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,UAAmC,EAC7B,EAAE;QACR,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,iCAAiC,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;YAC5D,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,4DAA4D;QAC5D,kDAAkD;QAClD,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YACrC,MAAM,cAAc,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3C,uBAAuB,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,iBAAiB,CAAC,CACjE,CAAC;YACF,KAAK,CAAC,UAAU,CAAC,GAAG,CAClB,EAAE,CAAC,KAAK,EACR,qBAAqB,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE;gBACpD,GAAG,EAAE;gBACL,KAAK,EAAE,cAAc;aACtB,CAAC,CACH,CAAC;YAEF,2CAA2C;YAC3C,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;gBAClC,IAAI,iBAAiB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnD,KAAK,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC/C,CAAC;gBACD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7C,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC/D,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACpC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACtC,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7C,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBACxD,CAAC;gBACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAChC,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAC1B,GAAG,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,EAC1B,MAAM,CAAC,KAAK,CACb,CAAC;gBACJ,CAAC;gBACD,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACnD,IACE,aAAa;oBACb,aAAa,KAAK,MAAM,CAAC,KAAK;oBAC9B,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC;oBAC/B,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,aAAa,CAAC,EAC5C,CAAC;oBACD,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC5D,CAAC;gBACD,kBAAkB,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;gBAE9C,oEAAoE;gBACpE,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;oBACpC,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;oBAC9C,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;oBAC/B,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;oBAC/B,oBAAoB,CAAC,MAAM,CAAC,CAAC;gBAC/B,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,aAAa,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,IAAI,CAAC,CAAC,UAAU,IAAI,QAAQ,CAAC,EAAE,CAAC;gBAC9B,OAAO;YACT,CAAC;YACD,wCAAwC;YACxC,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACnE,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACjC,IACE,iCAAiC,CAC/B,KAAK,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EACpC,UAAU,CACX,EACD,CAAC;wBACD,KAAK,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;oBACnD,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,IACE,iCAAiC,CAC/B,KAAK,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EACpC,UAAU,CACX,EACD,CAAC;wBACD,KAAK,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;oBACnD,CAAC;gBACH,CAAC;gBACD,yBAAyB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC9C,CAAC;YACD,OAAO;QACT,CAAC;QAED,MAAM,iBAAiB,GAAG,aAAa,CAAC,SAAS,CAAC;QAClD,+CAA+C;QAC/C,MAAM,cAAc,GAAkB,EAAE,CAAC;QACzC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkB,CAAC;QAErD,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,KAAK,EAAE,CAAC;YAC1C,MAAM,YAAY,GAAG,gCAAgC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACvE,kBAAkB,CAAC,GAAG,CACpB,YAAY,EACZ,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAChD,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,KAAK,EAAE,CAAC;YAC1C,sDAAsD;YACtD,MAAM,OAAO,GAAoB,EAAE,CAAC;YAEpC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;gBACrC,MAAM,uBAAuB,GAC3B,MAAM,CAAC,iBAAiB;oBACxB,CAAC,MAAM,CAAC,mBAAmB;wBACzB,CAAC,CAAC,CAAC,GAAG,EAAE;4BACJ,MAAM,MAAM,GAAG,oBAAoB,CACjC,MAAM,CAAC,mBAAmB,EAC1B,MAAe,CAChB,CAAC;4BACF,OAAO;gCACL,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;oCAClC,CAAC,CAAC;wCACE,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,GAAG,CACvC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAC9B;qCACF;oCACH,CAAC,CAAC,EAAE,CAAC;gCACP,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;oCAChD,IAAI,EAAE,WAAoB;oCAC1B,OAAO,EAAE;wCACP,IAAI,EAAE,mBAA4B;wCAClC,IAAI,EAAE,SAAS,CAAC,IAAI;qCACrB;oCACD,IAAI,EAAE,SAAS,CAAC,IAAI;oCACpB,UAAU,EAAE,SAAS,CAAC,UAAU;oCAChC,MAAM,EAAE,SAAS,CAAC,MAAM;oCACxB,OAAO,EAAE,SAAS,CAAC,IAAI;iCACxB,CAAC,CAAC;gCACH,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU;oCACvC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE;oCACnC,CAAC,CAAC,EAAE,CAAC;6BACR,CAAC;wBACJ,CAAC,CAAC,EAAE;wBACN,CAAC,CAAC,SAAS,CAAC,CAAC;gBACjB,MAAM,aAAa,GAAkB;oBACnC,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,MAAM,CAAC,OAAO;oBACpB,mEAAmE;oBACnE,KAAK,EAAE,MAAM,CAAC,OAAO;oBACrB,SAAS,EAAE,MAAM,CAAC,mBAAmB;oBACrC,iBAAiB,EAAE,uBAAuB;oBAC1C,cAAc,EAAE,MAAM,CAAC,cAAc;oBACrC,cAAc,EAAE,MAAM,CAAC,cAAc;oBACrC,OAAO,EAAE;wBACP,QAAQ,EAAE,MAAM,CAAC,qBAAqB;wBACtC,IAAI,EAAE,MAAM,CAAC,gBAAgB;wBAC7B,gDAAgD;wBAChD,MAAM,EAAE,MAAM,CAAC,OAAO;qBACvB;oBACD,wDAAwD;oBACxD,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;oBAC7C,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,IAAI,KAAK;oBACpD,aAAa,EAAE,MAAM,CAAC,aAAa;oBACnC,oBAAoB,EAClB,MAAM,CAAC,iBAAiB,KAAK,IAAI;wBAC/B,CAAC,CAAC,uBAAuB,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI;wBAC9C,CAAC,CAAC,SAAS;iBAChB,CAAC;gBAEF,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBAE5B,oBAAoB,CAAC,aAAa,CAAC,CAAC;gBAEpC,gFAAgF;gBAChF,IAAI,MAAM,CAAC,iBAAiB,IAAI,MAAM,CAAC,mBAAmB,EAAE,CAAC;oBAC3D,MAAM,gBAAgB,GAAG,4BAA4B,CACnD,MAAM,CAAC,mBAAmB,CAC3B,CAAC;oBACF,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;oBAClE,IAAI,gBAAgB,IAAI,YAAY,EAAE,CAAC;wBACrC,MAAM,KAAK,GACT,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC;4BACxC,IAAI,GAAG,EAAwC,CAAC;wBAClD,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;4BAC9C,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;wBAClD,CAAC;wBAED,MAAM,WAAW,GACf,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,IAAI,GAAG,EAA2B,CAAC;wBACpE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC;4BACjC,KAAK,CAAC,GAAG,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;wBAC3C,CAAC;wBAED,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;wBACxD,mBAAmB,CACjB,IAAI,EACJ,aAAa,EACb,GAAG,YAAY,IAAI,gBAAgB,IAAI,aAAa,CAAC,KAAK,EAAE,CAC7D,CAAC;wBACF,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;oBAC7C,CAAC;gBACH,CAAC;YACH,CAAC;YAED,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACtC,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,UAAU;oBAChB,SAAS,EAAE,IAAI,CAAC,mBAAmB;oBACnC,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC/B,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;oBACvC,IAAI,EAAE,IAAI,CAAC,OAAO;oBAClB,KAAK,EAAE,IAAI,CAAC,OAAO;oBACnB,OAAO,EAAE;wBACP,QAAQ,EAAE,IAAI,CAAC,qBAAqB;wBACpC,IAAI,EAAE,IAAI,CAAC,gBAAgB;wBAC3B,MAAM,EAAE,IAAI,CAAC,OAAO;qBACrB;oBACD,aAAa,EAAE,IAAI,CAAC,aAAa;iBAClC,CAAC,CAAC;YACL,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACnC,wDAAwD;gBACxD,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,UAAU;oBAChB,SAAS,EAAE,KAAK,CAAC,mBAAmB;oBACpC,YAAY,EAAE,KAAK,CAAC,YAAY;oBAChC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;oBACxC,IAAI,EAAE,KAAK,CAAC,OAAO;oBACnB,KAAK,EAAE,KAAK,CAAC,OAAO;oBACpB,OAAO,EAAE;wBACP,QAAQ,EAAE,KAAK,CAAC,qBAAqB;wBACrC,IAAI,EAAE,KAAK,CAAC,gBAAgB;wBAC5B,MAAM,EAAE,KAAK,CAAC,OAAO;qBACtB;oBACD,aAAa,EAAE,KAAK,CAAC,aAAa;iBACnC,CAAC,CAAC;YACL,CAAC;YAED,MAAM,YAAY,GAAG,gCAAgC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACvE,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,YAAY,CAAC;YAC9C,MAAM,kBAAkB,GACtB,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;YAEpD,oFAAoF;YACpF,6DAA6D;YAC7D,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,EAAE,OAAO;gBACzC,CAAC,CAAC,gCAAgC,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAC5D,CAAC,CAAC,SAAS,CAAC;YACd,IAAI,SAAS,EAAE,CAAC;gBACd,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;gBACvC,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBAC7C,IAAI,CAAC,KAAK,EAAE,OAAO;oBAAE,SAAS;gBAC9B,MAAM,UAAU,GAAG,gCAAgC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACnE,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;YAC3C,CAAC;YAED,MAAM,gBAAgB,GAAG,CAAC,GAAG,EAAE;gBAC7B,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;oBACrB,KAAK,WAAW;wBACd,OAAO,WAAoB,CAAC;oBAC9B,KAAK,QAAQ;wBACX,OAAO,QAAiB,CAAC;oBAC3B,KAAK,MAAM;wBACT,OAAO,MAAe,CAAC;oBACzB,KAAK,OAAO,CAAC;oBACb;wBACE,OAAO,OAAgB,CAAC;gBAC5B,CAAC;YACH,CAAC,CAAC,EAAE,CAAC;YAEL,4EAA4E;YAC5E,MAAM,cAAc,GAAgB;gBAClC,IAAI,EAAE,OAAO,CAAC,OAAO;gBACrB,KAAK,EAAE,OAAO;gBACd,IAAI,EAAE,gBAAgB;gBACtB,OAAO;aACR,CAAC;YACF,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;gBAClB,4BAA4B,CAAC,KAAK,EAAE,iBAAiB,EAAE,cAAc,CAAC,CAAC;YACzE,CAAC;YACD,MAAM,WAAW,GAAG,uBAAuB,CACzC,KAAK,EACL,iBAAiB,EACjB,cAAc,EACd,iBAAiB,CAClB,CAAC;YACF,MAAM,iBAAiB,GAAG,gBAAgB,CACxC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,EAClC,WAAW,EACX,GAAG,iBAAiB,EAAE,CACvB,CAAC;YACF,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACxC,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnD,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC;YACzE,CAAC;YACD,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3C,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAC1B,GAAG,iBAAiB,IAAI,OAAO,EAAE,EACjC,iBAAiB,CAAC,KAAK,CACxB,CAAC;YACJ,CAAC;YACD,cAAc,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAEvC,iCAAiC;YACjC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;YAC5D,kBAAkB,CAAC,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAEpE,IAAI,OAAO,KAAK,iBAAiB,CAAC,KAAK,EAAE,CAAC;gBACxC,kBAAkB,CAAC,OAAO,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACtD,CAAC;YAED,MAAM,sBAAsB,GAC1B,kBAAkB;gBAClB,YAAY,KAAK,iBAAiB,CAAC,KAAK;gBACxC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC;gBAC9B,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YAC9C,IAAI,sBAAsB,EAAE,CAAC;gBAC3B,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,iBAAiB,CAAC,CAAC;gBACjD,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC;gBACpE,kBAAkB,CAAC,YAAY,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAC3D,CAAC;YAED,kGAAkG;YAClG,8FAA8F;YAC9F,2FAA2F;YAC3F,sEAAsE;YACtE,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YACtD,MAAM,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACtD,MAAM,qBAAqB,GACzB,WAAW;gBACX,WAAW,KAAK,iBAAiB,CAAC,KAAK;gBACvC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YAChC,IAAI,qBAAqB,EAAE,CAAC;gBAC1B,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;YAClD,CAAC;YACD,IAAI,qBAAqB,IAAI,WAAW,EAAE,CAAC;gBACzC,kBAAkB,CAAC,WAAW,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAC1D,CAAC;YAED,mCAAmC;YACnC,KAAK,MAAM,MAAM,IAAI,iBAAiB,CAAC,OAAO,EAAE,CAAC;gBAC/C,6BAA6B;gBAC7B,MAAM,KAAK,GAAG,GAAG,iBAAiB,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBAC3D,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACjC,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBAEjC,kEAAkE;gBAClE,IAAI,sBAAsB,EAAE,CAAC;oBAC3B,MAAM,UAAU,GAAG,GAAG,YAAY,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;oBACrD,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;oBACtC,iBAAiB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;gBACxC,CAAC;gBAED,IAAI,OAAO,KAAK,iBAAiB,CAAC,KAAK,EAAE,CAAC;oBACxC,MAAM,gBAAgB,GAAG,GAAG,OAAO,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;oBACtD,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;oBAC5C,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;gBAC9C,CAAC;gBAED,4DAA4D;gBAC5D,IAAI,qBAAqB,IAAI,WAAW,EAAE,CAAC;oBACzC,MAAM,SAAS,GAAG,GAAG,WAAW,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;oBACnD,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;oBACrC,iBAAiB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;gBACvC,CAAC;gBAED,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,iBAAiB,CAAC,IAAI,EAAE,CAAC;oBACnD,MAAM,kBAAkB,GACtB,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;wBACjD,gCAAgC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAExD,IACE,kBAAkB;wBAClB,kBAAkB,KAAK,iBAAiB,CAAC,KAAK;wBAC9C,kBAAkB,KAAK,OAAO;wBAC9B,kBAAkB,KAAK,YAAY;wBACnC,kBAAkB,KAAK,WAAW,EAClC,CAAC;wBACD,MAAM,gBAAgB,GAAG,GAAG,kBAAkB,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;wBACjE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;wBAC5C,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;wBAC5C,kBAAkB,CAAC,kBAAkB,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;wBAE5D,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;4BACvD,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAC1B,MAAM,CAAC,OAAO,CAAC,IAAI,EACnB,kBAAkB,CACnB,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,oCAAoC;QACpC,0EAA0E;QAC1E,sEAAsE;QACtE,6CAA6C;QAC7C,IAAI,aAAa,CAAC,OAAO,EAAE,CAAC;YAC1B,MAAM,SAAS,GACb,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,CAAC;gBAC7C,IAAI,GAAG,EAA2B,CAAC;YAErC,KAAK,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtE,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACjC,CAAC;YAED,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QAC3D,CAAC;QAED,KAAK,CAAC,UAAU,CAAC,GAAG,CAClB,iBAAiB,EACjB,qBAAqB,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE;YAC7D,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE,iBAAiB;YACxB,KAAK,EAAE,cAAc;SACtB,CAAC,CACH,CAAC;IACJ,CAAC;AACH,CAAC,CAAC"}
|
|
@@ -0,0 +1,26 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Binding Registry - extension method resolution and type/subtype checking.
|
|
3
|
+
*
|
|
4
|
+
* All functions in this module are pure (side-effect-free) and operate on an
|
|
5
|
+
* explicit `RegistryState` parameter.
|
|
6
|
+
*
|
|
7
|
+
* Split from binding-registry-resolution.ts for file-size compliance (< 500 LOC).
|
|
8
|
+
*/
|
|
9
|
+
import type { MemberBinding } from "./binding-types.js";
|
|
10
|
+
import type { RegistryState } from "./binding-registry-resolution-member.js";
|
|
11
|
+
/**
|
|
12
|
+
* Resolve an extension method binding target by extension interface name.
|
|
13
|
+
*
|
|
14
|
+
* @param extensionInterfaceName - e.g. "__Ext_System_Linq_IEnumerable_1"
|
|
15
|
+
* @param methodTsName - e.g. "where"
|
|
16
|
+
*/
|
|
17
|
+
export declare const resolveExtensionMethod: (state: RegistryState, extensionInterfaceName: string, methodTsName: string, callArgumentCount?: number) => MemberBinding | undefined;
|
|
18
|
+
/**
|
|
19
|
+
* Resolve an extension method binding target by explicit (namespaceKey, receiverTypeName).
|
|
20
|
+
*
|
|
21
|
+
* Used when extension methods are emitted as method-table members with explicit `this:`
|
|
22
|
+
* receiver constraints (the declaring interface name no longer encodes the receiver type).
|
|
23
|
+
*/
|
|
24
|
+
export declare const resolveExtensionMethodByKey: (state: RegistryState, namespaceKey: string, receiverTypeName: string, methodTsName: string, callArgumentCount?: number) => MemberBinding | undefined;
|
|
25
|
+
export declare const isTypeOrSubtype: (state: RegistryState, typeAlias: string, superAlias: string) => boolean;
|
|
26
|
+
//# sourceMappingURL=binding-registry-resolution-extension.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"binding-registry-resolution-extension.d.ts","sourceRoot":"","sources":["../../src/program/binding-registry-resolution-extension.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAqB,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAC;AAgD7E;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,GACjC,OAAO,aAAa,EACpB,wBAAwB,MAAM,EAC9B,cAAc,MAAM,EACpB,oBAAoB,MAAM,KACzB,aAAa,GAAG,SAWlB,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,2BAA2B,GACtC,OAAO,aAAa,EACpB,cAAc,MAAM,EACpB,kBAAkB,MAAM,EACxB,cAAc,MAAM,EACpB,oBAAoB,MAAM,KACzB,aAAa,GAAG,SA0FlB,CAAC;AAMF,eAAO,MAAM,eAAe,GAC1B,OAAO,aAAa,EACpB,WAAW,MAAM,EACjB,YAAY,MAAM,KACjB,OAiCF,CAAC"}
|
|
@@ -0,0 +1,161 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Binding Registry - extension method resolution and type/subtype checking.
|
|
3
|
+
*
|
|
4
|
+
* All functions in this module are pure (side-effect-free) and operate on an
|
|
5
|
+
* explicit `RegistryState` parameter.
|
|
6
|
+
*
|
|
7
|
+
* Split from binding-registry-resolution.ts for file-size compliance (< 500 LOC).
|
|
8
|
+
*/
|
|
9
|
+
import { splitSignatureTypeList, resolveLookupAlias, getDirectSupertypes, } from "./binding-registry-resolution-member.js";
|
|
10
|
+
// ---------------------------------------------------------------------------
|
|
11
|
+
// Extension method resolution
|
|
12
|
+
// ---------------------------------------------------------------------------
|
|
13
|
+
const getExtensionMethodCandidates = (state, namespaceKey, receiverTypeName, methodTsName) => state.extensionMethods
|
|
14
|
+
.get(namespaceKey)
|
|
15
|
+
?.get(receiverTypeName)
|
|
16
|
+
?.get(methodTsName);
|
|
17
|
+
const parseExtensionInterfaceName = (state, extensionInterfaceName) => {
|
|
18
|
+
if (!extensionInterfaceName.startsWith("__Ext_"))
|
|
19
|
+
return undefined;
|
|
20
|
+
const rest = extensionInterfaceName.slice("__Ext_".length);
|
|
21
|
+
// Find the longest namespaceKey prefix we have indexed.
|
|
22
|
+
let bestNamespaceKey;
|
|
23
|
+
for (const namespaceKey of state.extensionMethods.keys()) {
|
|
24
|
+
if (rest.startsWith(`${namespaceKey}_`)) {
|
|
25
|
+
if (!bestNamespaceKey || namespaceKey.length > bestNamespaceKey.length) {
|
|
26
|
+
bestNamespaceKey = namespaceKey;
|
|
27
|
+
}
|
|
28
|
+
}
|
|
29
|
+
}
|
|
30
|
+
if (!bestNamespaceKey)
|
|
31
|
+
return undefined;
|
|
32
|
+
const receiverTypeName = rest.slice(bestNamespaceKey.length + 1);
|
|
33
|
+
if (!receiverTypeName)
|
|
34
|
+
return undefined;
|
|
35
|
+
return { namespaceKey: bestNamespaceKey, receiverTypeName };
|
|
36
|
+
};
|
|
37
|
+
/**
|
|
38
|
+
* Resolve an extension method binding target by extension interface name.
|
|
39
|
+
*
|
|
40
|
+
* @param extensionInterfaceName - e.g. "__Ext_System_Linq_IEnumerable_1"
|
|
41
|
+
* @param methodTsName - e.g. "where"
|
|
42
|
+
*/
|
|
43
|
+
export const resolveExtensionMethod = (state, extensionInterfaceName, methodTsName, callArgumentCount) => {
|
|
44
|
+
const parsed = parseExtensionInterfaceName(state, extensionInterfaceName);
|
|
45
|
+
if (!parsed)
|
|
46
|
+
return undefined;
|
|
47
|
+
return resolveExtensionMethodByKey(state, parsed.namespaceKey, parsed.receiverTypeName, methodTsName, callArgumentCount);
|
|
48
|
+
};
|
|
49
|
+
/**
|
|
50
|
+
* Resolve an extension method binding target by explicit (namespaceKey, receiverTypeName).
|
|
51
|
+
*
|
|
52
|
+
* Used when extension methods are emitted as method-table members with explicit `this:`
|
|
53
|
+
* receiver constraints (the declaring interface name no longer encodes the receiver type).
|
|
54
|
+
*/
|
|
55
|
+
export const resolveExtensionMethodByKey = (state, namespaceKey, receiverTypeName, methodTsName, callArgumentCount) => {
|
|
56
|
+
const getParameterCount = (binding) => {
|
|
57
|
+
if (typeof binding.parameterCount === "number") {
|
|
58
|
+
return binding.parameterCount;
|
|
59
|
+
}
|
|
60
|
+
const sig = binding.signature;
|
|
61
|
+
if (!sig)
|
|
62
|
+
return undefined;
|
|
63
|
+
const paramsMatch = sig.match(/\|\(([^)]*)\):/);
|
|
64
|
+
const paramsStr = paramsMatch?.[1]?.trim();
|
|
65
|
+
if (!paramsStr)
|
|
66
|
+
return undefined;
|
|
67
|
+
return splitSignatureTypeList(paramsStr).length;
|
|
68
|
+
};
|
|
69
|
+
const getModifiersKey = (binding) => {
|
|
70
|
+
const mods = (binding.parameterModifiers ??
|
|
71
|
+
[]);
|
|
72
|
+
if (!Array.isArray(mods) || mods.length === 0)
|
|
73
|
+
return "";
|
|
74
|
+
return [...mods]
|
|
75
|
+
.slice()
|
|
76
|
+
.sort((a, b) => a.index - b.index)
|
|
77
|
+
.map((m) => `${m.index}:${m.modifier}`)
|
|
78
|
+
.join(",");
|
|
79
|
+
};
|
|
80
|
+
const resolveForReceiver = (receiverTypeName) => {
|
|
81
|
+
const candidates = getExtensionMethodCandidates(state, namespaceKey, receiverTypeName, methodTsName);
|
|
82
|
+
if (!candidates || candidates.length === 0)
|
|
83
|
+
return { kind: "none" };
|
|
84
|
+
let filteredCandidates = candidates;
|
|
85
|
+
if (typeof callArgumentCount === "number") {
|
|
86
|
+
const desiredParamCount = callArgumentCount + 1;
|
|
87
|
+
const exact = candidates.filter((c) => getParameterCount(c) === desiredParamCount);
|
|
88
|
+
if (exact.length > 0) {
|
|
89
|
+
filteredCandidates = exact;
|
|
90
|
+
}
|
|
91
|
+
else {
|
|
92
|
+
// Optional-parameter safety: if no exact arity match, choose the smallest
|
|
93
|
+
// candidate arity that can still accept the provided arguments.
|
|
94
|
+
const larger = candidates
|
|
95
|
+
.map((c) => ({ c, count: getParameterCount(c) }))
|
|
96
|
+
.filter((x) => typeof x.count === "number" && x.count > desiredParamCount);
|
|
97
|
+
if (larger.length === 0)
|
|
98
|
+
return { kind: "none" };
|
|
99
|
+
const minCount = Math.min(...larger.map((x) => x.count));
|
|
100
|
+
filteredCandidates = larger
|
|
101
|
+
.filter((x) => x.count === minCount)
|
|
102
|
+
.map((x) => x.c);
|
|
103
|
+
}
|
|
104
|
+
}
|
|
105
|
+
// If multiple candidates map to different CLR targets, treat as unresolved (unsafe).
|
|
106
|
+
const first = filteredCandidates[0];
|
|
107
|
+
if (!first)
|
|
108
|
+
return { kind: "none" };
|
|
109
|
+
const firstTarget = `${first.binding.type}::${first.binding.member}`;
|
|
110
|
+
const firstModsKey = getModifiersKey(first);
|
|
111
|
+
for (const c of filteredCandidates) {
|
|
112
|
+
const target = `${c.binding.type}::${c.binding.member}`;
|
|
113
|
+
if (target !== firstTarget) {
|
|
114
|
+
return { kind: "ambiguous" };
|
|
115
|
+
}
|
|
116
|
+
if (getModifiersKey(c) !== firstModsKey) {
|
|
117
|
+
return { kind: "ambiguous" };
|
|
118
|
+
}
|
|
119
|
+
}
|
|
120
|
+
return { kind: "resolved", binding: first };
|
|
121
|
+
};
|
|
122
|
+
const direct = resolveForReceiver(receiverTypeName);
|
|
123
|
+
if (direct.kind === "resolved")
|
|
124
|
+
return direct.binding;
|
|
125
|
+
return direct.kind === "ambiguous" ? undefined : undefined;
|
|
126
|
+
};
|
|
127
|
+
// ---------------------------------------------------------------------------
|
|
128
|
+
// Type/subtype check
|
|
129
|
+
// ---------------------------------------------------------------------------
|
|
130
|
+
export const isTypeOrSubtype = (state, typeAlias, superAlias) => {
|
|
131
|
+
const normalizedTypeAlias = resolveLookupAlias(state, typeAlias);
|
|
132
|
+
const normalizedSuperAlias = resolveLookupAlias(state, superAlias);
|
|
133
|
+
if (normalizedTypeAlias === normalizedSuperAlias) {
|
|
134
|
+
return true;
|
|
135
|
+
}
|
|
136
|
+
const visited = new Set([normalizedTypeAlias]);
|
|
137
|
+
let frontier = getDirectSupertypes(state, normalizedTypeAlias);
|
|
138
|
+
for (const candidate of frontier) {
|
|
139
|
+
if (candidate === normalizedSuperAlias) {
|
|
140
|
+
return true;
|
|
141
|
+
}
|
|
142
|
+
visited.add(candidate);
|
|
143
|
+
}
|
|
144
|
+
while (frontier.length > 0) {
|
|
145
|
+
const nextFrontier = [];
|
|
146
|
+
for (const candidate of frontier) {
|
|
147
|
+
for (const parent of getDirectSupertypes(state, candidate)) {
|
|
148
|
+
if (visited.has(parent))
|
|
149
|
+
continue;
|
|
150
|
+
if (parent === normalizedSuperAlias) {
|
|
151
|
+
return true;
|
|
152
|
+
}
|
|
153
|
+
visited.add(parent);
|
|
154
|
+
nextFrontier.push(parent);
|
|
155
|
+
}
|
|
156
|
+
}
|
|
157
|
+
frontier = nextFrontier;
|
|
158
|
+
}
|
|
159
|
+
return false;
|
|
160
|
+
};
|
|
161
|
+
//# sourceMappingURL=binding-registry-resolution-extension.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"binding-registry-resolution-extension.js","sourceRoot":"","sources":["../../src/program/binding-registry-resolution-extension.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EACL,sBAAsB,EACtB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,yCAAyC,CAAC;AAEjD,8EAA8E;AAC9E,8BAA8B;AAC9B,8EAA8E;AAE9E,MAAM,4BAA4B,GAAG,CACnC,KAAoB,EACpB,YAAoB,EACpB,gBAAwB,EACxB,YAAoB,EACkB,EAAE,CACxC,KAAK,CAAC,gBAAgB;KACnB,GAAG,CAAC,YAAY,CAAC;IAClB,EAAE,GAAG,CAAC,gBAAgB,CAAC;IACvB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;AAExB,MAAM,2BAA2B,GAAG,CAClC,KAAoB,EACpB,sBAA8B,EAGlB,EAAE;IACd,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IACnE,MAAM,IAAI,GAAG,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAE3D,wDAAwD;IACxD,IAAI,gBAAoC,CAAC;IACzC,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC;QACzD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,YAAY,GAAG,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,gBAAgB,IAAI,YAAY,CAAC,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC;gBACvE,gBAAgB,GAAG,YAAY,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAExC,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjE,IAAI,CAAC,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAExC,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,CAAC;AAC9D,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAoB,EACpB,sBAA8B,EAC9B,YAAoB,EACpB,iBAA0B,EACC,EAAE;IAC7B,MAAM,MAAM,GAAG,2BAA2B,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;IAC1E,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,OAAO,2BAA2B,CAChC,KAAK,EACL,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,gBAAgB,EACvB,YAAY,EACZ,iBAAiB,CAClB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,KAAoB,EACpB,YAAoB,EACpB,gBAAwB,EACxB,YAAoB,EACpB,iBAA0B,EACC,EAAE;IAM7B,MAAM,iBAAiB,GAAG,CAAC,OAAsB,EAAsB,EAAE;QACvE,IAAI,OAAO,OAAO,CAAC,cAAc,KAAK,QAAQ,EAAE,CAAC;YAC/C,OAAO,OAAO,CAAC,cAAc,CAAC;QAChC,CAAC;QAED,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC;QAC9B,IAAI,CAAC,GAAG;YAAE,OAAO,SAAS,CAAC;QAC3B,MAAM,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,OAAO,sBAAsB,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;IAClD,CAAC,CAAC;IAEF,MAAM,eAAe,GAAG,CAAC,OAAsB,EAAU,EAAE;QACzD,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB;YACtC,EAAE,CAAiC,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACzD,OAAO,CAAC,GAAG,IAAI,CAAC;aACb,KAAK,EAAE;aACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;aACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;aACtC,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,gBAAwB,EAAiB,EAAE;QACrE,MAAM,UAAU,GAAG,4BAA4B,CAC7C,KAAK,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,CACb,CAAC;QACF,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAEpE,IAAI,kBAAkB,GAA6B,UAAU,CAAC;QAC9D,IAAI,OAAO,iBAAiB,KAAK,QAAQ,EAAE,CAAC;YAC1C,MAAM,iBAAiB,GAAG,iBAAiB,GAAG,CAAC,CAAC;YAEhD,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAClD,CAAC;YAEF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,kBAAkB,GAAG,KAAK,CAAC;YAC7B,CAAC;iBAAM,CAAC;gBACN,0EAA0E;gBAC1E,gEAAgE;gBAChE,MAAM,MAAM,GAAG,UAAU;qBACtB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;qBAChD,MAAM,CACL,CAAC,CAAC,EAA4C,EAAE,CAC9C,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,GAAG,iBAAiB,CAC7D,CAAC;gBAEJ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBAEjD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBACzD,kBAAkB,GAAG,MAAM;qBACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC;qBACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;QAED,qFAAqF;QACrF,MAAM,KAAK,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACrE,MAAM,YAAY,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,kBAAkB,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACxD,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;gBAC3B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;YAC/B,CAAC;YAED,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,YAAY,EAAE,CAAC;gBACxC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;YAC/B,CAAC;QACH,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC9C,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,kBAAkB,CAAC,gBAAgB,CAAC,CAAC;IACpD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC;IACtD,OAAO,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC,CAAC;AAEF,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAAoB,EACpB,SAAiB,EACjB,UAAkB,EACT,EAAE;IACX,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACjE,MAAM,oBAAoB,GAAG,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAEnE,IAAI,mBAAmB,KAAK,oBAAoB,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC;IACvD,IAAI,QAAQ,GAAG,mBAAmB,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;IAC/D,KAAK,MAAM,SAAS,IAAI,QAAQ,EAAE,CAAC;QACjC,IAAI,SAAS,KAAK,oBAAoB,EAAE,CAAC;YACvC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,KAAK,MAAM,SAAS,IAAI,QAAQ,EAAE,CAAC;YACjC,KAAK,MAAM,MAAM,IAAI,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;gBAC3D,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;oBAAE,SAAS;gBAClC,IAAI,MAAM,KAAK,oBAAoB,EAAE,CAAC;oBACpC,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACpB,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,QAAQ,GAAG,YAAY,CAAC;IAC1B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}
|
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Binding Registry - RegistryState type, signature parsing, alias resolution,
|
|
3
|
+
* supertype/base-type helpers, and member overload resolution
|
|
4
|
+
* (single owner + hierarchy walk).
|
|
5
|
+
*
|
|
6
|
+
* All functions in this module are pure (side-effect-free) and operate on an
|
|
7
|
+
* explicit `RegistryState` parameter.
|
|
8
|
+
*
|
|
9
|
+
* Split from binding-registry-resolution.ts for file-size compliance (< 500 LOC).
|
|
10
|
+
*/
|
|
11
|
+
import type { MemberBinding, TypeBinding, SimpleBindingDescriptor } from "./binding-types.js";
|
|
12
|
+
/**
|
|
13
|
+
* Read-only view of the BindingRegistry internal state.
|
|
14
|
+
*
|
|
15
|
+
* Resolution functions receive this instead of accessing `this` so they can
|
|
16
|
+
* live in a separate module without coupling to the class definition.
|
|
17
|
+
*/
|
|
18
|
+
export type RegistryState = {
|
|
19
|
+
readonly types: ReadonlyMap<string, TypeBinding>;
|
|
20
|
+
readonly memberOverloads: ReadonlyMap<string, MemberBinding[]>;
|
|
21
|
+
readonly clrTypeNamesByAlias: ReadonlyMap<string, Set<string>>;
|
|
22
|
+
readonly extensionMethods: ReadonlyMap<string, ReadonlyMap<string, ReadonlyMap<string, MemberBinding[]>>>;
|
|
23
|
+
readonly tsSupertypes: ReadonlyMap<string, Set<string>>;
|
|
24
|
+
readonly tsBaseTypes: ReadonlyMap<string, string>;
|
|
25
|
+
readonly simpleBindings: ReadonlyMap<string, SimpleBindingDescriptor>;
|
|
26
|
+
readonly simpleGlobalBindings: ReadonlyMap<string, SimpleBindingDescriptor>;
|
|
27
|
+
readonly simpleModuleBindings: ReadonlyMap<string, SimpleBindingDescriptor>;
|
|
28
|
+
readonly typeLookupAliasMap: ReadonlyMap<string, string>;
|
|
29
|
+
readonly clrTypeNames: ReadonlySet<string>;
|
|
30
|
+
};
|
|
31
|
+
/**
|
|
32
|
+
* Split a comma-delimited type list, respecting nested bracket depth.
|
|
33
|
+
* tsbindgen signatures use CLR-style nested generic brackets in some contexts.
|
|
34
|
+
*/
|
|
35
|
+
export declare const splitSignatureTypeList: (str: string) => string[];
|
|
36
|
+
export declare const resolveLookupAlias: (state: RegistryState, typeAlias: string) => string;
|
|
37
|
+
export declare const getDirectSupertypes: (state: RegistryState, typeAlias: string) => readonly string[];
|
|
38
|
+
/**
|
|
39
|
+
* Look up all member bindings for a TS type alias + member alias.
|
|
40
|
+
*
|
|
41
|
+
* IMPORTANT: Methods can be overloaded, and overloads can differ in ref/out/in
|
|
42
|
+
* modifiers (tsbindgen provides these via `parameterModifiers`). This accessor
|
|
43
|
+
* preserves overload sets so the call converter can select the correct one.
|
|
44
|
+
*/
|
|
45
|
+
export declare const resolveMemberOverloads: (state: RegistryState, typeAlias: string, memberAlias: string, preferredClrOwner?: string) => readonly MemberBinding[] | undefined;
|
|
46
|
+
//# sourceMappingURL=binding-registry-resolution-member.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"binding-registry-resolution-member.d.ts","sourceRoot":"","sources":["../../src/program/binding-registry-resolution-member.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,KAAK,EACV,aAAa,EACb,WAAW,EACX,uBAAuB,EACxB,MAAM,oBAAoB,CAAC;AAM5B;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;IAC/D,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CACpC,MAAM,EACN,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,CAC1D,CAAC;IACF,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClD,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;IACtE,QAAQ,CAAC,oBAAoB,EAAE,WAAW,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;IAC5E,QAAQ,CAAC,oBAAoB,EAAE,WAAW,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;IAC5E,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzD,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC5C,CAAC;AAMF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,GAAI,KAAK,MAAM,KAAG,MAAM,EAyB1D,CAAC;AAcF,eAAO,MAAM,kBAAkB,GAC7B,OAAO,aAAa,EACpB,WAAW,MAAM,KAChB,MAA8D,CAAC;AAmBlE,eAAO,MAAM,mBAAmB,GAC9B,OAAO,aAAa,EACpB,WAAW,MAAM,KAChB,SAAS,MAAM,EAIjB,CAAC;AA0NF;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,GACjC,OAAO,aAAa,EACpB,WAAW,MAAM,EACjB,aAAa,MAAM,EACnB,oBAAoB,MAAM,KACzB,SAAS,aAAa,EAAE,GAAG,SA+B7B,CAAC"}
|
|
@@ -0,0 +1,252 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Binding Registry - RegistryState type, signature parsing, alias resolution,
|
|
3
|
+
* supertype/base-type helpers, and member overload resolution
|
|
4
|
+
* (single owner + hierarchy walk).
|
|
5
|
+
*
|
|
6
|
+
* All functions in this module are pure (side-effect-free) and operate on an
|
|
7
|
+
* explicit `RegistryState` parameter.
|
|
8
|
+
*
|
|
9
|
+
* Split from binding-registry-resolution.ts for file-size compliance (< 500 LOC).
|
|
10
|
+
*/
|
|
11
|
+
import { tsbindgenClrTypeNameToTsTypeName } from "../tsbindgen/names.js";
|
|
12
|
+
// ---------------------------------------------------------------------------
|
|
13
|
+
// Signature parsing
|
|
14
|
+
// ---------------------------------------------------------------------------
|
|
15
|
+
/**
|
|
16
|
+
* Split a comma-delimited type list, respecting nested bracket depth.
|
|
17
|
+
* tsbindgen signatures use CLR-style nested generic brackets in some contexts.
|
|
18
|
+
*/
|
|
19
|
+
export const splitSignatureTypeList = (str) => {
|
|
20
|
+
const result = [];
|
|
21
|
+
let depth = 0;
|
|
22
|
+
let current = "";
|
|
23
|
+
for (const char of str) {
|
|
24
|
+
if (char === "[") {
|
|
25
|
+
depth++;
|
|
26
|
+
current += char;
|
|
27
|
+
}
|
|
28
|
+
else if (char === "]") {
|
|
29
|
+
depth--;
|
|
30
|
+
current += char;
|
|
31
|
+
}
|
|
32
|
+
else if (char === "," && depth === 0) {
|
|
33
|
+
result.push(current.trim());
|
|
34
|
+
current = "";
|
|
35
|
+
}
|
|
36
|
+
else {
|
|
37
|
+
current += char;
|
|
38
|
+
}
|
|
39
|
+
}
|
|
40
|
+
if (current.trim()) {
|
|
41
|
+
result.push(current.trim());
|
|
42
|
+
}
|
|
43
|
+
return result;
|
|
44
|
+
};
|
|
45
|
+
// ---------------------------------------------------------------------------
|
|
46
|
+
// Simple binding helpers (used by resolution)
|
|
47
|
+
// ---------------------------------------------------------------------------
|
|
48
|
+
const getSimpleBindingMemberOwnerClrType = (descriptor) => descriptor.type;
|
|
49
|
+
// ---------------------------------------------------------------------------
|
|
50
|
+
// Alias resolution
|
|
51
|
+
// ---------------------------------------------------------------------------
|
|
52
|
+
export const resolveLookupAlias = (state, typeAlias) => state.typeLookupAliasMap.get(typeAlias) ?? typeAlias;
|
|
53
|
+
const resolveSimpleBindingMemberOwnerAlias = (state, typeAlias) => {
|
|
54
|
+
const descriptor = state.simpleBindings.get(typeAlias);
|
|
55
|
+
if (!descriptor)
|
|
56
|
+
return undefined;
|
|
57
|
+
const mapped = tsbindgenClrTypeNameToTsTypeName(getSimpleBindingMemberOwnerClrType(descriptor));
|
|
58
|
+
if (!mapped || mapped === typeAlias)
|
|
59
|
+
return undefined;
|
|
60
|
+
return mapped;
|
|
61
|
+
};
|
|
62
|
+
// ---------------------------------------------------------------------------
|
|
63
|
+
// Supertype / base-type helpers
|
|
64
|
+
// ---------------------------------------------------------------------------
|
|
65
|
+
export const getDirectSupertypes = (state, typeAlias) => {
|
|
66
|
+
const set = state.tsSupertypes.get(typeAlias);
|
|
67
|
+
if (!set || set.size === 0)
|
|
68
|
+
return [];
|
|
69
|
+
return Array.from(set).sort((a, b) => a.localeCompare(b));
|
|
70
|
+
};
|
|
71
|
+
const getDirectBaseType = (state, typeAlias) => state.tsBaseTypes.get(typeAlias);
|
|
72
|
+
const getDirectInterfaceSupertypes = (state, typeAlias) => {
|
|
73
|
+
const direct = getDirectSupertypes(state, typeAlias);
|
|
74
|
+
const baseType = getDirectBaseType(state, typeAlias);
|
|
75
|
+
return baseType
|
|
76
|
+
? direct.filter((candidate) => candidate !== baseType)
|
|
77
|
+
: direct;
|
|
78
|
+
};
|
|
79
|
+
// ---------------------------------------------------------------------------
|
|
80
|
+
// Member lookup owner aliases
|
|
81
|
+
// ---------------------------------------------------------------------------
|
|
82
|
+
const getMemberLookupOwnerAliases = (state, typeAlias) => {
|
|
83
|
+
const aliases = [];
|
|
84
|
+
const seen = new Set();
|
|
85
|
+
const push = (alias) => {
|
|
86
|
+
if (!alias || seen.has(alias))
|
|
87
|
+
return;
|
|
88
|
+
seen.add(alias);
|
|
89
|
+
aliases.push(alias);
|
|
90
|
+
};
|
|
91
|
+
push(typeAlias);
|
|
92
|
+
if (typeAlias.endsWith("$protected")) {
|
|
93
|
+
push(typeAlias.slice(0, -"$protected".length));
|
|
94
|
+
}
|
|
95
|
+
const mappedAlias = resolveSimpleBindingMemberOwnerAlias(state, typeAlias);
|
|
96
|
+
push(mappedAlias);
|
|
97
|
+
if (mappedAlias?.endsWith("$protected")) {
|
|
98
|
+
push(mappedAlias.slice(0, -"$protected".length));
|
|
99
|
+
}
|
|
100
|
+
return aliases;
|
|
101
|
+
};
|
|
102
|
+
// ---------------------------------------------------------------------------
|
|
103
|
+
// Member overload resolution (single owner)
|
|
104
|
+
// ---------------------------------------------------------------------------
|
|
105
|
+
const resolveMemberOverloadsForOwner = (state, ownerAlias, memberAlias, preferredClrOwner) => {
|
|
106
|
+
const resolved = state.memberOverloads.get(`${ownerAlias}.${memberAlias}`);
|
|
107
|
+
if (!resolved || resolved.length === 0)
|
|
108
|
+
return resolved;
|
|
109
|
+
if (preferredClrOwner) {
|
|
110
|
+
const preferredOwnerMatches = resolved.filter((binding) => binding.binding.type === preferredClrOwner);
|
|
111
|
+
if (preferredOwnerMatches.length > 0) {
|
|
112
|
+
return preferredOwnerMatches;
|
|
113
|
+
}
|
|
114
|
+
return undefined;
|
|
115
|
+
}
|
|
116
|
+
const ownerClrTypes = state.clrTypeNamesByAlias.get(ownerAlias);
|
|
117
|
+
if (!ownerClrTypes || ownerClrTypes.size !== 1) {
|
|
118
|
+
return resolved;
|
|
119
|
+
}
|
|
120
|
+
const [ownerClrType] = Array.from(ownerClrTypes);
|
|
121
|
+
if (!ownerClrType)
|
|
122
|
+
return resolved;
|
|
123
|
+
const directOwnerMatches = resolved.filter((binding) => ownerClrTypes.has(binding.binding.type));
|
|
124
|
+
return directOwnerMatches.length > 0 ? directOwnerMatches : resolved;
|
|
125
|
+
};
|
|
126
|
+
// ---------------------------------------------------------------------------
|
|
127
|
+
// Member overload resolution (hierarchy walk)
|
|
128
|
+
// ---------------------------------------------------------------------------
|
|
129
|
+
const resolveMemberOverloadsByHierarchy = (state, ownerAlias, memberAlias, preferredClrOwner) => {
|
|
130
|
+
const direct = resolveMemberOverloadsForOwner(state, ownerAlias, memberAlias, preferredClrOwner);
|
|
131
|
+
if (direct && direct.length > 0) {
|
|
132
|
+
return direct;
|
|
133
|
+
}
|
|
134
|
+
const getTargetKey = (binding) => `${binding.binding.assembly}:${binding.binding.type}::${binding.binding.member}`;
|
|
135
|
+
const getModifiersKey = (binding) => {
|
|
136
|
+
const modifiers = binding.parameterModifiers ?? [];
|
|
137
|
+
if (modifiers.length === 0)
|
|
138
|
+
return "";
|
|
139
|
+
return [...modifiers]
|
|
140
|
+
.slice()
|
|
141
|
+
.sort((a, b) => a.index - b.index)
|
|
142
|
+
.map((mod) => `${mod.index}:${mod.modifier}`)
|
|
143
|
+
.join(",");
|
|
144
|
+
};
|
|
145
|
+
const visited = new Set([ownerAlias]);
|
|
146
|
+
let currentBase = getDirectBaseType(state, ownerAlias);
|
|
147
|
+
while (currentBase) {
|
|
148
|
+
if (visited.has(currentBase))
|
|
149
|
+
break;
|
|
150
|
+
visited.add(currentBase);
|
|
151
|
+
const resolved = resolveMemberOverloadsForOwner(state, currentBase, memberAlias, preferredClrOwner);
|
|
152
|
+
if (resolved && resolved.length > 0) {
|
|
153
|
+
return resolved;
|
|
154
|
+
}
|
|
155
|
+
currentBase = getDirectBaseType(state, currentBase);
|
|
156
|
+
}
|
|
157
|
+
let frontier = [];
|
|
158
|
+
const interfaceOwners = [ownerAlias];
|
|
159
|
+
let baseForInterfaces = getDirectBaseType(state, ownerAlias);
|
|
160
|
+
while (baseForInterfaces) {
|
|
161
|
+
interfaceOwners.push(baseForInterfaces);
|
|
162
|
+
baseForInterfaces = getDirectBaseType(state, baseForInterfaces);
|
|
163
|
+
}
|
|
164
|
+
for (const candidateOwner of interfaceOwners) {
|
|
165
|
+
for (const iface of getDirectInterfaceSupertypes(state, candidateOwner)) {
|
|
166
|
+
if (visited.has(iface))
|
|
167
|
+
continue;
|
|
168
|
+
visited.add(iface);
|
|
169
|
+
frontier.push(iface);
|
|
170
|
+
}
|
|
171
|
+
}
|
|
172
|
+
while (frontier.length > 0) {
|
|
173
|
+
const nextFrontier = [];
|
|
174
|
+
const resolvedAtDepth = [];
|
|
175
|
+
for (const candidateAlias of frontier) {
|
|
176
|
+
const resolved = resolveMemberOverloadsForOwner(state, candidateAlias, memberAlias, preferredClrOwner);
|
|
177
|
+
if (resolved && resolved.length > 0) {
|
|
178
|
+
resolvedAtDepth.push(resolved);
|
|
179
|
+
}
|
|
180
|
+
for (const superAlias of getDirectInterfaceSupertypes(state, candidateAlias)) {
|
|
181
|
+
if (visited.has(superAlias))
|
|
182
|
+
continue;
|
|
183
|
+
visited.add(superAlias);
|
|
184
|
+
nextFrontier.push(superAlias);
|
|
185
|
+
}
|
|
186
|
+
}
|
|
187
|
+
if (resolvedAtDepth.length > 0) {
|
|
188
|
+
const first = resolvedAtDepth[0]?.[0];
|
|
189
|
+
if (!first)
|
|
190
|
+
return undefined;
|
|
191
|
+
const targetKey = getTargetKey(first);
|
|
192
|
+
const modifiersKey = getModifiersKey(first);
|
|
193
|
+
for (const overloads of resolvedAtDepth) {
|
|
194
|
+
const current = overloads[0];
|
|
195
|
+
if (!current)
|
|
196
|
+
return undefined;
|
|
197
|
+
if (getTargetKey(current) !== targetKey) {
|
|
198
|
+
return undefined;
|
|
199
|
+
}
|
|
200
|
+
if (getModifiersKey(current) !== modifiersKey) {
|
|
201
|
+
return undefined;
|
|
202
|
+
}
|
|
203
|
+
for (const overload of overloads) {
|
|
204
|
+
if (getTargetKey(overload) !== targetKey) {
|
|
205
|
+
return undefined;
|
|
206
|
+
}
|
|
207
|
+
if (getModifiersKey(overload) !== modifiersKey) {
|
|
208
|
+
return undefined;
|
|
209
|
+
}
|
|
210
|
+
}
|
|
211
|
+
}
|
|
212
|
+
return resolvedAtDepth[0];
|
|
213
|
+
}
|
|
214
|
+
frontier = nextFrontier;
|
|
215
|
+
}
|
|
216
|
+
return undefined;
|
|
217
|
+
};
|
|
218
|
+
// ---------------------------------------------------------------------------
|
|
219
|
+
// Public member-overload resolution
|
|
220
|
+
// ---------------------------------------------------------------------------
|
|
221
|
+
/**
|
|
222
|
+
* Look up all member bindings for a TS type alias + member alias.
|
|
223
|
+
*
|
|
224
|
+
* IMPORTANT: Methods can be overloaded, and overloads can differ in ref/out/in
|
|
225
|
+
* modifiers (tsbindgen provides these via `parameterModifiers`). This accessor
|
|
226
|
+
* preserves overload sets so the call converter can select the correct one.
|
|
227
|
+
*/
|
|
228
|
+
export const resolveMemberOverloads = (state, typeAlias, memberAlias, preferredClrOwner) => {
|
|
229
|
+
const resolvedPreferredClrOwner = preferredClrOwner ??
|
|
230
|
+
(state.clrTypeNames.has(typeAlias) ? typeAlias : undefined);
|
|
231
|
+
const normalizedTypeAlias = resolveLookupAlias(state, typeAlias);
|
|
232
|
+
const rootAliases = [];
|
|
233
|
+
const seenRoots = new Set();
|
|
234
|
+
const pushRootAlias = (alias) => {
|
|
235
|
+
if (!alias || seenRoots.has(alias)) {
|
|
236
|
+
return;
|
|
237
|
+
}
|
|
238
|
+
seenRoots.add(alias);
|
|
239
|
+
rootAliases.push(alias);
|
|
240
|
+
};
|
|
241
|
+
pushRootAlias(typeAlias);
|
|
242
|
+
pushRootAlias(normalizedTypeAlias);
|
|
243
|
+
for (const rootAlias of rootAliases) {
|
|
244
|
+
for (const ownerAlias of getMemberLookupOwnerAliases(state, rootAlias)) {
|
|
245
|
+
const match = resolveMemberOverloadsByHierarchy(state, ownerAlias, memberAlias, resolvedPreferredClrOwner);
|
|
246
|
+
if (match && match.length > 0)
|
|
247
|
+
return match;
|
|
248
|
+
}
|
|
249
|
+
}
|
|
250
|
+
return undefined;
|
|
251
|
+
};
|
|
252
|
+
//# sourceMappingURL=binding-registry-resolution-member.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"binding-registry-resolution-member.js","sourceRoot":"","sources":["../../src/program/binding-registry-resolution-member.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,gCAAgC,EAAE,MAAM,uBAAuB,CAAC;AAkCzE,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,GAAW,EAAY,EAAE;IAC9D,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,EAAE,CAAC;IAEjB,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACvB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,KAAK,EAAE,CAAC;YACR,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACxB,KAAK,EAAE,CAAC;YACR,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5B,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,8CAA8C;AAC9C,8EAA8E;AAE9E,MAAM,kCAAkC,GAAG,CACzC,UAAmC,EAC3B,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;AAE7B,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAoB,EACpB,SAAiB,EACT,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC;AAElE,MAAM,oCAAoC,GAAG,CAC3C,KAAoB,EACpB,SAAiB,EACG,EAAE;IACtB,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACvD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,MAAM,GAAG,gCAAgC,CAC7C,kCAAkC,CAAC,UAAU,CAAC,CAC/C,CAAC;IACF,IAAI,CAAC,MAAM,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,gCAAgC;AAChC,8EAA8E;AAE9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAoB,EACpB,SAAiB,EACE,EAAE;IACrB,MAAM,GAAG,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,KAAoB,EACpB,SAAiB,EACG,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAE1D,MAAM,4BAA4B,GAAG,CACnC,KAAoB,EACpB,SAAiB,EACE,EAAE;IACrB,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACrD,OAAO,QAAQ;QACb,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,QAAQ,CAAC;QACtD,CAAC,CAAC,MAAM,CAAC;AACb,CAAC,CAAC;AAEF,8EAA8E;AAC9E,8BAA8B;AAC9B,8EAA8E;AAE9E,MAAM,2BAA2B,GAAG,CAClC,KAAoB,EACpB,SAAiB,EACE,EAAE;IACrB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,KAAyB,EAAQ,EAAE;QAC/C,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO;QACtC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC,CAAC;IAEF,IAAI,CAAC,SAAS,CAAC,CAAC;IAEhB,IAAI,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,WAAW,GAAG,oCAAoC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC3E,IAAI,CAAC,WAAW,CAAC,CAAC;IAClB,IAAI,WAAW,EAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACxC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,4CAA4C;AAC5C,8EAA8E;AAE9E,MAAM,8BAA8B,GAAG,CACrC,KAAoB,EACpB,UAAkB,EAClB,WAAmB,EACnB,iBAA0B,EACY,EAAE;IACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,UAAU,IAAI,WAAW,EAAE,CAAC,CAAC;IAC3E,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAExD,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,qBAAqB,GAAG,QAAQ,CAAC,MAAM,CAC3C,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,iBAAiB,CACxD,CAAC;QACF,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,OAAO,qBAAqB,CAAC;QAC/B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAChE,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACjD,IAAI,CAAC,YAAY;QAAE,OAAO,QAAQ,CAAC;IAEnC,MAAM,kBAAkB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CACrD,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CACxC,CAAC;IACF,OAAO,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC;AACvE,CAAC,CAAC;AAEF,8EAA8E;AAC9E,8CAA8C;AAC9C,8EAA8E;AAE9E,MAAM,iCAAiC,GAAG,CACxC,KAAoB,EACpB,UAAkB,EAClB,WAAmB,EACnB,iBAA0B,EACY,EAAE;IACxC,MAAM,MAAM,GAAG,8BAA8B,CAC3C,KAAK,EACL,UAAU,EACV,WAAW,EACX,iBAAiB,CAClB,CAAC;IACF,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,OAAsB,EAAU,EAAE,CACtD,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;IAEnF,MAAM,eAAe,GAAG,CAAC,OAAsB,EAAU,EAAE;QACzD,MAAM,SAAS,GAAG,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC;QACnD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACtC,OAAO,CAAC,GAAG,SAAS,CAAC;aAClB,KAAK,EAAE;aACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;aACjC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;aAC5C,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,UAAU,CAAC,CAAC,CAAC;IAE9C,IAAI,WAAW,GAAG,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACvD,OAAO,WAAW,EAAE,CAAC;QACnB,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC;YAAE,MAAM;QACpC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAEzB,MAAM,QAAQ,GAAG,8BAA8B,CAC7C,KAAK,EACL,WAAW,EACX,WAAW,EACX,iBAAiB,CAClB,CAAC;QACF,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,WAAW,GAAG,iBAAiB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,QAAQ,GAAa,EAAE,CAAC;IAC5B,MAAM,eAAe,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,IAAI,iBAAiB,GAAG,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC7D,OAAO,iBAAiB,EAAE,CAAC;QACzB,eAAe,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACxC,iBAAiB,GAAG,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IAClE,CAAC;IAED,KAAK,MAAM,cAAc,IAAI,eAAe,EAAE,CAAC;QAC7C,KAAK,MAAM,KAAK,IAAI,4BAA4B,CAAC,KAAK,EAAE,cAAc,CAAC,EAAE,CAAC;YACxE,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS;YACjC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,MAAM,eAAe,GAAiC,EAAE,CAAC;QAEzD,KAAK,MAAM,cAAc,IAAI,QAAQ,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,8BAA8B,CAC7C,KAAK,EACL,cAAc,EACd,WAAW,EACX,iBAAiB,CAClB,CAAC;YACF,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACjC,CAAC;YAED,KAAK,MAAM,UAAU,IAAI,4BAA4B,CACnD,KAAK,EACL,cAAc,CACf,EAAE,CAAC;gBACF,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;oBAAE,SAAS;gBACtC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBACxB,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QAED,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YAE7B,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,YAAY,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;YAC5C,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;gBACxC,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,CAAC,OAAO;oBAAE,OAAO,SAAS,CAAC;gBAC/B,IAAI,YAAY,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;oBACxC,OAAO,SAAS,CAAC;gBACnB,CAAC;gBACD,IAAI,eAAe,CAAC,OAAO,CAAC,KAAK,YAAY,EAAE,CAAC;oBAC9C,OAAO,SAAS,CAAC;gBACnB,CAAC;gBACD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;oBACjC,IAAI,YAAY,CAAC,QAAQ,CAAC,KAAK,SAAS,EAAE,CAAC;wBACzC,OAAO,SAAS,CAAC;oBACnB,CAAC;oBACD,IAAI,eAAe,CAAC,QAAQ,CAAC,KAAK,YAAY,EAAE,CAAC;wBAC/C,OAAO,SAAS,CAAC;oBACnB,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC;QAED,QAAQ,GAAG,YAAY,CAAC;IAC1B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,oCAAoC;AACpC,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAoB,EACpB,SAAiB,EACjB,WAAmB,EACnB,iBAA0B,EACY,EAAE;IACxC,MAAM,yBAAyB,GAC7B,iBAAiB;QACjB,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC9D,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACjE,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,aAAa,GAAG,CAAC,KAAyB,EAAQ,EAAE;QACxD,IAAI,CAAC,KAAK,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO;QACT,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC,CAAC;IAEF,aAAa,CAAC,SAAS,CAAC,CAAC;IACzB,aAAa,CAAC,mBAAmB,CAAC,CAAC;IAEnC,KAAK,MAAM,SAAS,IAAI,WAAW,EAAE,CAAC;QACpC,KAAK,MAAM,UAAU,IAAI,2BAA2B,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;YACvE,MAAM,KAAK,GAAG,iCAAiC,CAC7C,KAAK,EACL,UAAU,EACV,WAAW,EACX,yBAAyB,CAC1B,CAAC;YACF,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Binding Registry resolution — Facade
|
|
3
|
+
*
|
|
4
|
+
* Re-exports from sub-modules:
|
|
5
|
+
* - binding-registry-resolution-member: RegistryState, signature parsing,
|
|
6
|
+
* lookup alias resolution, member overload resolution
|
|
7
|
+
* - binding-registry-resolution-extension: extension method resolution,
|
|
8
|
+
* subtype checking
|
|
9
|
+
*/
|
|
10
|
+
export type { RegistryState } from "./binding-registry-resolution-member.js";
|
|
11
|
+
export { splitSignatureTypeList, resolveLookupAlias, resolveMemberOverloads, } from "./binding-registry-resolution-member.js";
|
|
12
|
+
export { resolveExtensionMethod, resolveExtensionMethodByKey, isTypeOrSubtype, } from "./binding-registry-resolution-extension.js";
|
|
13
|
+
//# sourceMappingURL=binding-registry-resolution.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"binding-registry-resolution.d.ts","sourceRoot":"","sources":["../../src/program/binding-registry-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,YAAY,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAC;AAC7E,OAAO,EACL,sBAAsB,EACtB,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,yCAAyC,CAAC;AAEjD,OAAO,EACL,sBAAsB,EACtB,2BAA2B,EAC3B,eAAe,GAChB,MAAM,4CAA4C,CAAC"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Binding Registry resolution — Facade
|
|
3
|
+
*
|
|
4
|
+
* Re-exports from sub-modules:
|
|
5
|
+
* - binding-registry-resolution-member: RegistryState, signature parsing,
|
|
6
|
+
* lookup alias resolution, member overload resolution
|
|
7
|
+
* - binding-registry-resolution-extension: extension method resolution,
|
|
8
|
+
* subtype checking
|
|
9
|
+
*/
|
|
10
|
+
export { splitSignatureTypeList, resolveLookupAlias, resolveMemberOverloads, } from "./binding-registry-resolution-member.js";
|
|
11
|
+
export { resolveExtensionMethod, resolveExtensionMethodByKey, isTypeOrSubtype, } from "./binding-registry-resolution-extension.js";
|
|
12
|
+
//# sourceMappingURL=binding-registry-resolution.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"binding-registry-resolution.js","sourceRoot":"","sources":["../../src/program/binding-registry-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EACL,sBAAsB,EACtB,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,yCAAyC,CAAC;AAEjD,OAAO,EACL,sBAAsB,EACtB,2BAA2B,EAC3B,eAAe,GAChB,MAAM,4CAA4C,CAAC"}
|