use soroban_env_common::{Tag, TryIntoVal, Val};
use soroban_env_host_zephyr::{Host, HostError};

#[test]
fn some() -> Result<(), HostError> {
    let host = Host::default();

    let some = Some(1u32);
    let val: Val = some.try_into_val(&host)?;
    assert_eq!(val.get_tag(), Tag::U32Val);
    let u32: u32 = val.try_into_val(&host)?;
    assert_eq!(u32, 1);

    assert_eq!(some, val.try_into_val(&host)?);
    Ok(())
}

#[test]
fn none() -> Result<(), HostError> {
    let host = Host::default();

    let none: Option<u32> = None;
    let val: Val = none.try_into_val(&host)?;
    assert_eq!(val.get_tag(), Tag::Void);

    assert_eq!(none, val.try_into_val(&host)?);
    Ok(())
}