@yabgu_gm/tensionscript 0.11.1 → 0.11.2

package/dist/assemblyscript.generated.d.ts

@@ -621,7 +621,8 @@ declare module "types:tensionscript/src/diagnosticMessages.generated" {
         _abi_align_0_is_less_than_the_field_type_s_natural_alignment_1_asking_for_less_is_a_lie_so_it_is_refused_rather_than_silently_ignored = 6408,
         _abi_align_0_is_too_large_the_maximum_is_1 = 6409,
         Alignment_is_a_property_of_the_field_not_its_type_Place_abi_align_N_on_the_field_declaration = 6410,
-        A_view_parameter_unmanaged_0_over_an_inline_type_cannot_appear_in_a_host_visible_signature_an_external_or_exported_parameter_is_supplied_by_the_host_and_a_view_is_an_address_this_compiler_did_not_materialise = 6411
+        A_view_parameter_unmanaged_0_over_an_inline_type_cannot_appear_in_a_host_visible_signature_an_external_or_exported_parameter_is_supplied_by_the_host_and_a_view_is_an_address_this_compiler_did_not_materialise = 6411,
+        Call_to_0_emits_1_operands_but_its_signature_declares_2 = 6412
     }
     /** Translates a diagnostic code to its respective string. */
     export function diagnosticCodeToString(code: DiagnosticCode): string;
@@ -5901,6 +5902,18 @@ declare module "types:tensionscript/src/compiler" {
         private needToStack;
         /** Marks managed call operands for the shadow stack. */
         private operandsTostack;
+        /**
+         * Checks that the operands about to be passed match the WASM arity the callee
+         * declares, and reports a clean diagnostic when they do not.
+         *
+         * The invariant is maintained by the default-argument filling in
+         * `makeCallDirect`; this guard exists because when that filling misses — as it
+         * did for an sret callee with an omitted optional argument — the mismatch
+         * reached the WASM validator as `call* param number must match`, which names a
+         * binaryen rule and never mentions the call that broke it. A wrong arity is a
+         * compiler bug, so it should say so at the call site.
+         */
+        private checkCallArity;
         /** Creates a direct call to the specified function. */
         makeCallDirect(instance: Function, operands: ExpressionRef[] | null, reportNode: Node, immediatelyDropped?: boolean): ExpressionRef;
         /** Compiles an indirect call to a first-class function. */