Skip to content

Commit 0b70278

Browse files
committed
Make GenFrom after filter irrefutable
Non-matching members are already removed by the filter.
1 parent 74ff5ef commit 0b70278

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

compiler/src/dotty/tools/dotc/ast/Desugar.scala

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1374,9 +1374,7 @@ object desugar {
13741374
makeFor(mapName, flatMapName, vfrom1 :: rest1, body)
13751375
case (gen: GenFrom) :: test :: rest =>
13761376
val filtered = Apply(rhsSelect(gen, nme.withFilter), makeLambda(gen.pat, test))
1377-
val genFrom =
1378-
if (isIrrefutableGenFrom(gen)) new IrrefutableGenFrom(gen.pat, filtered)
1379-
else GenFrom(gen.pat, filtered, filtering = false)
1377+
val genFrom = new IrrefutableGenFrom(gen.pat, filtered)
13801378
makeFor(mapName, flatMapName, genFrom :: rest, body)
13811379
case _ =>
13821380
EmptyTree //may happen for erroneous input

0 commit comments

Comments
 (0)