Infer ForIn