bug1112.scala

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

// checks that error doesn't crash the compiler
// (due to isFunctionType normalizing Type1 to a function type, 
//  but then the code that used that test not using the normalized type for further operations)
class Test {
  type Type1 = () => unit
  
  def call(p: int)(f: => Type1) = {
    f()
  }
  
  def run = {
    call(0,() => System.out.println("here we are"))
  }
}