{"ast_node_type":"variable","tokens":[{"end":60,"kind":"keyword","start":0,"text":"if"}]}
    if let Some(term_did) = tcx.lang_items().termination() {
    let expected_return_type;
        let return_ty = main_fnsig.output();