likely caused by
commit 89340fcb65
Author: Noel Grandin <noel.grandin@collabora.co.uk>
Date: Wed May 20 13:45:07 2020 +0200
use for-range on Sequence in f*
but since this code appears to be currently unused, was never caught
Change-Id: I0e2f8eade9376ccd18ad9a63e6d5e3012a659938
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/103381
Tested-by: Jenkins
Reviewed-by: Noel Grandin <noel.grandin@collabora.co.uk>