Function main

debugger/tests/return_result.rs:10–122

()

#[tokio::test]
async fn main() -> Result<()> {
    let testcase = "return_result";

    let debugger_params = debugger_params_from_file(testcase);

    let (producer, consumer) = setup(testcase).await?;

    Debugger::run(debugger_params, producer.clone());

    producer.end().await?;

    for i in 0..138 {
        let payload = consumer.next().await?.message().into_bytes();
        let event = EventStream::read_from(Bytes::from(payload));
        // println!("#{i} {:?}", event);
        match event {
            Event::FunctionReturn {
                function_name,
                mut return_value,
                ..
            } => {
                return_value.redact_addr();
                let json = serde_json::to_string(&return_value).unwrap();
                if let RValue::Result { .. } = return_value {
                    assert_eq!(
                        json,
                        match i {
                            2 => r#"{"type":"Result","typename":"core::result::Result<(), ()>","variant":"Ok","value":{"type":"Unit"}}"#.to_owned(),
                            4 => r#"{"type":"Result","typename":"core::result::Result<(), ()>","variant":"Err","value":{"type":"Unit"}}"#.to_owned(),
                            6 => make_result("i8", "()", Ok(()), "8"),
                            8 => r#"{"type":"Result","typename":"core::result::Result<i8, ()>","variant":"Err","value":{"type":"Unit"}}"#.to_owned(),
                            10 => make_result("i32", "i32", Ok(()), "88888"),
                            12 => make_result("i32", "i32", Err(()), "-222222"),
                            14 => make_result("u32", "i32", Ok(()), "88888"),
                            16 => make_result("u32", "i32", Err(()), "-222222"),
                            18 => make_result("i8", "u8", Ok(()), "-2"),
                            20 => make_result("i8", "u8", Err(()), "250"),
                            22 => make_result("i16", "i32", Ok(()), "-4444"),
                            24 => make_result("i16", "i32", Err(()), "222222"),
                            26 => make_result("i32", "i64", Ok(()), "-222222"),
                            28 => make_result("i32", "i64", Err(()), "\"22222222222\""),
                            30 => make_result("i8", "i8", Ok(()), "22"),
                            32 => make_result("i8", "i8", Err(()), "-108"),
                            34 => make_result("u64", "i64", Ok(()), "\"22222222222\""),
                            36 => make_result("u64", "i64", Err(()), "\"-222222222\""),
                            38 => make_result("f32", "f32", Ok(()), "2.2"),
                            40 => make_result("f32", "f32", Err(()), "3.3"),
                            42 => make_result("f32", "f64", Ok(()), "2.2"),
                            44 => make_result("f32", "f64", Err(()), "3.3"),
                            46 => make_result("f64", "f64", Ok(()), "2.2"),
                            48 => make_result("f64", "f64", Err(()), "3.3"),
                            //
                            50 => r#"{"type":"Result","typename":"core::result::Result<&i32, &u64>","variant":"Err","value":{"type":"Ref","typename":"ref","addr":"<redacted>","value":{"type":"Prim","typename":"u64","value":"12"}}}"#.to_owned(),
                            52 => r#"{"type":"Result","typename":"core::result::Result<&i32, &u64>","variant":"Ok","value":{"type":"Ref","typename":"ref","addr":"<redacted>","value":{"type":"Prim","typename":"i32","value":2222}}}"#.to_owned(),
                            54 => // Small has been boiled down
                                r#"{"type":"Result","typename":"core::result::Result<return_result::Small, i32>","variant":"Ok","value":{"type":"Prim","typename":"i32","value":8888}}"#.to_owned(),
                            56 => make_result("return_result::Small", "i32", Err(()), "-222222"),
                            58 => r#"{"type":"Result","typename":"core::result::Result<return_result::Small, return_result::Big>","variant":"Ok","value":{"type":"Struct","typename":"return_result::Small","fields":{"i":{"type":"Struct","typename":"return_result::Inner","fields":{"0":{"type":"Prim","typename":"i32","value":8888}}}}}}"#.to_owned(),