1 // Test that `for` loops don't introduce artificial
2 // constraints on the type of the binding (`i`).
3 // Subtle changes in the desugaring can cause the
4 // type of elements in the vector to (incorrectly)
5 // fallback to `!` or `()`.
8 for i in Vec::new() { } //~ ERROR type annotations needed