path: root/test/files/run/t6637.scala

object Test extends App {
  try {
    class A ; class B ; List().head.isInstanceOf[A with B]
  } catch {
    case _ :java.util.NoSuchElementException => println("ok")
  }
}