Make GenFrom after filter irrefutable

Non-matching members are already removed by the filter.

Author: odersky

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

@@ -1372,9 +1372,7 @@ object desugar {
           makeFor(mapName, flatMapName, vfrom1 :: rest1, body)
         case (gen: GenFrom) :: test :: rest =>
           val filtered = Apply(rhsSelect(gen, nme.withFilter), makeLambda(gen.pat, test))
-          val genFrom =
-            if (isIrrefutableGenFrom(gen)) new IrrefutableGenFrom(gen.pat, filtered)
-            else GenFrom(gen.pat, filtered, filtering = false)
+          val genFrom = new IrrefutableGenFrom(gen.pat, filtered)
           makeFor(mapName, flatMapName, genFrom :: rest, body)
         case _ =>
           EmptyTree //may happen for erroneous input