bug735/ScalaTyper.scala
bug735/ScalaTyper.scala