fn delegated_contract<'gcx>(
gcx: Gcx<'gcx>,
full_calldata_inputs: &[CalldataInput],
expr: &'gcx Expr<'gcx>,
) -> Option<(ContractId, Option<CalldataInput>)>Expand description
The statically typed implementation contract of a proxy-style <addr>.delegatecall(<full calldata>), with the calldata input that must be unmodified for the forwarding to be complete.