fix for-in loop variable inference after enabling list/tuple item type inference