fix: fix bug with inner-transaction-containing tuple detection

algorandfoundation · Jun 25, 2024 · 6ca2c45 · 6ca2c45
1 parent 0bc1041
commit 6ca2c45
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/puya/awst/wtypes.py b/src/puya/awst/wtypes.py
@@ -524,7 +524,7 @@ def is_inner_transaction_type(wtype: WType) -> typing.TypeGuard[WInnerTransactio
 
 
 def is_inner_transaction_tuple_type(wtype: WType) -> typing.TypeGuard[WTuple]:
-    return isinstance(wtype, WTuple) and all(is_inner_transaction_type(t) for t in wtype.types)
+    return isinstance(wtype, WTuple) and any(is_inner_transaction_type(t) for t in wtype.types)
 
 
 def is_inner_transaction_field_type(wtype: WType) -> typing.TypeGuard[WInnerTransactionFields]:

diff --git a/test_cases/typed_abi_call/puya.log b/test_cases/typed_abi_call/puya.log
@@ -1,6 +1,5 @@
 debug: PuyaOptions(paths=['typed_abi_call'], output_teal=True, output_arc32=True, output_client=True, output_awst=True, output_ssa_ir=True, output_optimization_ir=True, output_destructured_ir=True, output_memory_ir=True, debug_level=1, optimization_level=1, log_level=<LogLevel.debug: 10>, target_avm_version=10, locals_coalescing_strategy=<LocalsCoalescingStrategy.root_operand: 'root_operand'>)
 info: Found python prefix: <git root>/.venv
-typed_abi_call/typed_c2c.py:33:9 warning: expression result is ignored
 debug: Sealing block@0: // L11
 debug: Terminated block@0: // L11
 debug: Looking for 'required_budget_with_buffer' in an unsealed block creating an incomplete Phi: block@1: // while_top_L19