bug443.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 15 行

object Test {

  def lookup(): Option[Pair[String, String]] =
    ((null: Option[Pair[String, String]]) : @unchecked) match {
      case Some(Pair(_, _)) =>
	if (true)
	  Some(Pair(null, null))
	else
	  lookup() match {
	    case Some(_) => Some(null)
	    case None => None
	  }
    }
}