Merge pull request #15593 from griggt/fix-15579

Irrefutable for generators don't require `withFilter` under `-source:future`

Author: bishabosha

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -2574,8 +2574,8 @@ object Parsers {
       atSpan(startOffset(pat), accept(LARROW)) {
         val checkMode =
           if casePat then GenCheckMode.FilterAlways
-          else if sourceVersion.isAtLeast(`3.2`) then GenCheckMode.CheckAndFilter
           else if sourceVersion.isAtLeast(`future`) then GenCheckMode.Check
+          else if sourceVersion.isAtLeast(`3.2`) then GenCheckMode.CheckAndFilter
           else GenCheckMode.FilterNow  // filter on source version < 3.2, for backward compat
         GenFrom(pat, subExpr(), checkMode)
       }

tests/pos/i15579.scala

@@ -0,0 +1,10 @@
+// scalac: -source:future
+
+trait Foo[A]:
+  def map[B](f: A => B): Foo[B] = ???
+
+def baz: Foo[(Int, String)] = ???
+
+@main def main =
+  for (x, y) <- baz
+  yield ()