Type-safe ABI call encoding

Why use this example

Use this pattern when you need to check the exact bytes, selector, hash, or decoded values that Solidity will produce. The entry isolates type-safe abi call encoding so its input, result, and state changes stay easy to compare.

Solidity to run

interface ITransfer {
  function transfer(address recipient, uint256 amount) external returns (bool);
}
bytes memory callData = abi.encodeCall(ITransfer.transfer, (address(0xBEEF), 42))
callData

Official Solidity reference

Compare this focused investigation with the complete language definition in the Solidity documentation.

What to expect

abi.encodeCall produces transfer calldata with a checked address and uint256 argument tuple.

Continue the investigation

Change a value, add another expression, or open Inspect after the run. Accepted entries remain available to the next entry, and the clean replay keeps the complete result reproducible.