test/files/pos/t7459a.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

trait SpecialException extends Throwable

object Test {
  def run() {
    try {
      ???
    } catch {
      case e: SpecialException => e.isInstanceOf[SpecialException]
      case e =>
    }

    // OKAY
    // (null: Throwable) match {
    //   case e: SpecialException => e.isInstanceOf[SpecialException]
    //   case e =>
    // }
  }
}