Function write_builtin_derive_impl_method 

fn write_builtin_derive_impl_method<'db>(
    f: &mut HirFormatter<'_, 'db>,
    impl_: BuiltinDeriveImplId,
    method: BuiltinDeriveImplMethod,
) -> Result