tests: FIXME `for` crashes with formal types

Signed-off-by: Jean Privat <jean@pryen.org>