leo_interpreter::value

Function really_cast

Source
fn really_cast<C>(c: C, cast_type: &Type) -> Option<Value>
where C: Cast<Address<TestnetV0>> + Cast<Field<TestnetV0>> + Cast<Group<TestnetV0>> + Cast<Boolean<TestnetV0>> + Cast<Scalar<TestnetV0>> + Cast<Integer<TestnetV0, u8>> + Cast<Integer<TestnetV0, u16>> + Cast<Integer<TestnetV0, u32>> + Cast<Integer<TestnetV0, u64>> + Cast<Integer<TestnetV0, u128>> + Cast<Integer<TestnetV0, i8>> + Cast<Integer<TestnetV0, i16>> + Cast<Integer<TestnetV0, i32>> + Cast<Integer<TestnetV0, i64>> + Cast<Integer<TestnetV0, i128>>,