SI-6646 `ident` or Ident is always new binding.

The previous commit regressed in these cases:

    // no withFilter
    for (X <- List("A single ident is always a pattern")) println(X)
    for (`x` <- List("A single ident is always a pattern")) println(`x`)

At the top level of the LHS of a <-, such identifiers represent
new bindings, not stable identifier patterns.

2 files changed, 8 insertions, 0 deletions

diff --git a/test/files/run/t6646.check b/test/files/run/t6646.check
index e27b5b9efb..b0b7ad32f3 100644
--- a/test/files/run/t6646.check
+++ b/test/files/run/t6646.check
@@ -1,3 +1,5 @@
 Found NotNull
 Found lower
 Found 2
+A single ident is always a pattern
+A single ident is always a pattern
diff --git a/test/files/run/t6646.scala b/test/files/run/t6646.scala
index 9418bfafb1..150b0df11e 100644
--- a/test/files/run/t6646.scala
+++ b/test/files/run/t6646.scala
@@ -6,8 +6,14 @@ case object lower extends ColumnOption
 object Test {
   def main(args: Array[String]) {
     val l = List(PrimaryKey, NotNull, lower)
+
+    // withFilter must be generated in these
     for (option @ NotNull <- l) println("Found " + option)
     for (option @ `lower` <- l) println("Found " + option)
     for ((`lower`, i) <- l.zipWithIndex) println("Found " + i)
+
+    // no withFilter
+    for (X <- List("A single ident is always a pattern")) println(X)
+    for (`x` <- List("A single ident is always a pattern")) println(`x`)
   }
 }