fn def_function( span: Span, ident: &Ident, function_ident: &Ident, ty: &Type, ) -> Result<ImplItemFn>