tests: FIXME `for` crashes with formal types