Function impl_method 

pub(super) fn impl_method<F>(
    ion: &TokenStream,
    method: ItemFn,
    ty: &Type,
    class: &str,
    predicate: F,
) -> Result<(Method, Parameters)>
where
    F: FnOnce(&Signature) -> Result<()>,