t3534.scala « pos « tests - dotty - Research platform for new language concepts and compiler technologies for Scala.

about summary refs log tree commit diff

path: root/tests/pos/t3534.scala

blob: 44d3aafb66330c97eb5e753af162ff462ac720d8 (plain) (blame)

object Test {
   List[Option[Int]]() match {
     case None :: bb :: cc => ()
     case x => throw new Exception(x.filter(_.isDefined).mkString)
   }
 }