[Feature] Implement sol-types traits in sol! without tuples

[DaniPopes]

Component

sol! macro

Describe the feature you would like

Currently we implement all traits by deferring everything to a tuple of the inner types (struct, function arguments and returns, etc.).

This is bad because it:

• duplicates the underlying types
• has lower runtime performance due to needing to clone the types to then just use the tuple by reference
• complicates the API
• limits the number of struct fields, function arguments etc allowed to the max tuple size implemented by the library
• overall, it's just not how you implement procedural macros 😸

Additional context

No response

[prestwich]

has lower runtime performance due to needing to clone the types to then just use the tuple by reference

this should have been fixed by the Encodable trait being implemented for &(&T, &U, &V) now, no?

[Hugoo]

This might also be related to this message:

https://t.me/ethers_rs/42023

Basically, there could be an issue between how Solidity encodes:

abi.encode(bytes,bytes[])

(without offset)

and:

let encoded_inputs = <sol! { (bytes, bytes[]) }>::abi_encode(...)

which adds an offset (0x0000000000000000000000000000000000000000000000000000000000000020 )

When doing:

<sol! { (address, uint128) }>::abi_encode(&(

There is no such issues as (address, uint128) is a fixed-size structure, so it does not introduce extra offsets.

I encountered such problem when trying to interact with UniversalRouter: https://github.com/Uniswap/universal-router/blob/main/contracts/UniversalRouter.sol#L44

---

Solidity

No offset

Welcome to Chisel! Type `!help` to show available commands.
➜ bytes memory a = hex"aa"
➜ bytes memory b = hex"ff"
➜ bytes memory c = abi.encode(a,b)
➜ c
Type: dynamic bytes
├ Hex (Memory):
├─ Length ([0x00:0x20]): 0x00000000000000000000000000000000000000000000000000000000000000c0
├─ Contents ([0x20:..]): 0x000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000001aa000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001ff00000000000000000000000000000000000000000000000000000000000000
├ Hex (Tuple Encoded):
├─ Pointer ([0x00:0x20]): 0x0000000000000000000000000000000000000000000000000000000000000020
├─ Length ([0x20:0x40]): 0x00000000000000000000000000000000000000000000000000000000000000c0
└─ Contents ([0x40:..]): 0x000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000001aa000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001ff00000000000000000000000000000000000000000000000000000000000000

Alloy-rs

Offset added

let c = <sol! { (bytes, bytes) }>::abi_encode(&([0xaa], [0xff]));
info!("c: {:?}", hex::encode(&c));

c: "0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000001aa000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001ff00000000000000000000000000000000000000000000000000000000000000"