Method generate_result_arg

tools/fuzz-gen/src/rewriter.rs:75–90

(&self, item: &untyped::AnyFnItem)

        None
    }
    fn generate_result_arg(&self, item: &untyped::AnyFnItem) -> syn::FnArg {
        let item_span = item.span();
        let output_ty = match &item.sig().output {
            syn::ReturnType::Default => parse_quote_spanned!(item_span=> ()),
            syn::ReturnType::Type(_, ty) => ty.clone(),
        };
        let fn_arg = syn::FnArg::Typed(
            syn::PatType {
                attrs: Vec::new(),
                pat: Box::new(parse_quote_spanned!(item_span=> result)),
                colon_token: syn::Token![:](item.sig().output.span()),
                ty: output_ty,
            }
        );
        fn_arg
    }

    /// Generate a dummy function for checking the given precondition, postcondition or predicate.
    ///