explain purpose of test

1 files changed, 6 insertions, 0 deletions

diff --git a/src/test/compile-fail/for-loop-unconstrained-element-type.rs b/src/test/compile-fail/for-loop-unconstrained-element-type.rs
index f7dccc7f2ac..dd09e4a79ec 100644
--- a/src/test/compile-fail/for-loop-unconstrained-element-type.rs
+++ b/src/test/compile-fail/for-loop-unconstrained-element-type.rs
@@ -8,6 +8,12 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+// Test that `for` loops don't introduce artificial
+// constraints on the type of the binding (`i`).
+// Subtle changes in the desugaring can cause the
+// type of elements in the vector to (incorrectly) 
+// fallback to `!` or `()`.
+
 fn main() {
     for i in Vec::new() { } //~ ERROR type annotations needed
 }