Irrefutable for generators should not be filtering under `-source:fut…

…ure` Fixes scala#15579
griggt · Jul 5, 2022 · 22f6b0c · 22f6b0c
1 parent 9bb3108
commit 22f6b0c
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/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)
       }

diff --git a/tests/pos/i15579.scala b/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 ()