{"ast_node_type":"variable","tokens":[{"end":49,"kind":"keyword","start":0,"text":"let"}]}
            let target_args = ecx.translate_args(
            // from `[u32, u64]` to `[u32, i32, u64]`.
                goal,