diff --git a/tests/pos/i10667.scala b/tests/pos/i10667.scala new file mode 100644 index 000000000000..fde5021929fc --- /dev/null +++ b/tests/pos/i10667.scala @@ -0,0 +1,15 @@ +sealed trait A + +enum Nums { + case One + case Two extends Nums with A + case Three +} + +object Test { + val list = List[Nums & A](Nums.Two) + + list.map { + case Nums.Two => () + } +}