abstract.scala

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

trait A {
  type T <: A;
  def baz(): A;
  def bar(): T;
  def foo1: A = bar().bar();
  def foo2: T = bar().baz();
  def foo3 = bar().baz();
  def foo4: A = baz().bar();
  def foo5: T = baz().baz();
  def foo6 = baz().baz();
}