Another closed issue test

Author: odersky

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -1585,6 +1585,7 @@ class Typer extends Namer
                                          // compiles only if the bound variable is Array[Float]. If
                                          // it is Array[T] we get an implicit not found. To avoid fragility
                                          // wrt to operand order for `&`, we include the explicit subtype test here.
+                                         // See also #5649.
             then body1.tpe
             else pt1 & body1.tpe
           val sym = ctx.newPatternBoundSymbol(name, symTp, tree.span)

tests/pos/i3208.scala

@@ -0,0 +1,6 @@
+class Test {
+  trait E
+  trait Marker
+
+  def test(es: List[E]): List[E] = es.collect { case e: Marker => e }
+}