concordium-rust-smart-contracts icon indicating copy to clipboard operation
concordium-rust-smart-contracts copied to clipboard

Implement `Reject` trait for `CallContractError` so that they can be returned in entrypoint methods.

Open dhruvja opened this issue 1 year ago • 4 comments

Description When a cross contract call is made, it returns CallContractError which doesnt seem to implement Reject trait which the entrypoint method expect to return. So a From trait has to be implemented.

Solution Implementing Reject trait on CallContractError itself will help users just return those errors directly from entrypoint without needing to write wrappers.

A From trait for Cis2ClientError which itself is a wrapper for CallContractError looks like below.

impl From<Cis2ClientError<()>> for Error {
    fn from(value: Cis2ClientError<()>) -> Self {
        match value {
            Cis2ClientError::InvokeContractError(e) => match e {
                CallContractError::AmountTooLarge => Self::AmountTooLarge,
                CallContractError::MissingAccount => Self::MissingAccount,
                CallContractError::MissingContract => Self::MissingContract,
                CallContractError::MissingEntrypoint => Self::MissingEntrypoint,
                CallContractError::MessageFailed => Self::MessageFailed,
                CallContractError::LogicReject {
                    reason,
                    return_value,
                } => Self::LogicReject {
                    reason,
                    return_value,
                },
                CallContractError::Trap => Self::Trap,
            },
            Cis2ClientError::ParseResult => Self::ParseResult,
            Cis2ClientError::InvalidResponse => Self::InvalidResponse,
        }
    }
}

Would love to know what you guys think regarding having this trait implemented?

dhruvja avatar Mar 03 '24 13:03 dhruvja

HI @dhruvja, thanks for the input.

I'm not opposed to implementing this in principle, but there is a general challenge that it's not really possible to have an injective implementation of this trait for InvokeContractError so there would be some loss of information.

This is usually a lot simpler to accept on a case by case basis rather than in a generic implementation.

abizjak avatar Mar 03 '24 16:03 abizjak

HI @dhruvja, thanks for the input.

I'm not opposed to implementing this in principle, but there is a general challenge that it's not really possible to have an injective implementation of this trait for InvokeContractError so there would be some loss of information.

This is usually a lot simpler to accept on a case by case basis rather than in a generic implementation.

Do you mean its difficult to include the generics when we implement the trait?

dhruvja avatar Mar 03 '24 18:03 dhruvja

No, I meant that to implement Reject we need to assign codes in the set i32::MIN..-1 to values of the CallContractError and in general it is not possible to do so without losing information, meaning that there would be two values that would map to the same status code. This is unsatisfactory which is why the trait is not implemented at the moment.

abizjak avatar Mar 04 '24 07:03 abizjak

Moving this over to the correct repository.

abizjak avatar Mar 05 '24 08:03 abizjak