Test a loop with invariants, which should be hoisted.
In this case type casts are not sunk/hoisted.