`arg_name` and `element_index` are defined as `digit`+ instead of `integer`.
(cherry picked from commit 7a561afd)
Co-authored-by: Mariatta <Mariatta@users.noreply.github.com>