Trait soroban_env_host::TryIntoVal

pub trait TryIntoVal<E, V>: Sizedwhere
    E: Env,{
    type Error;

    fn try_into_val(self, env: &E) -> Result<V, Self::Error>;
}

Required Associated Types

type Error

Required Methods

fn try_into_val(self, env: &E) -> Result<V, Self::Error>

Implementations on Foreign Types

impl<E> TryIntoVal<E, Object> for &u128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<Object, <&u128 as TryIntoVal<E, Object>>::Error>

impl<E> TryIntoVal<E, ()> for &[RawVal; 0]where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(), <&[RawVal; 0] as TryIntoVal<E, ()>>::Error>

impl<E, T0, T1, T2, T3, T4, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4)>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,
    T6: TryFromVal<E, RawVal>,
    T7: TryFromVal<E, RawVal>,
    T8: TryFromVal<E, RawVal>,
    T9: TryFromVal<E, RawVal>,
    T10: TryFromVal<E, RawVal>,
    T11: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)>>::Error>

impl<E> TryIntoVal<E, Object> for u128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<Object, <u128 as TryIntoVal<E, Object>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,
    T6: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6)>>::Error>

impl<E> TryIntoVal<E, RawVal> for Vec<u8, Global>where
    E: Env,

type Error = Status

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <Vec<u8, Global> as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for i32where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    _env: &E
) -> Result<RawVal, <i32 as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for &strwhere
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <&str as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for u128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <u128 as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for Stringwhere
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <String as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for u32where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    _env: &E
) -> Result<RawVal, <u32 as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for &Vec<u8, Global>where
    E: Env,

type Error = Status

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <&Vec<u8, Global> as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for boolwhere
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    _env: &E
) -> Result<RawVal, <bool as TryIntoVal<E, RawVal>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,
    T6: TryFromVal<E, RawVal>,
    T7: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7)>>::Error>

impl<E> TryIntoVal<E, RawVal> for ()where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    _env: &E
) -> Result<RawVal, <() as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for &i128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <&i128 as TryIntoVal<E, RawVal>>::Error>

impl<E, const N: usize> TryIntoVal<E, RawVal> for [u8; N]where
    E: Env,

type Error = Status

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <[u8; N] as TryIntoVal<E, RawVal>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,
    T6: TryFromVal<E, RawVal>,
    T7: TryFromVal<E, RawVal>,
    T8: TryFromVal<E, RawVal>,
    T9: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5)>>::Error>

impl<E, T0, T1, const N: usize> TryIntoVal<E, (T0, T1)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1), <&[RawVal; N] as TryIntoVal<E, (T0, T1)>>::Error>

impl<E, T0, const N: usize> TryIntoVal<E, (T0,)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0,), <&[RawVal; N] as TryIntoVal<E, (T0,)>>::Error>

impl<E> TryIntoVal<E, RawVal> for &u128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <&u128 as TryIntoVal<E, RawVal>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,
    T6: TryFromVal<E, RawVal>,
    T7: TryFromVal<E, RawVal>,
    T8: TryFromVal<E, RawVal>,
    T9: TryFromVal<E, RawVal>,
    T10: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)>>::Error>

impl<E> TryIntoVal<E, Object> for i128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<Object, <i128 as TryIntoVal<E, Object>>::Error>

impl<E> TryIntoVal<E, Object> for &i128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<Object, <&i128 as TryIntoVal<E, Object>>::Error>

impl<E, T0, T1, T2, const N: usize> TryIntoVal<E, (T0, T1, T2)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2)>>::Error>

impl<E> TryIntoVal<E, RawVal> for &Stringwhere
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <&String as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for i128where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <i128 as TryIntoVal<E, RawVal>>::Error>

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, const N: usize> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,
    T6: TryFromVal<E, RawVal>,
    T7: TryFromVal<E, RawVal>,
    T8: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3, T4, T5, T6, T7, T8), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8)>>::Error>

impl<E> TryIntoVal<E, RawVal> for &[u8]where
    E: Env,

type Error = Status

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <&[u8] as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for u64where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <u64 as TryIntoVal<E, RawVal>>::Error>

impl<E> TryIntoVal<E, RawVal> for i64where
    E: Env,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<RawVal, <i64 as TryIntoVal<E, RawVal>>::Error>

impl<E, T0, T1, T2, T3, const N: usize> TryIntoVal<E, (T0, T1, T2, T3)> for &[RawVal; N]where
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,

type Error = ConversionError

fn try_into_val(
    self,
    env: &E
) -> Result<(T0, T1, T2, T3), <&[RawVal; N] as TryIntoVal<E, (T0, T1, T2, T3)>>::Error>

Implementors

impl TryIntoVal<Host, RawVal> for AccountId

type Error = HostError

impl<'a, E> TryIntoVal<E, Object> for &'a ScObjectwhere
    E: Env + Convert<&'a ScObject, Object>,

type Error = <E as Convert<&'a ScObject, Object>>::Error

impl<'a, E> TryIntoVal<E, Object> for &'a ScValwhere
    E: Env + Convert<&'a ScObject, Object>,

type Error = <E as Convert<&'a ScObject, Object>>::Error

impl<E> TryIntoVal<E, ScVal> for RawValwhere
    E: Env,
    ScObject: TryFromVal<E, Object>,

type Error = <ScVal as TryFromVal<E, RawVal>>::Error

impl<E> TryIntoVal<E, bool> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, i32> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, i64> for RawValwhere
    E: Env,

type Error = <i64 as TryFromVal<E, RawVal>>::Error

impl<E> TryIntoVal<E, i128> for Objectwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, i128> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, u32> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, u64> for RawValwhere
    E: Env,

type Error = <u64 as TryFromVal<E, RawVal>>::Error

impl<E> TryIntoVal<E, u128> for Objectwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, u128> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, ()> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, String> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, BitSet> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, Object> for ScObjectwhere
    E: Env + Convert<ScObject, Object>,

type Error = <E as Convert<ScObject, Object>>::Error

impl<E> TryIntoVal<E, Object> for ScValwhere
    E: Env + Convert<ScObject, Object>,

type Error = <E as Convert<ScObject, Object>>::Error

impl<E> TryIntoVal<E, Object> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, RawVal> for &ScValwhere
    E: Env,
    &'a ScObject: for<'a> TryIntoVal<E, Object>,

type Error = ConversionError

impl<E> TryIntoVal<E, RawVal> for &RawValwhere
    E: Env,

type Error = Infallible

impl<E> TryIntoVal<E, RawVal> for ScValwhere
    E: Env,
    &'a ScObject: for<'a> TryIntoVal<E, Object>,

type Error = ConversionError

impl<E> TryIntoVal<E, RawVal> for BitSetwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, RawVal> for Objectwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, RawVal> for RawValwhere
    E: Env,

type Error = Infallible

impl<E> TryIntoVal<E, RawVal> for Staticwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, RawVal> for Statuswhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, RawVal> for Symbolwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, Static> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, Status> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E> TryIntoVal<E, Symbol> for RawValwhere
    E: Env,

type Error = ConversionError

impl<E, T0> TryIntoVal<E, (T0,)> for RawValwhere
    E: Env,
    T0: TryFromVal<E, RawVal>,

type Error = ConversionError

impl<E, T0, T1> TryIntoVal<E, (T0, T1)> for RawValwhere
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,

type Error = ConversionError

impl<E, T0, T1, T2> TryIntoVal<E, (T0, T1, T2)> for RawValwhere
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,

type Error = ConversionError

impl<E, T0, T1, T2, T3> TryIntoVal<E, (T0, T1, T2, T3)> for RawValwhere
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,

type Error = ConversionError

impl<E, T0, T1, T2, T3, T4> TryIntoVal<E, (T0, T1, T2, T3, T4)> for RawValwhere
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,

type Error = ConversionError

impl<E, T0, T1, T2, T3, T4, T5> TryIntoVal<E, (T0, T1, T2, T3, T4, T5)> for RawValwhere
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,

type Error = ConversionError

impl<E, T0, T1, T2, T3, T4, T5, T6> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6)> for RawValwhere
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,
    T6: TryFromVal<E, RawVal>,

type Error = ConversionError

impl<E, T0, T1, T2, T3, T4, T5, T6, T7> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7)> for RawValwhere
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,
    T6: TryFromVal<E, RawVal>,
    T7: TryFromVal<E, RawVal>,

type Error = ConversionError

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8)> for RawValwhere
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,
    T6: TryFromVal<E, RawVal>,
    T7: TryFromVal<E, RawVal>,
    T8: TryFromVal<E, RawVal>,

type Error = ConversionError

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)> for RawValwhere
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,
    T6: TryFromVal<E, RawVal>,
    T7: TryFromVal<E, RawVal>,
    T8: TryFromVal<E, RawVal>,
    T9: TryFromVal<E, RawVal>,

type Error = ConversionError

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)> for RawValwhere
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,
    T6: TryFromVal<E, RawVal>,
    T7: TryFromVal<E, RawVal>,
    T8: TryFromVal<E, RawVal>,
    T9: TryFromVal<E, RawVal>,
    T10: TryFromVal<E, RawVal>,

type Error = ConversionError

impl<E, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> TryIntoVal<E, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)> for RawValwhere
    E: Env,
    T0: TryFromVal<E, RawVal>,
    T1: TryFromVal<E, RawVal>,
    T2: TryFromVal<E, RawVal>,
    T3: TryFromVal<E, RawVal>,
    T4: TryFromVal<E, RawVal>,
    T5: TryFromVal<E, RawVal>,
    T6: TryFromVal<E, RawVal>,
    T7: TryFromVal<E, RawVal>,
    T8: TryFromVal<E, RawVal>,
    T9: TryFromVal<E, RawVal>,
    T10: TryFromVal<E, RawVal>,
    T11: TryFromVal<E, RawVal>,

type Error = ConversionError

impl<E, T> TryIntoVal<E, Option<T>> for RawValwhere
    E: Env,
    T: TryFromVal<E, RawVal>,

type Error = <T as TryFromVal<E, RawVal>>::Error

impl<E, T, R> TryIntoVal<E, Result<T, R>> for RawValwhere
    E: Env,
    T: TryFromVal<E, RawVal, Error = ConversionError>,
    R: TryFrom<Status>,

type Error = ConversionError

impl<E, const N: usize> TryIntoVal<E, [u8; N]> for RawValwhere
    E: Env,

type Error = <[u8; N] as TryFromVal<E, RawVal>>::Error