fn spec_function(
span: Span,
function_ident: &Ident,
specs: &[TokenStream],
ty: &Type,
) -> Result<ImplItemFn>fn spec_function(
span: Span,
function_ident: &Ident,
specs: &[TokenStream],
ty: &Type,
) -> Result<ImplItemFn>